diff options
Diffstat (limited to 'new-luxc/source/luxc/generator/procedure.jvm.lux')
-rw-r--r-- | new-luxc/source/luxc/generator/procedure.jvm.lux | 24 |
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))))) |