Type Synonyms and termination checking

[Lennart Augustsson]

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> 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
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20070901/79594159/attachment.htm