[project @ 1996-01-08 20:28:12 by partain]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail062.hs

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail062.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail062.hs
new file mode 100644 (file)
index 0000000..8989d91
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail062.hs
@@ -0,0 +1,37 @@
+--!!! bug report from Satnam
+--
+module RubyAST
+where
+
+type Module = (String,[Declaration])
+
+data Declaration
+  = Architecture String StructuralExpression |
+    Behaviour String Parameter Parameter BehaviouralExpression
+    deriving (Eq, Text)
+
+data Parameter = ParameterVariable String | ParameterList [Parameter]
+                 deriving (Eq, Text)
+
+nameOfModule :: Module -> String
+nameOfModule (name, _) = name
+
+data StructuralExpression 
+  = Variable String |
+    Serial StructuralExpression StructuralExpression | 
+    Par [StructuralExpression] 
+    deriving (Eq, Text)
+
+data BehaviouralExpression
+  = BehaviouralVariable String 
+    | AndExpr BehaviouralExpression BehaviouralExpression
+    | OrExpr BehaviouralExpression BehaviouralExpression
+    | NotExpr BehaviouralExpression
+    deriving (Eq, Text)
+
+
+type BehaviouralRelation
+  = (behaviouralExpression, behaviouralExpression)
+-----^ typo ----------------^ typo (but so what?)
+
+type BehaviouralRelationList = [BehaviouralRelation]