blob: 8bd9752726069950a90fe58bc42305d346239ae0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
(;module:
lux
(lux (control monad)
(data ["E" error]
[text]
text/format
(coll ["D" dict])
maybe))
(luxc ["&" base]
(lang ["la" analysis #+ Analysis]))
(. ["&&;" lux]))
(def: #export (analyse-proc analyse [proc-category proc-name] proc-args)
(-> &;Analyser Ident (List Code) (Lux Analysis))
(default (let [proc-description (format "[" (%t proc-category) " " (%t proc-name) "]")]
(&;fail (format "Unknown procedure: " proc-description)))
(do Monad<Maybe>
[procs (D;get proc-category &&lux;procs)
proc (D;get proc-name procs)]
(wrap (proc analyse proc-args)))))
|