diff options
Diffstat (limited to 'compiler/coreSyn/CoreSyn.hs')
| -rw-r--r-- | compiler/coreSyn/CoreSyn.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/coreSyn/CoreSyn.hs b/compiler/coreSyn/CoreSyn.hs index 52ffad041b..17b546bb98 100644 --- a/compiler/coreSyn/CoreSyn.hs +++ b/compiler/coreSyn/CoreSyn.hs @@ -477,10 +477,6 @@ this exhaustive list can be empty! -- Pre-cloning or substitution type InBndr = CoreBndr -type InVar = Var -type InTyVar = TyVar -type InCoVar = CoVar -type InId = Id type InType = Type type InKind = Kind type InBind = CoreBind @@ -491,10 +487,6 @@ type InCoercion = Coercion -- Post-cloning or substitution type OutBndr = CoreBndr -type OutVar = Var -type OutId = Id -type OutTyVar = TyVar -type OutCoVar = CoVar type OutType = Type type OutKind = Kind type OutCoercion = Coercion |