> The Glasgow Haskell Compiler -- version 3.00 > ============================================== Let me add: this is really an alpha release. It runs the whole test suite and the whole of nofib just as well as GHC 2.10. But note: * The big new thing is multi-parameter type classes. But because we have very little test code, the multi-param part is not properly tested. However, the single-parameter case is treated uniformly with the multi-param case, so I'm reasonably confident. The point here is: please do try multi-param type class programs, but please do not be too surprised if they don't work. You need -fglasgow-exts to the the multi-param stuff. * Local universal quantification is (still) there -- i.e. constructors can have polymorphic arguments, and so can functions with signatures. Details in www.dcs.gla.ac.uk/~simonpj/quantification.html Existentials are (still) not there. Sorry * We've improved quite a few type-checker error messages. So things should be better there. But conceivably the multi-param stuff might make some messages worse. Please report any egregious examples. * No binaries because we aren't encouraging the world to shift to 3.0 (yet). Having said all that we would be deeply grateful if you can try it out. Please send us code that uses multi-param classes, for us to add to our test suite. Simon
