diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2023-08-09 19:31:07 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2023-08-09 19:31:07 -0700 |
| commit | 174c054bbc54aefa4068d2863b43fabd9914ebd2 (patch) | |
| tree | 5be2b03c66ec0ce6cec0d24d0b3bb3103bcba04b /tests/012/compile.tl | |
| parent | 3c0c679b74016f0219c31d82578b99e53e531c78 (diff) | |
| download | txr-174c054bbc54aefa4068d2863b43fabd9914ebd2.tar.gz txr-174c054bbc54aefa4068d2863b43fabd9914ebd2.tar.bz2 txr-174c054bbc54aefa4068d2863b43fabd9914ebd2.zip | |
compiler/match: eliminate (subtypep (typeof x) y).
* stdlib/compiler.tl (compiler comp-fun-form): Recognize
the pattern (subtypep (typeof x) y) and rewrite it to
(typep x y).
* stdlib/match.tl (compile-struct-match): Don't generate
the (subtype (typeof x) y) pattern, but (typeof x y).
Diffstat (limited to 'tests/012/compile.tl')
0 files changed, 0 insertions, 0 deletions