[Yhc] Killing off nhc
stefanor at cox.net
Fri Jun 15 09:55:33 EDT 2007
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...
More information about the Yhc