[commit: ghc] master: CoercionN is not in scope in TyCoRep (21b25df)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/21b25dffc72fdc45c3c621922e376958f2070058/ghc

>---------------------------------------------------------------

commit 21b25dffc72fdc45c3c621922e376958f2070058
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Dec 22 15:29:57 2015 -0500

    CoercionN is not in scope in TyCoRep


>---------------------------------------------------------------

21b25dffc72fdc45c3c621922e376958f2070058
 compiler/types/TyCoRep.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index 01946ba..d64b03f 100644
--- a/compiler/types/TyCoRep.hs
+++ b/compiler/types/TyCoRep.hs
@@ -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.