-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathcheck.cls
39 lines (39 loc) · 2.72 KB
/
check.cls
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
((6 2 NIL 22(3(1(0.0)24 2 NIL 14 8(2 NIL 9)(2 NIL 22(2 NIL 22(1(0.2)24 23
)13 22(1(0.1)24 23)13 22(1(0.0)24 11 24 23)13 1(1.11)24 4 23)13 22(2 NIL
22(1(0.2)24 23)13 22(1(0.1)24 23)13 22(1(0.0)24 10 24 23)13 1(1.2)24 4 23
)13 1(1.6)24 4 9)5)23)13 22(3(1(0.0)24 2 NIL 14 8(2 NIL 9)(2 NIL 22(2 NIL
22(1(0.2)24 23)13 22(1(0.1)24 23)13 22(1(0.0)24 11 24 23)13 1(1.10)24 4
23)13 22(2 NIL 22(22(1(0.2)24 23)22(1(0.0)24 10 24 10 24 23)13 23)13 22
(1(0.1)24 23)13 22(1(0.0)24 10 24 11 24 23)13 1(1.2)24 4 23)13 1(1.6)24
4 9)5)23)13 22(3(2 NIL 22(2 NIL 22(1(0.1)24 23)13 22(2 NIL 22(1(0.0)24 11
24 23)13 1(1.7)24 4 23)13 1(1.6)24 4 23)13 3(2 NIL 22(2 NIL 22(1(1.2)24
23)13 22(1(0.0)24 23)13 22(1(1.0)24 11 24 23)13 1(2.10)24 4 23)13 22(2 NIL
22(1(1.2)24 23)13 22(1(0.0)24 23)13 22(1(1.0)24 10 24 23)13 1(2.2)24 4 23
)13 1(2.6)24 4 5)4 5)23)13 22(3(2 NIL 22(2 NIL 22(1(0.2)24 23)13 22(1(0
.1)24 23)13 22(1(0.0)24 11 24 23)13 1(1.10)24 4 23)13 22(2 NIL 22(1(0.2
)24 23)13 22(2 NIL 22(1(0.1)24 23)13 22(2 NIL 22(1(0.0)24 11 24 23)13 1
(1.7)24 4 23)13 1(1.6)24 4 23)13 22(1(0.0)24 10 24 23)13 1(1.2)24 4 23)
13 1(1.6)24 4 5)23)13 22(3(1(0.0)24 2 NIL 14 8(2 NIL 9)(22(2 NIL 22(1(0
.0)24 11 24 23)13 1(1.7)24 4 23)22(1(0.0)24 10 24 10 24 23)13 9)5)23)13
22(3(1(0.0)24 2 NIL 14 8(1(0.1)24 9)(22(2 NIL 22(1(0.1)24 23)13 22(1(0.
0)24 11 24 23)13 1(1.6)24 4 23)22(1(0.0)24 10 24 23)13 9)5)23)13 22(3(1
(0.1)24 2 NIL 14 8(2 F 9)(1(0.0)24 1(0.1)24 10 24 14 8(2 T 9)(2 NIL 22(
1(0.1)24 11 24 23)13 22(1(0.0)24 23)13 1(1.5)24 4 9)9)5)23)13 22(3(2 NIL
22(2(chr atom head tail leq eq cons add sub mul div rem if)23)13 22(1(0
.0)24 23)13 1(1.5)24 4 5)23)13 22(3(1(0.1)24 2 NIL 14 8(22(2 NIL 23)22(
22(1(0.2)24 23)22(1(0.0)24 23)13 23)13 9)(1(0.0)24 1(0.1)24 10 24 14 8(
2 NIL 9)(2 NIL 22(1(0.2)24 23)13 22(1(0.1)24 11 24 23)13 22(1(0.0)24 23
)13 1(1.3)24 4 9)9)5)23)13 22(3(1(0.0)24 12 8(2 NIL 22(1(0.2)24 23)13 22
(1(0.1)24 23)13 22(1(0.0)24 23)13 1(1.3)24 4 9)(1(0.0)24 10 24 2 quote 14
8(2 NIL 9)(1(0.0)24 10 24 2 lambda 14 8(2 NIL 22(1(0.2)24 23)13 22(2 NIL
22(1(0.1)24 23)13 22(1(0.0)24 11 24 10 24 23)13 1(1.6)24 4 23)13 22(1(0
.0)24 11 24 11 24 10 24 23)13 1(1.2)24 4 9)(1(0.0)24 10 24 2 let 14 8(2
NIL 22(1(0.2)24 23)13 22(1(0.1)24 23)13 22(1(0.0)24 11 24 23)13 1(1.8)24
4 9)(1(0.0)24 10 24 2 letrec 14 8(2 NIL 22(1(0.2)24 23)13 22(1(0.1)24 23
)13 22(1(0.0)24 11 24 23)13 1(1.9)24 4 9)(2 NIL 22(1(0.0)24 10 24 23)13
1(1.4)24 4 8(2 NIL 22(1(0.2)24 23)13 22(1(0.1)24 23)13 22(1(0.0)24 11 24
23)13 1(1.11)24 4 9)(2 NIL 22(1(0.2)24 23)13 22(1(0.1)24 23)13 22(1(0.0
)24 23)13 1(1.11)24 4 9)9)9)9)9)9)5)23)13 22(3(2 NIL 22(2 NIL 23)13 22(
2 NIL 23)13 22(1(0.0)24 23)13 1(1.2)24 4 5)23)13 22(2((Variable definition
and scope checker)(P Henderson and S B Jones PRG Oxford August 1982))23
)13 3(1(0.1)24 5)7 5))