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:
> Are type functions checked for termination? If so, where can I find
> the details?
More information about the Glasgow-haskell-users