projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8911f9e) | patch
[project @ 2002-05-23 15:51:26 by simonpj]
authorsimonpj <unknown>
Thu, 23 May 2002 15:51:26 +0000 (15:51 +0000)
committersimonpj <unknown>
Thu, 23 May 2002 15:51:26 +0000 (15:51 +0000)
commit61193fe4e9c4c47c44b37524db091c1fa71f3a45
treea0d7a575d3ccda78bd5b9dfe9a4cb64251c68866tree | snapshot
parent8911f9eaec0b082228104ca92100f2714f5da061commit | diff
[project @ 2002-05-23 15:51:26 by simonpj]
Don't report ambiguity errors
if other type errors have happened

This saves a gratuitous error cascade when the type checker
recovers from one error by giving f type (forall a.a), and
then find an ambiguity problem as a direct result.
ghc/compiler/typecheck/TcModule.lhs diff | blob | history
ghc/compiler/typecheck/TcMonad.lhs diff | blob | history
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)