X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=FlattenTypes.hs;h=e77a8aaf3c5e01841f91fa169a5ab205585f322b;hb=472a96af53dd624ba526ab86f250ac8f88a152ef;hp=c8cd306d077a9eefe48e1cfed5c4ef7a01570b73;hpb=b0beb407a0e6fa06767b892e5e9dd8c9c8526eac;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

diff --git a/FlattenTypes.hs b/FlattenTypes.hs
index c8cd306..e77a8aa 100644
--- a/FlattenTypes.hs
+++ b/FlattenTypes.hs
@@ -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