[MLton-user] Mutual recursion?

[Wesley W. Terpstra]

On Mon, Jun 29, 2009 at 10:49 PM, Andreas
Rossberg<rossberg at mpi-sws.mpg.de> wrote:
>> Could someone perhaps explain to me why switching 'fun' for 'and' can
>> lead to problems?
> No, a recursive reference is not polymorphic -- because type inference is
> generally undecidable for polymorphic recursion.

I see. I imagine that if I provide an explicit (polymorphic) type
binding for each function, SML will be happy?

This will be a drag though, since the types involved are quite large. :-/

Thank you very much for your reply. It was helpful.