aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2017-10-31 23:40:13 -0400
committerEduardo Julian2017-10-31 23:40:13 -0400
commit8141b41812e732ff086f07ef76c5b309fb768ccd (patch)
treecb98d211c42a0a81c4abbc632e27910c9eb04493
parent15121222d570f8fe3c5a326208e4f0bad737e63c (diff)
- Fixed a bug when synthetizing pattern-matching.
-rw-r--r--new-luxc/source/luxc/synthesizer.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux
index e6730c5a3..c43958890 100644
--- a/new-luxc/source/luxc/synthesizer.lux
+++ b/new-luxc/source/luxc/synthesizer.lux
@@ -68,7 +68,7 @@
(case (list;reverse branchesA)
(^multi (^ (list [(^code ("lux case bind" (~ [_ (#;Nat input-register)])))
(^code ((~ [_ (#;Int var)])))]))
- (variableL;local? var)
+ (not (variableL;captured? var))
(n.= input-register (int-to-nat var)))
inputS