ghc/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]