diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-01-12 02:11:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-01-12 02:11:38 +0000 |
| commit | e9d8606f86600b7d581f93f346981bca1f291dc7 (patch) | |
| tree | a8a385a7a005b9b9cf3f8a49eafcb864cabdbb75 /src/interp/i-map.boot | |
| parent | acd15b16070d5272387459a4d764577be01d3577 (diff) | |
| download | open-axiom-e9d8606f86600b7d581f93f346981bca1f291dc7.tar.gz | |
* boot/tokens.boot (keywordId): New.
* boot/parser.boot (bpSexpKey): Use it.
* interp/i-map.boot (mapPredTran): Fix thinko.
Diffstat (limited to 'src/interp/i-map.boot')
| -rw-r--r-- | src/interp/i-map.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-map.boot b/src/interp/i-map.boot index 2ee7de1c..33d78c0f 100644 --- a/src/interp/i-map.boot +++ b/src/interp/i-map.boot @@ -992,8 +992,8 @@ mkSharpVar i == mapPredTran pred == -- transforms "x in i..j" to "x>=i and x<=j" - pred is ['in,var,['SEGMENT,lb]] => mkLessOrEqual(lb,var) - pred is ['in,var,['SEGMENT,lb,ub]] => + pred is ['IN,var,['SEGMENT,lb]] => mkLessOrEqual(lb,var) + pred is ['IN,var,['SEGMENT,lb,ub]] => null ub => mkLessOrEqual(lb,var) ['and,mkLessOrEqual(lb,var),mkLessOrEqual(var,ub)] pred |