1 -- !!! bug report from Satnam
6 type Module = (String,[Declaration])
9 = Architecture String StructuralExpression |
10 Behaviour String Parameter Parameter BehaviouralExpression
13 data Parameter = ParameterVariable String | ParameterList [Parameter]
16 nameOfModule :: Module -> String
17 nameOfModule (name, _) = name
19 data StructuralExpression
21 Serial StructuralExpression StructuralExpression |
22 Par [StructuralExpression]
25 data BehaviouralExpression
26 = BehaviouralVariable String
27 | AndExpr BehaviouralExpression BehaviouralExpression
28 | OrExpr BehaviouralExpression BehaviouralExpression
29 | NotExpr BehaviouralExpression
33 type BehaviouralRelation
34 = (behaviouralExpression, behaviouralExpression)
35 ---- ^ typo ----------------^ typo (but so what?)
37 type BehaviouralRelationList = [BehaviouralRelation]