Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail062.hs
1 -- !!! bug report from Satnam
2 --
3 module ShouldFail
4 where
5
6 type Module = (String,[Declaration])
7
8 data Declaration
9 = Architecture String StructuralExpression |
10 Behaviour String Parameter Parameter BehaviouralExpression
11 deriving (Eq, Show)
12
13 data Parameter = ParameterVariable String | ParameterList [Parameter]
14 deriving (Eq, Show)
15
16 nameOfModule :: Module -> String
17 nameOfModule (name, _) = name
18
19 data StructuralExpression
20 = Variable String |
21 Serial StructuralExpression StructuralExpression |
22 Par [StructuralExpression]
23 deriving (Eq, Show)
24
25 data BehaviouralExpression
26 = BehaviouralVariable String
27 | AndExpr BehaviouralExpression BehaviouralExpression
28 | OrExpr BehaviouralExpression BehaviouralExpression
29 | NotExpr BehaviouralExpression
30 deriving (Eq, Show)
31
32
33 type BehaviouralRelation
34 = (behaviouralExpression, behaviouralExpression)
35 ---- ^ typo ----------------^ typo (but so what?)
36
37 type BehaviouralRelationList = [BehaviouralRelation]