-- Local imports
import CoreShow
import Pretty
+import VHDLTypes -- For TypeState
data TransformState = TransformState {
tsUniqSupply_ :: UniqSupply.UniqSupply
, tsBindings_ :: Map.Map CoreBndr CoreExpr
, tsNormalized_ :: VarSet.VarSet -- ^ The binders that have been normalized
+ , tsType_ :: TypeState
}
$( Data.Accessor.Template.deriveAccessors ''TransformState )