|
Revision 11877, 381 bytes
(checked in by maeder, 5 months ago)
|
|
disallowed explicit pseudo type notation following := (assign)
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | types S, T |
|---|
| 2 | type Binary := S * S -> T |
|---|
| 3 | var s: Type |
|---|
| 4 | type MyPred s := s ->? Unit |
|---|
| 5 | type MyAlias t := t ->? Unit |
|---|
| 6 | |
|---|
| 7 | type a1 a b := a -> b -> Unit |
|---|
| 8 | type a1 (a) (b) := a -> b -> Unit |
|---|
| 9 | |
|---|
| 10 | type a2 a b := a -> Unit |
|---|
| 11 | |
|---|
| 12 | type a3 (a) (a) := a -> Unit |
|---|
| 13 | |
|---|
| 14 | type a4 a a := a -> Unit |
|---|
| 15 | |
|---|
| 16 | type a5 a |
|---|
| 17 | |
|---|
| 18 | type a5 a := a5 a -> Unit |
|---|
| 19 | |
|---|
| 20 | type a6 a |
|---|
| 21 | |
|---|
| 22 | type a7 a := a6 a -> Unit |
|---|
| 23 | |
|---|
| 24 | type a6 a := a7 a -> Unit |
|---|
| 25 | |
|---|
| 26 | type a2 : Type -> Type |
|---|
