diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Coercion.hs | 2 | ||||
| -rw-r--r-- | compiler/types/TyCoRep.hs | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index 7a7918c250..f55cab128a 100644 --- a/compiler/types/Coercion.hs +++ b/compiler/types/Coercion.hs @@ -10,7 +10,7 @@ -- module Coercion ( -- * Main data type - Coercion, CoercionN, CoercionR, CoercionP, + Coercion, CoercionN, CoercionR, CoercionP, MCoercion, UnivCoProvenance, CoercionHole, LeftOrRight(..), Var, CoVar, TyCoVar, Role(..), ltRole, diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index 588963d012..9323e23de6 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -34,6 +34,7 @@ module TyCoRep ( UnivCoProvenance(..), CoercionHole(..), coHoleCoVar, CoercionN, CoercionR, CoercionP, KindCoercion, + MCoercion, -- * Functions over types mkTyConTy, mkTyVarTy, mkTyVarTys, @@ -857,6 +858,10 @@ type CoercionR = Coercion -- always representational type CoercionP = Coercion -- always phantom type KindCoercion = CoercionN -- always nominal +-- | A semantically more meaningful type to represent what may or may not be a +-- useful 'Coercion'. +data MCoercion = MRefl | MCo Coercion + {- Note [Refl invariant] ~~~~~~~~~~~~~~~~~~~~~ |