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