Hello,

I took the liberty to move this discussion to the Haskell-Cafe mailing list.


Adrian Hey wrote:
Thomas van Noort wrote:
   Pleasant programming,

Hello,

This looks like good stuff. But having done all this work it seems
a pity not to go the extra mm and cabalise this and make it buildable
on all platforms (at least ghc supported platforms).

You are right, cabalizing the Makefiles implies that Generic Haskell can be build on any platform that is supported by GHC. However, this requires a tremendous amount of effort since the Makefiles of Generic Haskell are enormous.


The reason I'm interested is this may be useful for the GSoC project
I'm mentoring..

 http://code.google.com/soc/2008/haskell/about.html

But as things are, I'd be unlikely to consider introducing a dependency
on this. Even if it built "out of the box" with cygwin (which it
doesn't BTW) I don't really think many windows users will be keen to
install cygwin and learn how to use it just so they can build GH.

As you already noticed, there is no Windows binary available for the Emerald release. However, there is one for the Coral release, available from:

http://www.generic-haskell.org

Although this is an old release of Generic Haskell, this release already supports generic types, which is what you need for your project probably. In the user's guide, there is a small example available which defines a generic type to represent tries.

The latest release of Generic Haskell supports generic views for generic types. This allows you to define a generic type that generates efficient balanced tries, as you can read in my Master's thesis :) This requires the use of the balanced view on the type level. Unfortunately, this generic view is not implemented in the Generic Haskell compiler...


Thanks
--
Adrian Hey

Regards,
Thomas

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to