[Yhc] Yhc Core with modules that import each other?

Neil Mitchell ndmitchell at gmail.com
Sun Aug 12 14:57:53 EDT 2007


Hi

> Although the nyhc frontend currently doesn't support recursively
> dependent modules, will Yhc Core or the tools that work with it, present
> any trouble?

Shouldn't do. Yhc.Core was designed to support everything.

>  For example I was thinking of the possibility of making
> Jhc be able to compile to Yhc Core (ignoring issues of different sets of
> primitives).

Primitives can be worked around. Types might be harder! The Yhc.Core
language generated by Yhc does not have explicit types, but it may
have rank-2 types introduced from monad desugaring (and any
higher-kinded type classes). It is impossible to infer rank-2 types,
and Jhc is quite particular about having full type information, so
that may trip you up.

Thanks

Neil


More information about the Yhc mailing list