X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail062.stderr;h=f6dc641a3ba9f38a88632bda72ab0785396bf26a;hb=584d954c53359db8a83e6582e742167a957f7437;hp=f0d6c1c10dc7cd9a1719c4cd2f87b0b4d54e4c7e;hpb=baa3f2a98d1c7ed158ca9f6011168fda7a32f64d;p=ghc-hetmet.git diff --git a/ghc/tests/typecheck/should_fail/tcfail062.stderr b/ghc/tests/typecheck/should_fail/tcfail062.stderr index f0d6c1c..f6dc641 100644 --- a/ghc/tests/typecheck/should_fail/tcfail062.stderr +++ b/ghc/tests/typecheck/should_fail/tcfail062.stderr @@ -1,9 +1,4 @@ -tcfail062.hs:33: - Type variable not in scope: `behaviouralExpression' - -tcfail062.hs:33: - Type variable not in scope: `behaviouralExpression' - -Compilation had errors - +tcfail062.hs:37: + Illegal polymorphic type as argument: BehaviouralRelation + In the type synonym declaration for `BehaviouralRelationList'