aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/generator/procedure.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/generator/procedure.jvm.lux')
-rw-r--r--new-luxc/source/luxc/generator/procedure.jvm.lux24
1 files changed, 0 insertions, 24 deletions
diff --git a/new-luxc/source/luxc/generator/procedure.jvm.lux b/new-luxc/source/luxc/generator/procedure.jvm.lux
deleted file mode 100644
index 973f0e968..000000000
--- a/new-luxc/source/luxc/generator/procedure.jvm.lux
+++ /dev/null
@@ -1,24 +0,0 @@
-(;module:
- lux
- (lux (control [monad #+ do])
- (data [maybe]
- text/format
- (coll [dict])))
- (luxc ["&" base]
- (host ["$" jvm])
- (lang ["ls" synthesis]))
- (. ["./;" common]
- ["./;" host]))
-
-(def: procedures
- ./common;Bundle
- (|> ./common;procedures
- (dict;merge ./host;procedures)))
-
-(def: #export (generate-procedure generate name args)
- (-> (-> ls;Synthesis (Meta $;Inst)) Text (List ls;Synthesis)
- (Meta $;Inst))
- (<| (maybe;default (&;fail (format "Unknown procedure: " (%t name))))
- (do maybe;Monad<Maybe>
- [proc (dict;get name procedures)]
- (wrap (proc generate args)))))