Changeset 11877 for trunk/HasCASL/test/ContraVariance.hascasl.output

Timestamp:

03.07.2009 18:38:45 (5 months ago)

Author:

maeder

Message:

disallowed explicit pseudo type notation following := (assign)

Files:

• trunk/HasCASL/test/ContraVariance.hascasl.output (modified) (2 diffs)

trunk/HasCASL/test/ContraVariance.hascasl.output

@@ +1 @@
+var   a : +Type
 type  p a := Pred (Pred a)
       %% should be correct
@@ -9 +10 @@
 m := \ b : -Type . b;
 p := \ a : +Type . Pred (Pred a)
-### Hint 2.32, wrong covariance of 'a'
-### Hint 2.32, no kind found for 'a'
-*** Error 2.27-2.32, no kind found for 'Pred a'
-*** Error 4.6,
+var
+a : +Type %(var_1)%
+### Hint 1.5, is type variable 'a'
+### Hint 3.18, wrong covariance of 'a'
+### Hint 3.18, no kind found for 'a'
+*** Error 3.13-3.18, no kind found for 'Pred a'
+*** Error 5.6,
 wrong type of 'm'
   expected: \ b : -Type . b