blob: 8d95becc1ead6fd455285608d74674a362cef269 (
plain)
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
85
86
87
88
89
90
91
92
|
(.module:
[library
[lux #*
[data
[text
["%" format (#+ format)]]]
[target
[jvm
["$t" type]]]
[tool
[compiler
[language
[lux
[generation (#+ Context)]
[program (#+ Program)]]]]]]]
[luxc
[lang
[host
["_" jvm
["$d" def]
["$i" inst]]]
[translation
["." jvm
["." runtime]]]]])
(def: ^Object ($t.class "java.lang.Object" (list)))
(def: .public (program artifact_name context programI)
(-> (-> Context Text) (Program _.Inst _.Definition))
(let [nilI runtime.noneI
num_inputsI (|>> ($i.ALOAD 0) $i.ARRAYLENGTH)
decI (|>> ($i.int +1) $i.ISUB)
headI (|>> $i.DUP
($i.ALOAD 0)
$i.SWAP
$i.AALOAD
$i.SWAP
$i.DUP_X2
$i.POP)
pairI (|>> ($i.int +2)
($i.ANEWARRAY ..^Object)
$i.DUP_X1
$i.SWAP
($i.int +0)
$i.SWAP
$i.AASTORE
$i.DUP_X1
$i.SWAP
($i.int +1)
$i.SWAP
$i.AASTORE)
consI (|>> ($i.int +1)
($i.string "")
$i.DUP2_X1
$i.POP2
runtime.variantI)
prepare_input_listI (<| $i.with_label (function (_ @loop))
$i.with_label (function (_ @end))
(|>> nilI
num_inputsI
($i.label @loop)
decI
$i.DUP
($i.IFLT @end)
headI
pairI
consI
$i.SWAP
($i.GOTO @loop)
($i.label @end)
$i.POP))
feed_inputsI ($i.INVOKEVIRTUAL jvm.$Function runtime.apply_method (runtime.apply_signature 1))
run_ioI (|>> ($i.CHECKCAST jvm.$Function)
$i.NULL
($i.INVOKEVIRTUAL jvm.$Function runtime.apply_method (runtime.apply_signature 1)))
main_type ($t.method [(list)
(list ($t.array ($t.class "java.lang.String" (list))))
$t.void
(list)])
class (artifact_name context)]
[class
($d.class #_.V1_6
#_.Public _.finalC
class
(list) ..^Object
(list)
(|>> ($d.method #_.Public _.staticM "main" main_type
(|>> programI
prepare_input_listI
feed_inputsI
run_ioI
$i.RETURN))))]))
|
