blob: 468d09523a078c81a945f7fb238b23866c137328 (
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
|
(.module:
lux
(lux (control [monad #+ do]
["ex" exception #+ exception:])
(data [maybe]
text/format
(coll (dictionary ["dict" unordered #+ Dict]))))
(luxc ["&" lang]
(lang ["ls" synthesis]
(host [r #+ Expression])))
[//]
(/ ["/." common]
["/." host]))
(exception: #export (Unknown-Procedure {message Text})
message)
(def: procedures
/common.Bundle
(|> /common.procedures
(dict.merge /host.procedures)))
(def: #export (translate-procedure translate name args)
(-> (-> ls.Synthesis (Meta Expression)) Text (List ls.Synthesis)
(Meta Expression))
(<| (maybe.default (&.throw Unknown-Procedure (%t name)))
(do maybe.Monad<Maybe>
[proc (dict.get name procedures)]
(wrap (proc translate args)))))
|
