projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0a09c5) | patch
[project @ 2005-06-27 12:59:52 by simonpj]
authorsimonpj <unknown>
Mon, 27 Jun 2005 12:59:52 +0000 (12:59 +0000)
committersimonpj <unknown>
Mon, 27 Jun 2005 12:59:52 +0000 (12:59 +0000)
commita9ae952e647887c0108080ca48426cb35bdd8400
treecfb8e956e3f6843490e53809337874a63307457btree | snapshot
parente0a09c5bb3527cfdc1f2416d597cce50a141d31ccommit | diff
[project @ 2005-06-27 12:59:52 by simonpj]
MERGE TO STABLE

Fix a typechecker bug, which made the typechecker loop under certain
circumstances, notably when we have
type Foo a = a
and try to unify
b :=: Foo b

typecheck/should_compile/tc195 tests this case now.
ghc/compiler/types/Unify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)