[Haskell-cafe] Type checking of partial programs

ac quuxman at gmail.com
Sun Mar 23 17:24:03 EDT 2008

So a number of people responded with various ways this is already possible.
Of course GHC can already do this... it's type inference. The part I'm
interested in working on is exposing the functionality in GHC's API to make
this as easy as possible.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20080323/c4b752bd/attachment.htm

More information about the Glasgow-haskell-users mailing list