Type Synonyms and termination checking

[Manuel M T Chakravarty]

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* <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