-genSignalId :: FlattenState UnnamedSignal
-genSignalId = do
- (apps, conds, n) <- State.get
- State.put (apps, conds, n+1)
+genSignalId :: Type.Type -> FlattenState UnnamedSignal
+genSignalId ty = do
+ (apps, conds, sigs, n) <- State.get
+ -- Generate a new numbered but unnamed signal
+ let s = (n, SignalInfo Nothing ty)
+ State.put (apps, conds, s:sigs, n+1)