aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/language/compiler/synthesis/expression.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/expression.lux85
1 files changed, 43 insertions, 42 deletions
diff --git a/stdlib/source/lux/language/compiler/synthesis/expression.lux b/stdlib/source/lux/language/compiler/synthesis/expression.lux
index ffc22d89a..80480de68 100644
--- a/stdlib/source/lux/language/compiler/synthesis/expression.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/expression.lux
@@ -8,95 +8,96 @@
[collection
[list ("list/" Functor<List>)]
["dict" dictionary (#+ Dictionary)]]]]
- [///reference]
- [///compiler ("operation/" Monad<Operation>)]
- [///analysis (#+ Analysis)]
- [///extension (#+ Extension)]
- [// (#+ Synthesis)]
- [//function]
- [//case])
+ [// (#+ Synthesis)
+ [function]
+ [case]
+ [///
+ [reference]
+ ["." compiler ("operation/" Monad<Operation>)
+ [analysis (#+ Analysis)]
+ [extension (#+ Extension)]]]])
(exception: #export (unknown-synthesis-extension {name Text})
name)
(def: (primitive analysis)
- (-> ///analysis.Primitive //.Primitive)
+ (-> analysis.Primitive //.Primitive)
(case analysis
- #///analysis.Unit
+ #analysis.Unit
(#//.Text //.unit)
(^template [<analysis> <synthesis>]
(<analysis> value)
(<synthesis> value))
- ([#///analysis.Bool #//.Bool]
- [#///analysis.Frac #//.F64]
- [#///analysis.Text #//.Text])
+ ([#analysis.Bool #//.Bool]
+ [#analysis.Frac #//.F64]
+ [#analysis.Text #//.Text])
(^template [<analysis> <synthesis>]
(<analysis> value)
(<synthesis> (.i64 value)))
- ([#///analysis.Nat #//.I64]
- [#///analysis.Int #//.I64]
- [#///analysis.Rev #//.I64])))
+ ([#analysis.Nat #//.I64]
+ [#analysis.Int #//.I64]
+ [#analysis.Rev #//.I64])))
(def: #export (synthesizer extensions)
- (-> (Extension ///extension.Synthesis) //.Synthesizer)
+ (-> (Extension extension.Synthesis) //.Synthesizer)
(function (synthesize analysis)
(case analysis
- (#///analysis.Primitive analysis')
+ (#analysis.Primitive analysis')
(operation/wrap (#//.Primitive (..primitive analysis')))
- (#///analysis.Structure composite)
- (case (///analysis.variant analysis)
+ (#analysis.Structure composite)
+ (case (analysis.variant analysis)
(#.Some variant)
- (do ///compiler.Monad<Operation>
- [valueS (synthesize (get@ #///analysis.value variant))]
- (wrap (#//.Structure (#//.Variant (set@ #///analysis.value valueS variant)))))
+ (do compiler.Monad<Operation>
+ [valueS (synthesize (get@ #analysis.value variant))]
+ (wrap (#//.Structure (#//.Variant (set@ #analysis.value valueS variant)))))
_
- (do ///compiler.Monad<Operation>
- [tupleS (monad.map @ synthesize (///analysis.tuple analysis))]
+ (do compiler.Monad<Operation>
+ [tupleS (monad.map @ synthesize (analysis.tuple analysis))]
(wrap (#//.Structure (#//.Tuple tupleS)))))
- (#///analysis.Apply _)
- (//function.apply (|>> synthesize //.indirectly) analysis)
+ (#analysis.Apply _)
+ (function.apply (|>> synthesize //.indirectly) analysis)
- (#///analysis.Function environmentA bodyA)
- (//function.function synthesize environmentA bodyA)
+ (#analysis.Function environmentA bodyA)
+ (function.function synthesize environmentA bodyA)
- (#///analysis.Extension name args)
+ (#analysis.Extension name args)
(case (dict.get name extensions)
#.None
- (///compiler.throw unknown-synthesis-extension name)
+ (compiler.throw unknown-synthesis-extension name)
(#.Some extension)
(extension (|>> synthesize //.indirectly) args))
- (#///analysis.Reference reference)
+ (#analysis.Reference reference)
(case reference
- (#///reference.Constant constant)
+ (#reference.Constant constant)
(operation/wrap (#//.Reference reference))
- (#///reference.Variable var)
- (do ///compiler.Monad<Operation>
+ (#reference.Variable var)
+ (do compiler.Monad<Operation>
[resolver //.resolver]
(case var
- (#///reference.Local register)
+ (#reference.Local register)
(do @
[arity //.scope-arity]
- (wrap (if (//function.nested? arity)
+ (wrap (if (function.nested? arity)
(if (n/= +0 register)
(|> (dec arity)
(list.n/range +1)
(list/map (|>> //.variable/local))
[(//.variable/local +0)]
//.function/apply)
- (#//.Reference (#///reference.Variable (//function.adjust arity false var))))
- (#//.Reference (#///reference.Variable var)))))
+ (#//.Reference (#reference.Variable (function.adjust arity false var))))
+ (#//.Reference (#reference.Variable var)))))
- (#///reference.Foreign register)
- (wrap (|> resolver (dict.get var) (maybe.default var) #///reference.Variable #//.Reference)))))
+ (#reference.Foreign register)
+ (wrap (|> resolver (dict.get var) (maybe.default var) #reference.Variable #//.Reference)))))
- (#///analysis.Case inputA branchesAB+)
- (//case.synthesize (|>> synthesize //.indirectly) inputA branchesAB+)
+ (#analysis.Case inputA branchesAB+)
+ (case.synthesize (|>> synthesize //.indirectly) inputA branchesAB+)
)))