|
Revision 9230, 395 bytes
(checked in by maeder, 2 years ago)
|
|
compute minimal variances
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | type p a := Pred (Pred a) |
|---|
| 2 | %% should be correct |
|---|
| 3 | type m b := b |
|---|
| 4 | %% |
|---|
| 5 | types |
|---|
| 6 | m : -Type -> Type; |
|---|
| 7 | p : +Type -> Type |
|---|
| 8 | types |
|---|
| 9 | m := \ b : -Type . b; |
|---|
| 10 | p := \ a : +Type . Pred (Pred a) |
|---|
| 11 | ### Hint 2.32, wrong covariance of 'a' |
|---|
| 12 | ### Hint 2.32, no kind found for 'a' |
|---|
| 13 | *** Error 2.27-2.32, no kind found for 'Pred a' |
|---|
| 14 | *** Error 4.6, |
|---|
| 15 | wrong type of 'm' |
|---|
| 16 | expected: \ b : -Type . b |
|---|
| 17 | found: \ b : +Type . b |
|---|
