Using GHC API

2006-11-10 Thread C.M.Brown
Hi, I am currently in the process of porting some of the Haskell Refactorer (HaRe) over to ghc 6.6. Part of HaRe requires the API and until now I've been content with using th 6.5 API. However, since I've started the switch I've noticed some strange problems and the latest is I am getting the foll

Re: ghc threaded1 test-cases under Solaris

2006-11-10 Thread Christian Maeder
Christian Maeder schrieb: > Hi, > > when running the test-suite I get plenty of the link errors (below). > In order to resolve the missing symbols in Printer.thr_debug_o I was > able to add > > -optl-L/usr/local/lib -optl-lbfd -optl-liberty > > to the ghc-6.6 command line. These linker option a

Major type-class overhaul

2006-11-10 Thread Simon Peyton-Jones
Dear GHC users, For some time I have been promising an overhaul of GHC's type inference machinery to fix the interactions between type classes and GADTs. I've just completed it (or at least I hope so). This message is just to summarise the programmer-visible changes, and to encourage you to g

RE: [Haskell] Deferred instance declarations (serialization of existential boxes)

2006-11-10 Thread Simon Peyton-Jones
Misha I'm happy to tell you that your wish has been granted. I was able to implement the change you wanted (you called it deferred instance declarations) as part of an overhaul of the type-class machinery in GHC. I'll send out a more detailed message about this to ghc-users. Simon | -Orig