July 2007 - jhc - Haskell.org

some FFI questions
by Samuel Bronson 10 Jul '07

10 Jul '07

First of all, I'm wondering what the intended uses of the lookupCType and lookupCType' functions are. It seems like lookupCType tells you the type that should be used in marshalling a type, and lookupCType tells you the primitive type that is used in the representation of a type as well as how to extract the value from it. I'm not sure how to go from there to actually converting to/from the correct primitive type to use in interfacing with C code... Another question is: what sort of E type should an imperative foreign export use? Consider: foreign export hello :: Int -> IO () hello n = putStrLn ("Hello, "++show n) foreign export foo :: IO Int foo :: Num a => IO a foo = return 1 Should they just use IO? I guess that's what main does...

2 1

darcs patches with working "foreign export"
by Samuel Bronson 10 Jul '07

10 Jul '07

This is everything you need for it to work ... and some things you don't need. Conflicts with that patch that tried to use unsafeCoerce. I changed the Info item of type FfiExport to be of type (FfiExport,([ExtType],ExtType)). This can probably be cleaned up somehow. I also don't think that the 'x' and 'X' tags in Grin names should be needed, but I'm not sure how to get rid of them. FromGrin2.convertFunc uses the type info to generate a function of the appropriate type by making new variables for the arguments and assigning the values of those to the old variables. (Which for some reason magically get declared now.) For the return type, it just hopes for the best right now... Mon Jul 2 20:47:22 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add foreign import "dynamic" support Fri Jul 6 12:11:13 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Remove E/FromHs.hs~ from repo Fri Jul 6 18:56:11 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Get pure foreign exports through E... Grin forgets them though Sat Jul 7 14:19:32 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Get foreign exports through Grin, yay! Sat Jul 7 14:19:50 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Make "make ghci" an alias for "make i" Sat Jul 7 16:11:43 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add unsafePerformIO to wired-in functions Sat Jul 7 16:43:26 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Implement foreign exports returning IO () (clumsily) Sat Jul 7 16:47:23 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * tag things to make Grin happyier about my 'c' functions. I don't really understand this, which is why I made a seperate patch... Sun Jul 8 00:24:26 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * FFI test case: exercises import, export, and import dynamic Mon Jul 9 19:38:11 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Yay! "foreign export", really working!

1 0

darcs patch: FFI test case: exercises import, export, and import dy...
by Samuel Bronson 08 Jul '07

08 Jul '07

Sun Jul 8 00:24:26 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * FFI test case: exercises import, export, and import dynamic

1 0

darcs patch: Add foreign import "dynamic" support (and 8 more)
by Samuel Bronson 08 Jul '07

08 Jul '07

Okay, I think it would be working now if the "unsafeCoerce" primitive would work. Not quite sure, though. Guidance welcome ;-). Sorry about the dupes -- darcs ought to have a "dot graph of pending patches" function... Mon Jul 2 20:47:22 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add foreign import "dynamic" support Fri Jul 6 12:11:13 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Remove E/FromHs.hs~ from repo Fri Jul 6 18:56:11 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Get pure foreign exports through E... Grin forgets them though Sat Jul 7 14:19:32 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Get foreign exports through Grin, yay! Sat Jul 7 14:19:50 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Make "make ghci" an alias for "make i" Sat Jul 7 16:11:43 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add unsafePerformIO to wired-in functions Sat Jul 7 16:43:26 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Implement foreign exports returning IO () (clumsily) Sat Jul 7 16:47:23 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * tag things to make Grin happyier about my 'c' functions. I don't really understand this, which is why I made a seperate patch... Sat Jul 7 23:51:40 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Not-quite-working attempt to use unsafeCoerce to get the right type...

1 0

darcs patch: Make "make ghci" an alias for "make i"
by Samuel Bronson 07 Jul '07

07 Jul '07

Sat Jul 7 14:19:50 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Make "make ghci" an alias for "make i"

1 0

darcs patch: Add foreign import "dynamic" support (and 4 more)
by Samuel Bronson 07 Jul '07

07 Jul '07

Mon Jul 2 20:47:22 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add foreign import "dynamic" support Fri Jul 6 12:11:13 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Remove E/FromHs.hs~ from repo Fri Jul 6 15:46:49 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Line LetRecs up nicer Fri Jul 6 17:01:23 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add "return" to the functions known to the compiler Fri Jul 6 18:56:11 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Get pure foreign exports through E... Grin forgets them though

2 2

darcs patch: Line LetRecs up nicer (and 1 more)
by Samuel Bronson 06 Jul '07

06 Jul '07

Fri Jul 6 15:46:49 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Line LetRecs up nicer Fri Jul 6 17:01:23 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add "return" to the functions known to the compiler

1 0

darcs patch: Add foreign import "dynamic" support
by Samuel Bronson 06 Jul '07

06 Jul '07

Mon Jul 2 20:47:22 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Add foreign import "dynamic" support

2 1

darcs patch: Remove E/FromHs.hs~ from repo
by Samuel Bronson 06 Jul '07

06 Jul '07

Fri Jul 6 12:11:13 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Remove E/FromHs.hs~ from repo

1 0