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

Reply via email to