diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-24 10:29:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-24 10:31:25 +0100 |
| commit | 1cca4423818399a640f11ab47219258700cce617 (patch) | |
| tree | 269935e2adab4c2dce6da73e258f0940754c78f5 | |
| parent | 184a569c5f5fe6e2eed73b2cff35722918c44efd (diff) | |
| download | haskell-1cca4423818399a640f11ab47219258700cce617.tar.gz | |
Comments only
| -rw-r--r-- | compiler/typecheck/TcRnTypes.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs index 5a745877ff..41defc7042 100644 --- a/compiler/typecheck/TcRnTypes.hs +++ b/compiler/typecheck/TcRnTypes.hs @@ -2943,7 +2943,9 @@ ctFlavourRole (CTyEqCan { cc_ev = ev, cc_eq_rel = eq_rel }) ctFlavourRole (CFunEqCan { cc_ev = ev }) = (ctEvFlavour ev, NomEq) ctFlavourRole (CHoleCan { cc_ev = ev }) - = (ctEvFlavour ev, NomEq) + = (ctEvFlavour ev, NomEq) -- NomEq: CHoleCans can be rewritten by + -- by nominal equalities but empahatically + -- not by representational equalities ctFlavourRole ct = ctEvFlavourRole (ctEvidence ct) |