Type Synonyms and termination checking

31 Aug 2007

      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

Jim Apple