
12 Aug
2007
12 Aug
'07
2:57 p.m.
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