diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/loop.lux (renamed from stdlib/source/lux/tool/compiler/phase/synthesis/loop.lux) | 41 |
1 files changed, 21 insertions, 20 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/synthesis/loop.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 62bfda31c..f4cc28012 100644 --- a/stdlib/source/lux/tool/compiler/phase/synthesis/loop.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -16,10 +16,11 @@ ["." /// #_ ## TODO: Remove the 'extension' import ASAP. ["#." extension] - ["#/" // - ["#." reference (#+ Register Variable)] + [// ["#." analysis (#+ Environment)] - ["/" synthesis (#+ Path Abstraction Synthesis)]]]) + ["/" synthesis (#+ Path Abstraction Synthesis)] + [/// + ["#." reference (#+ Register Variable)]]]]) (type: #export (Transform a) (-> a (Maybe a))) @@ -31,7 +32,7 @@ #.None #0)) (template: #export (self) - (#/.Reference (////reference.local 0))) + (#/.Reference (///reference.local 0))) (template: (recursive-apply args) (#/.Apply (self) args)) @@ -47,10 +48,10 @@ (#/.Structure structure) (case structure - (#////analysis.Variant variantS) - (proper? (get@ #////analysis.value variantS)) + (#///analysis.Variant variantS) + (proper? (get@ #///analysis.value variantS)) - (#////analysis.Tuple membersS+) + (#///analysis.Tuple membersS+) (list.every? proper? membersS+)) (#/.Control controlS) @@ -91,7 +92,7 @@ (#/.Function functionS) (case functionS (#/.Abstraction environment arity bodyS) - (list.every? ////reference.self? environment) + (list.every? ///reference.self? environment) (#/.Apply funcS argsS) (and (proper? funcS) @@ -168,7 +169,7 @@ (-> Environment (Transform Variable)) (function (_ variable) (case variable - (#////reference.Foreign register) + (#///reference.Foreign register) (list.nth register environment) _ @@ -201,31 +202,31 @@ (case exprS (#/.Structure structureS) (case structureS - (#////analysis.Variant variantS) + (#///analysis.Variant variantS) (do maybe.monad - [valueS' (|> variantS (get@ #////analysis.value) recur)] + [valueS' (|> variantS (get@ #///analysis.value) recur)] (wrap (|> variantS - (set@ #////analysis.value valueS') - #////analysis.Variant + (set@ #///analysis.value valueS') + #///analysis.Variant #/.Structure))) - (#////analysis.Tuple membersS+) + (#///analysis.Tuple membersS+) (|> membersS+ (monad.map maybe.monad recur) - (maybe;map (|>> #////analysis.Tuple #/.Structure)))) + (maybe;map (|>> #///analysis.Tuple #/.Structure)))) (#/.Reference reference) (case reference - (^ (////reference.constant constant)) + (^ (///reference.constant constant)) (#.Some exprS) - (^ (////reference.local register)) - (#.Some (#/.Reference (////reference.local (n.+ offset register)))) + (^ (///reference.local register)) + (#.Some (#/.Reference (///reference.local (n.+ offset register)))) - (^ (////reference.foreign register)) + (^ (///reference.foreign register)) (|> scope-environment (list.nth register) - (maybe;map (|>> #////reference.Variable #/.Reference)))) + (maybe;map (|>> #///reference.Variable #/.Reference)))) (^ (/.branch/case [inputS pathS])) (do maybe.monad |