There may be no levels on the right-hand-side for a given metalevel.

This commit is contained in:
Tony Garnock-Jones 2014-05-28 16:35:51 -04:00
parent edd4436297
commit 7a95306bb0
1 changed files with 1 additions and 1 deletions

View File

@ -197,7 +197,7 @@
[('() _) acc]
[(_ '()) acc]
[((cons ls1 mrest1) (cons ls2-unshifted mrest2))
(match-levels ls1 (cdr ls2-unshifted) (match-metalevels mrest1 mrest2 acc))]))
(match-levels ls1 (safe-cdr ls2-unshifted) (match-metalevels mrest1 mrest2 acc))]))
(define (match-levels ls1 ls2 acc)
(match ls1