module Test where
-import PreludeGlaST
+import GlaExts
+import Foreign
-- Test returning results
a :: PrimIO ForeignObj
a = _ccall_ a
-b :: PrimIO StablePtr
+b :: PrimIO (StablePtr Double)
b = _ccall_ b
-- Test taking arguments
c :: ForeignObj -> PrimIO Int
c x = _ccall_ c x
-d :: StablePtr -> PrimIO Int
+d :: StablePtr Int -> PrimIO Int
d x = _ccall_ d x