Branch
Hash :
ea776756
Author :
Date :
2021-07-03T11:39:49
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.