Name signals in a function after flattening it.

[matthijs/master-project/cλash.git] / FlattenTypes.hs

diff --git a/FlattenTypes.hs b/FlattenTypes.hs
index 024db9b5332c6f4d94a22b356ed697d966ab70b8..b14ef387dc6f1300a0742a9ea2001f5f17ff4416 100644 (file)
--- a/FlattenTypes.hs
+++ b/FlattenTypes.hs
@@ -76,7 +76,8 @@ data CondDef sigid = CondDef {
 
 -- | Information on a signal definition
 data Signal sigid = Signal {
-  id :: sigid
+  id :: sigid,
+  name :: Maybe String
 } deriving (Eq, Show)
 
 -- | A flattened function
@@ -122,6 +123,7 @@ addCondDef c = do
 genSignalId :: FlattenState UnnamedSignal 
 genSignalId = do
   (apps, conds, sigs, n) <- State.get
-  let s = Signal n
+  -- Generate a new numbered but unnamed signal
+  let s = Signal n Nothing
   State.put (apps, conds, s:sigs, n+1)
   return n