diff options
| author | Eduardo Julian | 2017-10-31 23:40:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-31 23:40:13 -0400 |
| commit | 8141b41812e732ff086f07ef76c5b309fb768ccd (patch) | |
| tree | cb98d211c42a0a81c4abbc632e27910c9eb04493 | |
| parent | 15121222d570f8fe3c5a326208e4f0bad737e63c (diff) | |
- Fixed a bug when synthetizing pattern-matching.
| -rw-r--r-- | new-luxc/source/luxc/synthesizer.lux | 2 |
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 |