>>>>> "aditya" == aditya siram <aditya.si...@gmail.com> writes:
aditya> This is awesome! GHC-devs , please mainline the CONTRACT
aditya> pragma.
I think it needs a LOT more work before it is usable. (I hope I'm wrong,
but Dana reckoned it needed about 7 more man-years of work.)
Dana sent me a copy of her ghc 6.8 repository (which didn't compile), and I
updated (by hand) a
6.11 repository. I was able to get a few test programs to be rejected as
not fulfilling their contracts (due to type classes), and a few others
to loop at compile time, but I couldn't find any that passed.
I was supposed to have a go at debugging the loops, but never got round
to it.
--
Colin Adams
Preston Lancashire
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
