projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e891720) | patch
Type families: fixed all non-termination in the testsuite
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 14 Sep 2008 12:06:38 +0000 (12:06 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 14 Sep 2008 12:06:38 +0000 (12:06 +0000)
commit488da9e2096994a3a8dd6d559785c792a4527f73
treebcc32f811e9ac0d1f66c7eeedd0920d4edaaf6betree | snapshot
parente891720545a2f088cc48ad62bad7c5b2ad7d183fcommit | diff
Type families: fixed all non-termination in the testsuite
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)