aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/synthesis
diff options
context:
space:
mode:
authorEduardo Julian2021-09-04 12:49:52 -0400
committerEduardo Julian2021-09-04 12:49:52 -0400
commitfc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch)
tree24858adac0e67228620b7e9166e3b7335be9fd5a /lux-jvm/source/luxc/lang/synthesis
parent891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff)
De-taggification | part 2
Diffstat (limited to 'lux-jvm/source/luxc/lang/synthesis')
-rw-r--r--lux-jvm/source/luxc/lang/synthesis/variable.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 1fa63446e..73f1e031d 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -6,7 +6,7 @@
["s" set])))
(luxc (lang ["la" analysis]
["ls" synthesis]
- [".L" variable #+ Variable])))
+ [".L" variable {"+" [Variable]}])))
(def: (bound-vars path)
(-> ls.Path (List Variable))