aboutsummaryrefslogtreecommitdiff
path: root/lux-r/source/luxc/lang
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /lux-r/source/luxc/lang
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'lux-r/source/luxc/lang')
-rw-r--r--lux-r/source/luxc/lang/synthesis/variable.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-r/source/luxc/lang/synthesis/variable.lux b/lux-r/source/luxc/lang/synthesis/variable.lux
index ecbca7062..82478a2d6 100644
--- a/lux-r/source/luxc/lang/synthesis/variable.lux
+++ b/lux-r/source/luxc/lang/synthesis/variable.lux
@@ -5,7 +5,7 @@
["s" set])))
(luxc (lang ["la" analysis]
["ls" synthesis]
- [".L" variable {"+" [Variable]}])))
+ ["[0]L" variable {"+" [Variable]}])))
(def: (bound-vars path)
(-> ls.Path (List Variable))