[Yhc] Inconsistent compilation when type context is involved

[Dimitry Golubovsky]

Thanks, now I see where I'm wrong.

On 3/22/07, Thomas Shackell <shackell at cs.york.ac.uk> wrote:

> > compiles with Yhc and runs fine (even with only the first line of
> > main, so there is no mentioning that a String is wrapped in Maybe).
>
> This program shouldn't compile, it doesn't compile in either ghc or hugs
> and is definitely ambiguous. Looking at the core that Yhc generates:

-- 
Dimitry Golubovsky

Anywhere on the Web