Move some pretty printing code around.
[matthijs/master-project/cλash.git] / FlattenTypes.hs
index c8cd306d077a9eefe48e1cfed5c4ef7a01570b73..e77a8aaf3c5e01841f91fa169a5ab205585f322b 100644 (file)
@@ -77,17 +77,17 @@ data CondDef sigid = CondDef {
 
 -- | Information on a signal definition
 data SignalInfo = SignalInfo {
-  name :: Maybe String,
-  ty   :: Type.Type
+  sigName :: Maybe String,
+  sigTy   :: Type.Type
 }
 
 -- | A flattened function
 data FlatFunction' sigid = FlatFunction {
-  args   :: [SignalMap sigid],
-  res    :: SignalMap sigid,
-  apps   :: [FApp sigid],
-  conds  :: [CondDef sigid],
-  sigs   :: [(sigid, SignalInfo)]
+  flat_args   :: [SignalMap sigid],
+  flat_res    :: SignalMap sigid,
+  flat_apps   :: [FApp sigid],
+  flat_conds  :: [CondDef sigid],
+  flat_sigs   :: [(sigid, SignalInfo)]
 }
 
 -- | A flat function that does not have its signals named