Alex> In other words, you are saying that I want a feature, first class
Alex> polymorphism, that is now available in Hugs1.3c and from the docs,
Alex> GHC4.0?.
Yes.
Alex> Since I am doing development in Hugs 1.4, I guess the question is when
Alex> will Hugs1.4 have this feature and is this feature
Alex> compatible with Derive?
As far as I know, the Hugs 1.4 folks are working on it. Derive is only
a preprocessor for data type declarations, I don't know whether it
works with existentially typed or polymorphic constructor
arguments. If you don't have these, then I don't see any problems.
Alex> Alternatively, since GHC 4.0 is there a way to run just the type-checker
Alex> part of GHC 4.0 without waiting for it to compile everything?
Alex> Also, has anyone manageed to build GHC4.0 for win32?
Sorry, beats me.
-Peter
