Re: [Yhc] Inconsistent compilation when type context is involved

Thanks, now I see where I'm wrong. On 3/22/07, Thomas Shackell 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