diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-29 11:23:05 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-29 15:05:20 +0100 |
| commit | 168c88312b4ebe595c4332dde460e987f6fd9108 (patch) | |
| tree | 3196cbd0ad6487851756ce16cab122673aa98b0b | |
| parent | b61562feb87689a202118ca08ef270422c69dcc2 (diff) | |
| download | haskell-168c88312b4ebe595c4332dde460e987f6fd9108.tar.gz | |
A little outright bug in canEqTyVar2
I had 'ev' where I should have had 'new_ev'. It's quite hard to make
this bug cause a failure, but I did eventually get a Lint error
somewhere. Anyway, it's just a typo, I think.
| -rw-r--r-- | compiler/typecheck/TcCanonical.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs index e9e35a4145..b8503188c0 100644 --- a/compiler/typecheck/TcCanonical.hs +++ b/compiler/typecheck/TcCanonical.hs @@ -948,7 +948,7 @@ canEqTyVar2 dflags ev eq_rel swapped tv1 xi2 = rewriteEqEvidence ev eq_rel swapped xi1 xi2 co1 co2 `andWhenContinue` \ new_ev -> case eq_rel of - NomEq -> do { emitInsoluble (mkNonCanonical ev) + NomEq -> do { emitInsoluble (mkNonCanonical new_ev) -- If we have a ~ [a], it is not canonical, and in particular -- we don't want to rewrite existing inerts with it, otherwise -- we'd risk divergence in the constraint solver |