Isaac Jones: > I'm forwarding an email that Martin Sulzmann asked me to post on his > behalf. > > ------------------------------------------------------------ > From: Martin Sulzmann <[EMAIL PROTECTED]> > Subject: MPTC/FD dilemma > > - ATs (associated types) will pose the same challenges. > That is, type inference relies on dynamic termination checks.
Can you give an example? Manuel _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime