diff options
| -rw-r--r-- | compiler/types/TyCoRep.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 01946ba7b6..d64b03fb5e 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. |