HasCASL/test/PlainTypes.hascasl

	PlainTypes.hascasl revision ce7653c9c71e23bf04a5ec0ca5cb600c3738a909


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
class a,b,c,d

type r : a; s : a; s: b; t : c

type [__], {__} : a -> b

var u: [r]; v:{s}

type tuple3 : a -> b -> c -> d

var x : tuple3 r s t
var y : tuple3 r s

type tuple1 : (b) -> a

type m : (a -> b) -> c

var z : m [__]

type List : a -> b

var w : m List

var o1 : m

var o2 : m tuple1

var o3 : m tuple3

var nt : a -> (b -> c) -> c -> d

var o4 : nt r List s

type s1,r1,t1 < t

type s2=r2=t2

type s3 = {x:t. x = x}