[jhc] patches to fix *haskell* typechecking of (->)

Samuel Bronson naesten at gmail.com
Thu Apr 3 19:58:30 EDT 2008


Okay, now before you get all excited, I must warn you that you still
won't be able to compile Control.Arrow. There is a good bit of work
that must be done in E before this will, in fact, compile. Much of
this work has to do with turning fully-applied Jhc.Basics.->s into
EPis, but there also seems to be some kind of problem with
multi-parameter newtypes...


More information about the jhc mailing list