Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 24 Aug 2018 09:29:40 +0000 (10:29 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 24 Aug 2018 09:31:25 +0000 (10:31 +0100)
compiler/typecheck/TcRnTypes.hs

index 5a74587..41defc7 100644 (file)
@@ -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)