Re: [Yhc] Killing off nhc

On Fri, Jun 15, 2007 at 07:16:04AM -0500, Creighton Hogg wrote:

On 6/15/07, Neil Mitchell wrote:

...

5) Bootstrapping: We need to bootstrap Yhc with itself.

Moving to one nhc/Yhc derivative is clearly a good thing. If anyone wants to take on any of these tasks, or has insights into how we can do this more quickly, we'd love to hear!

Well, what's really the problem stopping Yhc from bootstrapping itself yet? Are there spots where Yhc relies on GHC type extensions?

Sorta kinda. Yhc uses MTL (afair), which uses undecidable instances to implement a feature Yhc doesn't use. Somebody really ought to split up MTL, but there doesn't seem to be an easy way for people without direct access to split packages... Stefan