aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/language/compiler/synthesis/expression.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/language/compiler/synthesis/expression.lux')
-rw-r--r--stdlib/source/lux/language/compiler/synthesis/expression.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/lux/language/compiler/synthesis/expression.lux b/stdlib/source/lux/language/compiler/synthesis/expression.lux
index be20b7b0b..999d49b15 100644
--- a/stdlib/source/lux/language/compiler/synthesis/expression.lux
+++ b/stdlib/source/lux/language/compiler/synthesis/expression.lux
@@ -54,16 +54,6 @@
[tupleS (monad.map @ synthesize (analysis.tuple analysis))]
(wrap (#//.Structure (#//.Tuple tupleS)))))
- (#analysis.Apply _)
- (function.apply (|>> synthesize //.indirectly) analysis)
-
- (#analysis.Function environmentA bodyA)
- (function.function synthesize environmentA bodyA)
-
- (#analysis.Extension name args)
- (extension.apply (|>> synthesize //.indirectly)
- [name args])
-
(#analysis.Reference reference)
(case reference
(#reference.Constant constant)
@@ -91,4 +81,14 @@
(#analysis.Case inputA branchesAB+)
(case.synthesize (|>> synthesize //.indirectly) inputA branchesAB+)
+
+ (#analysis.Apply _)
+ (function.apply (|>> synthesize //.indirectly) analysis)
+
+ (#analysis.Function environmentA bodyA)
+ (function.function synthesize environmentA bodyA)
+
+ (#analysis.Extension name args)
+ (extension.apply (|>> synthesize //.indirectly)
+ [name args])
))