Fixes overly tolerant char-set? predicate #5

Merged
tov merged 2 commits from br-char-set-repetition into master 5 years ago

2 Commits (master)

Author SHA1 Message Date
Jesse A. Tov 773f613ecd
Fixes bug demonstrated by previous commit.
Now (repetition 1 1 e) is a charset if e is a charset, but other number
of repetitions are not.
5 years ago
Jesse A. Tov 405d761602
Demonstrates bug in char-complement.
This commit adds 3 tests. All 3 should pass, but right now 2 of them
fail because char-complement is considering (repetition n n e) to be
a charset for *any* n, so long as e is a charset.
5 years ago