Type Synonyms and termination checking

Manuel M T Chakravarty chak at cse.unsw.edu.au
Mon Sep 3 03:40:14 EDT 2007

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



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* <jbapple+ghc-users at gmail.com 
> <mailto:jbapple+ghc-users at gmail.com>> 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

More information about the Glasgow-haskell-users mailing list