diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/procedure.jvm.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/procedure.jvm.lux | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/new-luxc/source/luxc/lang/translation/procedure.jvm.lux b/new-luxc/source/luxc/lang/translation/procedure.jvm.lux deleted file mode 100644 index e4f8b9908..000000000 --- a/new-luxc/source/luxc/lang/translation/procedure.jvm.lux +++ /dev/null @@ -1,27 +0,0 @@ -(.module: - lux - (lux (control [monad #+ do] - ["ex" exception #+ exception:]) - (data [maybe] - text/format - (coll [dict]))) - (luxc ["&" lang] - (lang (host ["$" jvm]) - ["ls" synthesis])) - (/ ["/." common] - ["/." host])) - -(exception: #export Unknown-Procedure) - -(def: procedures - /common.Bundle - (|> /common.procedures - (dict.merge /host.procedures))) - -(def: #export (translate-procedure translate name args) - (-> (-> ls.Synthesis (Meta $.Inst)) Text (List ls.Synthesis) - (Meta $.Inst)) - (<| (maybe.default (&.throw Unknown-Procedure (%t name))) - (do maybe.Monad<Maybe> - [proc (dict.get name procedures)] - (wrap (proc translate args))))) |