Type Synonyms and termination checking

Jim Apple jbapple+ghc-users at gmail.com
Fri Aug 31 14:46:39 EDT 2007

Previous message: Derived instances
Next message: Type Synonyms and termination checking
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: Derived instances
Next message: Type Synonyms and termination checking
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Glasgow-haskell-users mailing list