From bc36487224f670c23002cc4575c0dba3e5dc1be1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 15 Mar 2022 07:24:35 -0400 Subject: De-sigil-ification: ^ --- .../luxc/lang/translation/jvm/extension/host.lux | 69 +++++++++++----------- 1 file changed, 35 insertions(+), 34 deletions(-) (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux') diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index ee6f243f2..0ea499e92 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -20,6 +20,7 @@ ["[0]" dictionary {"+" Dictionary}] ["[0]" set {"+" Set}]]] [macro + ["^" pattern] ["[0]" template]] [math [number @@ -389,7 +390,7 @@ (-> (Type Primitive) Handler) (function (_ extension_name generate archive inputs) (case inputs - (^ (list lengthS)) + (pattern (list lengthS)) (do phase.monad [lengthI (generate archive lengthS)] (in (|>> lengthI @@ -412,7 +413,7 @@ (-> (Type Primitive) Inst Handler) (function (_ extension_name generate archive inputs) (case inputs - (^ (list idxS arrayS)) + (pattern (list idxS arrayS)) (do phase.monad [arrayI (generate archive arrayS) idxI (generate archive idxS)] @@ -441,7 +442,7 @@ (-> (Type Primitive) Inst Handler) (function (_ extension_name generate archive inputs) (case inputs - (^ (list idxS valueS arrayS)) + (pattern (list idxS valueS arrayS)) (do phase.monad [arrayI (generate archive arrayS) idxI (generate archive idxS) @@ -558,7 +559,7 @@ (def: (object::class extension_name generate archive inputs) Handler (case inputs - (^ (list (synthesis.text class))) + (pattern (list (synthesis.text class))) (do phase.monad [] (in (|>> (_.string class) @@ -581,7 +582,7 @@ (def: (object::cast extension_name generate archive inputs) Handler (case inputs - (^ (list (synthesis.text from) (synthesis.text to) valueS)) + (pattern (list (synthesis.text from) (synthesis.text to) valueS)) (do phase.monad [valueI (generate archive valueS)] (`` (cond (~~ (template [ ] @@ -835,14 +836,14 @@ [_ {synthesis.#Control {synthesis.#Branch {synthesis.#Case _ path}}}] (loop [path (: synthesis.Path path)] (case path - (^or {synthesis.#Pop} - {synthesis.#Access _} - {synthesis.#Bind _} - {synthesis.#Bit_Fork _} - {synthesis.#I64_Fork _} - {synthesis.#F64_Fork _} - {synthesis.#Text_Fork _} - {synthesis.#Alt _}) + (^.or {synthesis.#Pop} + {synthesis.#Access _} + {synthesis.#Bind _} + {synthesis.#Bit_Fork _} + {synthesis.#I64_Fork _} + {synthesis.#F64_Fork _} + {synthesis.#Text_Fork _} + {synthesis.#Alt _}) body {synthesis.#Seq _ next} @@ -884,17 +885,17 @@ (-> Path Path)) (function (again path) (case path - (^ (synthesis.path/then bodyS)) + (pattern (synthesis.path/then bodyS)) (synthesis.path/then (normalize bodyS)) - (^template [] - [(^ { leftP rightP}) + (^.template [] + [(pattern { leftP rightP}) { (again leftP) (again rightP)}]) ([synthesis.#Alt] [synthesis.#Seq]) - (^template [] - [(^ { _}) + (^.template [] + [(pattern { _}) path]) ([synthesis.#Pop] [synthesis.#Bind] @@ -903,7 +904,7 @@ {synthesis.#Bit_Fork when then else} {synthesis.#Bit_Fork when (again then) (maybe#each again else)} - (^template [] + (^.template [] [{ [[test then] elses]} { [[test (again then)] (list#each (function (_ [else_test else_then]) @@ -939,49 +940,49 @@ (-> Mapping Synthesis Synthesis) (function (again body) (case body - (^template [] - [(^ ) + (^.template [] + [(pattern ) body]) ([{synthesis.#Primitive _}] [(synthesis.constant _)]) - (^ (synthesis.variant [lefts right? sub])) + (pattern (synthesis.variant [lefts right? sub])) (synthesis.variant [lefts right? (again sub)]) - (^ (synthesis.tuple members)) + (pattern (synthesis.tuple members)) (synthesis.tuple (list#each again members)) - (^ (synthesis.variable var)) + (pattern (synthesis.variable var)) (|> mapping (dictionary.value body) (maybe.else var) synthesis.variable) - (^ (synthesis.branch/case [inputS pathS])) + (pattern (synthesis.branch/case [inputS pathS])) (synthesis.branch/case [(again inputS) (normalize_path again pathS)]) - (^ (synthesis.branch/exec [this that])) + (pattern (synthesis.branch/exec [this that])) (synthesis.branch/exec [(again this) (again that)]) - (^ (synthesis.branch/let [inputS register outputS])) + (pattern (synthesis.branch/let [inputS register outputS])) (synthesis.branch/let [(again inputS) register (again outputS)]) - (^ (synthesis.branch/if [testS thenS elseS])) + (pattern (synthesis.branch/if [testS thenS elseS])) (synthesis.branch/if [(again testS) (again thenS) (again elseS)]) - (^ (synthesis.branch/get [path recordS])) + (pattern (synthesis.branch/get [path recordS])) (synthesis.branch/get [path (again recordS)]) - (^ (synthesis.loop/scope [offset initsS+ bodyS])) + (pattern (synthesis.loop/scope [offset initsS+ bodyS])) (synthesis.loop/scope [offset (list#each again initsS+) (again bodyS)]) - (^ (synthesis.loop/again updatesS+)) + (pattern (synthesis.loop/again updatesS+)) (synthesis.loop/again (list#each again updatesS+)) - (^ (synthesis.function/abstraction [environment arity bodyS])) + (pattern (synthesis.function/abstraction [environment arity bodyS])) (synthesis.function/abstraction [(list#each (function (_ captured) (case captured - (^ (synthesis.variable var)) + (pattern (synthesis.variable var)) (|> mapping (dictionary.value captured) (maybe.else var) @@ -993,7 +994,7 @@ arity bodyS]) - (^ (synthesis.function/apply [functionS inputsS+])) + (pattern (synthesis.function/apply [functionS inputsS+])) (synthesis.function/apply [(again functionS) (list#each again inputsS+)]) {synthesis.#Extension [name inputsS+]} -- cgit v1.2.3