X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=NormalizeTypes.hs;h=89ed53d41746d871924bf56ba02787d7e475b961;hb=8153abb4f08f21e097eca9bd38fa6155675be40b;hp=5c7c24a6e1623805f255c2f61e0122e83709e68d;hpb=17fa4b76161e0b6916f50aaacc2aeb2b6fc21993;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/NormalizeTypes.hs b/NormalizeTypes.hs
index 5c7c24a..89ed53d 100644
--- a/NormalizeTypes.hs
+++ b/NormalizeTypes.hs
@@ -20,12 +20,16 @@ import Outputable ( Outputable, showSDoc, ppr )
 -- 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
 }
+-- Create an (almost) empty TransformState, containing just a UniqSupply.
+emptyTransformState uniqSupply = TransformState uniqSupply Map.empty VarSet.emptyVarSet emptyTypeState
 
 $( Data.Accessor.Template.deriveAccessors ''TransformState )