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 _______________________________________________ Yhc mailing list [email protected] http://www.haskell.org/mailman/listinfo/yhc
