X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=FlattenTypes.hs;h=b14ef387dc6f1300a0742a9ea2001f5f17ff4416;hb=790cb87bc728be4140ea7cf0d5444cc4cf96d0dc;hp=024db9b5332c6f4d94a22b356ed697d966ab70b8;hpb=40ece4d80b50d59c781b9bc157f5379c3a3bb14a;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/FlattenTypes.hs b/FlattenTypes.hs index 024db9b..b14ef38 100644 --- 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