aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/source/luxc/lang/synthesis
diff options
context:
space:
mode:
authorEduardo Julian2021-09-13 00:29:57 -0400
committerEduardo Julian2021-09-13 00:29:57 -0400
commit376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch)
treebc76d7aeff4f2b889ae262a64dc8d26b0476068d /lux-jvm/source/luxc/lang/synthesis
parent2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff)
Updated only/except import syntax to take into account record => variant syntax change.
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 f580ceec7..927ec84e3 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]
- ["[0]L" variable {"+" [Variable]}])))
+ ["[0]L" variable {"+" Variable}])))
(def: (bound-vars path)
(-> ls.Path (List Variable))