July 2007 - jhc - Haskell.org

Typechecker hiccup?
by Samuel J.J.Bronson 18 Jul '07

18 Jul '07

I just tried to compile this program (based on figure one in "The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages"): {-# OPTIONS_JHC -N -fffi #-} import Jhc.Basics import Jhc.Int import Jhc.Num import Jhc.Order default (Integer, Double) main = sum (upto 1 10) upto m n | m > n = [] | otherwise = m : upto (m+1) n sum [] = 0 sum (x:xs) = x + sum xs And I got a stupid error about a missing "put" method for IORef. It seems that the typechecker isn't getting rid of all the MetaVars in this program...

3 4

foreign import "wrapper"
by Samuel Bronson 16 Jul '07

16 Jul '07

On IRC, you (JohnMeacham) (what -- there is someone else who reads this list?) said something about region inference and foreign import "wrapper". It just occured to me earlier today that you probably can't do much of that at all. You can basically do as much as you can do for a StablePtr. I remind you that the C functions made by a wrapper stub can be passed to C code and held there indefinately, just like a StablePtr, and can only be deallocated when the Haskell program calls freeHaskellFunPtr on them. We also talked about how a nice way to implement these wrapper stubs, by generating tiny thunks that would redirect calls to an evaluation routine after adding the closure to be called as an additional argument. (Actually, I suppose the evaluation routine would need a wrapper, like a foreign export does...). What I'm not sure about is how to refer to the address of the (wrapper around the) evaluation routine in the code for the "wrapper stub" (the function that is actually declared by the 'foreign import "wrapper"' declaration).

4 4

darcs patch: Be more specific about monadic imports, for compatibil...
by Samuel Bronson 16 Jul '07

16 Jul '07

Mon Jul 16 18:15:45 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Be more specific about monadic imports, for compatibility (especially 6.6/6.6.1)

1 0

darcs patch: Document lookupCType/lookupCType' (and 1 more)
by Samuel Bronson 14 Jul '07

14 Jul '07

Fri Jul 13 13:57:31 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Document lookupCType/lookupCType' Fri Jul 13 23:00:50 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Implement "foreign export"

1 0

darcs patch: Get pure foreign exports through E... Gr... (and 6 more)
by Samuel Bronson 13 Jul '07

13 Jul '07

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 16:43:26 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Implement foreign exports returning IO () (clumsily) Mon Jul 9 19:38:11 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Yay! "foreign export", really working! Fri Jul 13 13:56:44 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Rollback Grin.Val.convertName Fri Jul 13 13:57:31 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Document lookupCType/lookupCType' Fri Jul 13 16:34:35 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Fix up "foreign export" support in E.FromHs Fri Jul 13 16:48:22 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Excorcize trace calls

1 0

Jhc's tangled base
by Samuel Bronson 10 Jul '07

10 Jul '07

Jhc's Prelude seems to be at the center of a giant tangle (SCC) of modules. This tangle of modules takes a *lot* of resources to compile -- I might possibly have gotten it to typecheck once. What's the plan for dealing with it? It almost makes me like GHC's way :-(. It seems like a lot of code would need to be moved to remove more than a couple of modules from the SCC... One problem is that the code to implement Read and Show pulls in Numeric and the list functions currently in Prelude, which pull in a whole bunch of other stuff... including Foreign.Marshal.Utils, Foreign.Marshal.Alloc, Foreign.Ptr, and lots more... Actually, I think the list functions from Prelude could escape the tangle if Maybe didn't derive Read...

2 2

darcs patch: Dump dependancy graph to scc_graph.dot with -dscc-modules
by Samuel Bronson 10 Jul '07

10 Jul '07

Tue Jul 10 18:06:35 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Dump dependancy graph to scc_graph.dot with -dscc-modules This probably isn't the best option or the best filename or anything, but it seems like it would be handy for untangling Prelude (and user code)

1 0

darcs patch: Allow empty import lists
by Samuel Bronson 10 Jul '07

10 Jul '07

Mon Jul 9 22:55:32 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Allow empty import lists

2 1

darcs patch: Make Foreign.StablePtr not depend on Prelude
by Samuel Bronson 10 Jul '07

10 Jul '07

Mon Jul 9 23:43:49 EDT 2007 Samuel Bronson <naesten(a)gmail.com> * Make Foreign.StablePtr not depend on Prelude

2 1

hmm. this approach to FFI export's types isn't working :-(.
by Samuel Bronson 10 Jul '07

10 Jul '07

It seems that the types that would be appropriate for the arguments of an FFI-exported function are not really allowed to exist in E or Grin :-(. What should I do about this? Perhaps the marshalling should be saved for the very end, and done in C.FromGrin2 or thereabouts?

2 1

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