OK, I have fixed my problem, without forcing all my users to upgrade to GHC
7: using the renamed source instead of the typechecked source gives me the
properly qualified name. I hope that won't cause other problems but for the
moment everything looks fine (functions, constructors, with type
Yes, impredicative types are still in, but in a simpler form than before, along
the lines of QML
http://research.microsoft.com/en-us/um/people/crusso/qml/
I have been too busy with getting the new type checker working to describe or
document it. Notably, I have not yet added syntax for QML's
read the QML paper! that's the trick. simpler, but with a heavier annotation
burden than the more sophisticated approaches
| -Original Message-
| From: Gregory Crosswhite [mailto:gcr...@phys.washington.edu]
| Sent: 19 November 2010 19:59
| To: Simon Peyton-Jones
| Cc: Haskell Cafe;
Hello,
I've updated the patch with a few validate fixes (failings due to
-Werror) and a few other things.
I've instead uploaded the patch here (to avoid g-h-u and cvs-ghc from
blocking me due to a large message so people can see):