-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtests.txt
84 lines (57 loc) · 2.06 KB
/
tests.txt
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
ECHO Hello
ASSERT TRUE
SUBTYPE Type IN Type
ASSERT TRUE
SUBTYPE Object IN Type
ASSERT FALSE
SUBTYPE Type IN Object
ASSERT TRUE
SUBTYPE Object IN Object
ASSERT TRUE
SUBTYPE I64 IN Arithmetic
ASSERT FALSE
SUBTYPE I32 IN I16
ASSERT TRUE
SUBTYPE PTR I8 IN !Pointee PTR ?0
ASSERT FALSE
SUBTYPE PTR U8 IN PTR I8
ASSERT TRUE
SUBTYPE PTR I8 IN !Arithmetic PTR ?0
ASSERT FALSE
SUBTYPE PTR PTR I8 IN !Arithmetic PTR ?0
ASSERT TRUE
SUBTYPE PTR PTR I8 IN !Pointee PTR ?0
ASSERT FALSE
SUBTYPE PTR BOOL IN !Pointee PTR PTR ?0
ASSERT TRUE
SUBTYPE PTR PTR BOOL IN !Pointee PTR PTR ?0
ASSERT TRUE
SUBTYPE ARRAY PTR VOID 3 IN !ArraySize ARRAY PTR VOID ?0
ASSERT FALSE
SUBTYPE ARRAY PTR FUNCTION I32 ( ) 2 IN ARRAY PTR FUNCTION I32 ( ) 3
ASSERT FALSE
SUBTYPE FUNCTION I32 ( I32 ) IN FUNCTION I32 ( )
ASSERT TRUE
SUBTYPE PTR FUNCTION BOOL ( LREF CLASS Foo < > LREF CLASS Foo < > ) IN !LValue PTR FUNCTION BOOL ( LREF ?0 LREF ?0 )
ASSERT FALSE
SUBTYPE PTR FUNCTION BOOL ( LREF CLASS Foo < > LREF CLASS Bar < > ) IN !LValue PTR FUNCTION BOOL ( LREF ?0 LREF ?0 )
ASSERT TRUE
SUBTYPE !ParamObject PTR FUNCTION BOOL ( LREF ?0 LREF ?0 ) IN !LValue !LValue PTR FUNCTION BOOL ( LREF ?0 LREF ?1 )
ASSERT TRUE
SUBTYPE FUNCTION I32 ( CLASS Foo < I32 > BOOL ) IN !Parametric !Parametric FUNCTION ?0 ( CLASS Foo < ?0 > ?1 )
ASSERT TRUE
SUBTYPE FUNCTION I32 ( CLASS Foo < I32 > BOOL ) IN !Return !FunctionParamOrEnd FUNCTION ?0 ( ?1
ASSERT TRUE
SUBTYPE !Return FUNCTION ?0 ( LREF MEMBER CLASS A < BOOL > CLASS B < PTR I8 > ) IN !Return !Parametric FUNCTION ?0 ( ?1 )
ASSERT TRUE
SUBTYPE CLASS Foo < I32 U32 > IN !Parametric !Parametric CLASS Foo < ?0 ?1 >
ASSERT FALSE
SUBTYPE CLASS Foo < I32 U32 > IN !Parametric CLASS Foo < ?0 ?0 >
ASSERT TRUE
SUBTYPE CLASS Foo < CLASS Bar < > CLASS Bar < > > IN !Parametric CLASS Foo < ?0 ?0 >
ASSERT TRUE
SUBTYPE !Parametric CLASS Foo < ?0 ?0 > IN !Parametric !Parametric CLASS Foo < ?0 ?1 >
ASSERT FALSE
SUBTYPE !Parametric !Parametric CLASS Foo < ?0 ?1 > IN !Parametric CLASS Foo < ?0 ?0 >
ASSERT TRUE
SUBTYPE !Parametric CLASS Foo < ?0 ?0 > IN !Parametric CLASS Foo < ?0 ?0 >