diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-22 15:29:57 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-22 15:29:57 -0500 |
| commit | 21b25dffc72fdc45c3c621922e376958f2070058 (patch) | |
| tree | dcd2185dfbabe0935c2fdc68ba1850d9c25b550c | |
| parent | d3ce41729890db851ea1d2c9a03efd979c2526c2 (diff) | |
| download | haskell-21b25dffc72fdc45c3c621922e376958f2070058.tar.gz | |
CoercionN is not in scope in TyCoRep
| -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. |