CoercionN is not in scope in TyCoRep
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 22 Dec 2015 20:29:57 +0000 (15:29 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Tue, 22 Dec 2015 20:29:57 +0000 (15:29 -0500)
compiler/types/TyCoRep.hs

index 01946ba..d64b03f 100644 (file)
@@ -889,10 +889,10 @@ role and kind, which is done in the UnivCo constructor.
 data UnivCoProvenance
   = UnsafeCoerceProv   -- ^ From @unsafeCoerce#@. These are unsound.
 
-  | PhantomProv CoercionN -- ^ See Note [Phantom coercions]
+  | PhantomProv Coercion -- ^ See Note [Phantom coercions]
 
-  | ProofIrrelProv CoercionN  -- ^ From the fact that any two coercions are
-                              --   considered equivalent. See Note [ProofIrrelProv]
+  | ProofIrrelProv Coercion  -- ^ From the fact that any two coercions are
+                             --   considered equivalent. See Note [ProofIrrelProv]
 
   | PluginProv String  -- ^ From a plugin, which asserts that this coercion
                        --   is sound. The string is for the use of the plugin.