diff options
author | David Terei <davidterei@gmail.com> | 2011-07-20 11:09:03 -0700 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2011-07-20 11:26:35 -0700 |
commit | 16514f272fb42af6e9c7674a9bd6c9dce369231f (patch) | |
tree | e4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/typecheck/should_fail/tcfail062.hs | |
parent | ebd422aed41048476aa61dd4c520d43becd78682 (diff) | |
download | haskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz |
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail062.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail062.hs | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail062.hs b/testsuite/tests/typecheck/should_fail/tcfail062.hs new file mode 100644 index 0000000000..f37dc1e556 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail062.hs @@ -0,0 +1,37 @@ +-- !!! bug report from Satnam +-- +module ShouldFail +where + +type Module = (String,[Declaration]) + +data Declaration + = Architecture String StructuralExpression | + Behaviour String Parameter Parameter BehaviouralExpression + deriving (Eq, Show) + +data Parameter = ParameterVariable String | ParameterList [Parameter] + deriving (Eq, Show) + +nameOfModule :: Module -> String +nameOfModule (name, _) = name + +data StructuralExpression + = Variable String | + Serial StructuralExpression StructuralExpression | + Par [StructuralExpression] + deriving (Eq, Show) + +data BehaviouralExpression + = BehaviouralVariable String + | AndExpr BehaviouralExpression BehaviouralExpression + | OrExpr BehaviouralExpression BehaviouralExpression + | NotExpr BehaviouralExpression + deriving (Eq, Show) + + +type BehaviouralRelation + = (behaviouralExpression, behaviouralExpression) +---- ^ typo ----------------^ typo (but so what?) + +type BehaviouralRelationList = [BehaviouralRelation] |