[Yhc] Killing off nhc

[Stefan O'Rear]

On Fri, Jun 15, 2007 at 07:16:04AM -0500, Creighton Hogg wrote:
> On 6/15/07, Neil Mitchell <ndmitchell at gmail.com> 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