diff options
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreSyn.hs | 8 | ||||
| -rw-r--r-- | compiler/coreSyn/TrieMap.hs | 6 |
2 files changed, 5 insertions, 9 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 diff --git a/compiler/coreSyn/TrieMap.hs b/compiler/coreSyn/TrieMap.hs index c6b9f8e1d3..f8546d1680 100644 --- a/compiler/coreSyn/TrieMap.hs +++ b/compiler/coreSyn/TrieMap.hs @@ -15,7 +15,11 @@ module TrieMap( LooseTypeMap, MaybeMap, ListMap, - TrieMap(..), insertTM, deleteTM + TrieMap(..), insertTM, deleteTM, + LiteralMap, + lkDFreeVar, xtDFreeVar, + lkDNamed, xtDNamed, + (>.>), (|>), (|>>), ) where import CoreSyn |