Look at the end of <a href="http://haskell.org/haskellwiki/GHC/Indexed_types">http://haskell.org/haskellwiki/GHC/Indexed_types</a><br><br> -- Lennart<br><br><div><span class="gmail_quote">On 8/31/07, <b class="gmail_sendername">
Jim Apple</b> <<a href="mailto:jbapple+ghc-users@gmail.com">jbapple+ghc-users@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Regarding<br><br><a href="http://www.haskell.org/pipermail/cvs-ghc/2007-August/037655.html">http://www.haskell.org/pipermail/cvs-ghc/2007-August/037655.html</a><br><br>and<br><br>Are type functions checked for termination? If so, where can I find the details?
<br><br>Jim<br>_______________________________________________<br>Glasgow-haskell-users mailing list<br><a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users">
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br></blockquote></div><br>