There is now also a draft paper that explains the rational for the
restrictions described on the wiki page referenced by Lennart. You
can eg find it at
http://www.cse.unsw.edu.au/~chak/papers/SSPC07.html
Manuel
PS: I also just added a link to the paper to the wiki page.
Lennart Augustsson wrote,
Look at the end of http://haskell.org/haskellwiki/GHC/Indexed_types
-- Lennart
On 8/31/07, * Jim Apple* <[EMAIL PROTECTED]
<mailto:[EMAIL PROTECTED]>> wrote:
Regarding
http://www.haskell.org/pipermail/cvs-ghc/2007-August/037655.html
and
Are type functions checked for termination? If so, where can I find
the details?
Jim
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users