/
core_with_arms.test
83 lines (63 loc) · 1.17 KB
/
core_with_arms.test
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
|%
:: # %math
:: unsigned arithmetic
+| %math
++ add
~/ %add
:: unsigned addition
::
:: a: augend
:: b: addend
|= [a=@ b=@]
:: sum
^- @
?: =(0 a) b
$(a (dec a), b +(b))
::
++ dec
----------------------------------------------------
[
["keyword", "|%"],
["comment", ":: # %math"],
["comment", ":: unsigned arithmetic"],
["keyword", "+|"],
["constant", "%math"],
["function", "++ add"],
["keyword", "~/"],
["constant", "%add"],
["comment", ":: unsigned addition"],
["comment", "::"],
["comment", ":: a: augend"],
["comment", ":: b: addend"],
["keyword", "|="],
" [",
["function", "a"],
"=",
["class-name", "@"],
["function", "b"],
"=",
["class-name", "@"],
"]\r\n ",
["comment", ":: sum"],
["keyword", "^-"],
["class-name", "@"],
["keyword", "?:"],
" =(0 ",
["function", "a"],
") ",
["function", "b"],
"\r\n $(",
["function", "a"],
" (",
["function", "dec"],
["function", "a"],
"), ",
["function", "b"],
" +(",
["function", "b"],
"))\r\n",
["comment", "::"],
["function", "++ dec"]
]
----------------------------------------------------
Tests for a sample definition of a core with an arm.