diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/expression.jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/expression.jvm.lux | 74 |
1 files changed, 37 insertions, 37 deletions
diff --git a/new-luxc/source/luxc/lang/translation/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/expression.jvm.lux index 65bb5b772..c75ef0a19 100644 --- a/new-luxc/source/luxc/lang/translation/expression.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/expression.jvm.lux @@ -1,4 +1,4 @@ -(;module: +(.module: lux (lux (control monad ["ex" exception #+ exception:] @@ -8,25 +8,25 @@ [macro] (macro ["s" syntax])) (luxc ["&" lang] - (lang [";L" variable #+ Variable Register] + (lang [".L" variable #+ Variable Register] (host ["$" jvm]) ["ls" synthesis] - (translation [";T" common] - [";T" primitive] - [";T" structure] - [";T" eval] - [";T" procedure] - [";T" function] - [";T" reference] - [";T" case])))) + (translation [".T" common] + [".T" primitive] + [".T" structure] + [".T" eval] + [".T" procedure] + [".T" function] + [".T" reference] + [".T" case])))) (exception: #export Unrecognized-Synthesis) (def: #export (translate synthesis) - (-> ls;Synthesis (Meta $;Inst)) + (-> ls.Synthesis (Meta $.Inst)) (case synthesis (^code []) - primitiveT;translate-unit + primitiveT.translate-unit (^code [(~ singleton)]) (translate singleton) @@ -34,43 +34,43 @@ (^template [<tag> <generator>] [_ (<tag> value)] (<generator> value)) - ([#;Bool primitiveT;translate-bool] - [#;Nat primitiveT;translate-nat] - [#;Int primitiveT;translate-int] - [#;Deg primitiveT;translate-deg] - [#;Frac primitiveT;translate-frac] - [#;Text primitiveT;translate-text]) + ([#.Bool primitiveT.translate-bool] + [#.Nat primitiveT.translate-nat] + [#.Int primitiveT.translate-int] + [#.Deg primitiveT.translate-deg] + [#.Frac primitiveT.translate-frac] + [#.Text primitiveT.translate-text]) - (^code ((~ [_ (#;Nat tag)]) (~ [_ (#;Bool last?)]) (~ valueS))) - (structureT;translate-variant translate tag last? valueS) + (^code ((~ [_ (#.Nat tag)]) (~ [_ (#.Bool last?)]) (~ valueS))) + (structureT.translate-variant translate tag last? valueS) (^code [(~@ members)]) - (structureT;translate-tuple translate members) + (structureT.translate-tuple translate members) - (^ [_ (#;Form (list [_ (#;Int var)]))]) - (if (variableL;captured? var) - (referenceT;translate-captured var) - (referenceT;translate-local var)) + (^ [_ (#.Form (list [_ (#.Int var)]))]) + (if (variableL.captured? var) + (referenceT.translate-captured var) + (referenceT.translate-local var)) - [_ (#;Symbol definition)] - (referenceT;translate-definition definition) + [_ (#.Symbol definition)] + (referenceT.translate-definition definition) - (^code ("lux let" (~ [_ (#;Nat register)]) (~ inputS) (~ exprS))) - (caseT;translate-let translate register inputS exprS) + (^code ("lux let" (~ [_ (#.Nat register)]) (~ inputS) (~ exprS))) + (caseT.translate-let translate register inputS exprS) (^code ("lux case" (~ inputS) (~ pathPS))) - (caseT;translate-case translate inputS pathPS) + (caseT.translate-case translate inputS pathPS) - (^multi (^code ("lux function" (~ [_ (#;Nat arity)]) [(~@ environment)] (~ bodyS))) - [(s;run environment (p;some s;int)) (#e;Success environment)]) - (functionT;translate-function translate environment arity bodyS) + (^multi (^code ("lux function" (~ [_ (#.Nat arity)]) [(~@ environment)] (~ bodyS))) + [(s.run environment (p.some s.int)) (#e.Success environment)]) + (functionT.translate-function translate environment arity bodyS) (^code ("lux call" (~ functionS) (~@ argsS))) - (functionT;translate-call translate functionS argsS) + (functionT.translate-call translate functionS argsS) - (^code ((~ [_ (#;Text procedure)]) (~@ argsS))) - (procedureT;translate-procedure translate procedure argsS) + (^code ((~ [_ (#.Text procedure)]) (~@ argsS))) + (procedureT.translate-procedure translate procedure argsS) _ - (&;throw Unrecognized-Synthesis (%code synthesis)) + (&.throw Unrecognized-Synthesis (%code synthesis)) )) |