View difference between Paste ID: Kb1ngZ00 and GJN7dwW2

 {-# LANGUAGE ScopedTypeVariables #-}
 module Main(main) where
 
 import System.Win32.DLL
 import System.Win32.Types as Win32Types
 import Foreign.Ptr
 import Foreign.C.String
 import Foreign.ForeignPtr
 
 foreign import ccall "dynamic"
   --c_TestInt :: FunPtr (Int -> IO (Int)) -> Int -> IO (Int)
   c_funcRetString :: FunPtr (IO (CString)) -> IO (CString)
 foreign import ccall "dynamic"
   c_funcInstantiate :: FunPtr (CString -> CString -> HMODULE -> IO (Ptr ())) ->  CString -> CString -> HMODULE -> IO (Ptr ())
 
 dllNames = ["tank"]
 
 invokeFunction dll funcName funcType convType = do
   func <- getProcAddress dll funcName
   ret <- funcType $ castPtrToFunPtr func
   convType ret
 
 main :: IO ()
 
 main = do
   dll <- loadLibrary $ head dllNames
-  invokeFunction dll "x1" c_funcRetString peekCString >>= putStrLn . show
+  invokeFunction dll "fmi2GetVersion" c_funcRetString peekCString >>= putStrLn . show
-  invokeFunction dll "x2" c_funcRetString peekCString >>= putStrLn . show
+  invokeFunction dll "fmi2GetTypesPlatform" c_funcRetString peekCString >>= putStrLn . show
-  instantiateFunc <- getProcAddress dll "x3"
+  instantiateFunc <- getProcAddress dll "fmi2Instantiate"
-  instantiateRet <- c_funcInstantiate (castPtrToFunPtr instantiateFunc) (newCString "t1") (newCString "t2") dll
+  t1 <- withCString "t1"
   t2 <- withCString "t2"
   instantiateRet <- c_funcInstantiate (castPtrToFunPtr instantiateFunc) t1 t2 dll
   putStrLn . show $ 1
-C:\source\speciale\r_and_d\source\hs_prototype\dynamic_loading_tank_tankcontroller\main.hs:30:74-88: Couldn't match type `IO CString' with `Ptr Foreign.C.Types.CChar' …
+
-    Expected type: CString
+
-      Actual type: IO CString
+C:\source\speciale\r_and_d\source\hs_prototype\dynamic_loading_tank_tankcontroller\main.hs:29:9-24: Couldn't match expected type `IO CString' …
-    In the second argument of `c_funcInstantiate', namely
+                with actual type `(CString -> IO a0) -> IO a0'
-      `(newCString "t1")'
+    Probable cause: `withCString' is applied to too few arguments
-    In a stmt of a 'do' block:
+    In a stmt of a 'do' block: t1 <- withCString "t1"
-      instantiateRet <- c_funcInstantiate
+    In the expression:
-                          (castPtrToFunPtr instantiateFunc)
+      do { dll <- loadLibrary $ head dllNames;
-                          (newCString "t1")
+           invokeFunction dll "fmi2GetVersion" c_funcRetString peekCString
-                          (newCString "t2")
+           >>= putStrLn . show;
-                          dll
+           invokeFunction
-C:\source\speciale\r_and_d\source\hs_prototype\dynamic_loading_tank_tankcontroller\main.hs:30:92-106: Couldn't match type `IO CString' with `Ptr Foreign.C.Types.CChar' …
+             dll "fmi2GetTypesPlatform" c_funcRetString peekCString
-    Expected type: CString
+           >>= putStrLn . show;
-      Actual type: IO CString
+           instantiateFunc <- getProcAddress dll "fmi2Instantiate";
-    In the third argument of `c_funcInstantiate', namely
+           .... }
-      `(newCString "t2")'
+C:\source\speciale\r_and_d\source\hs_prototype\dynamic_loading_tank_tankcontroller\main.hs:30:9-24: Couldn't match expected type `IO CString' …
-    In a stmt of a 'do' block:
+                with actual type `(CString -> IO a1) -> IO a1'
-      instantiateRet <- c_funcInstantiate
+    Probable cause: `withCString' is applied to too few arguments
-                          (castPtrToFunPtr instantiateFunc)
+    In a stmt of a 'do' block: t2 <- withCString "t2"
-                          (newCString "t1")
+    In the expression:
-                          (newCString "t2")
+      do { dll <- loadLibrary $ head dllNames;
-                          dll
+           invokeFunction dll "fmi2GetVersion" c_funcRetString peekCString
-Compilation failed.
+           >>= putStrLn . show;
            invokeFunction
              dll "fmi2GetTypesPlatform" c_funcRetString peekCString
            >>= putStrLn . show;
            instantiateFunc <- getProcAddress dll "fmi2Instantiate";
            .... }
 Compilation failed