From 7a95306bb081db5a48847ce09e9e65202864be2d Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 28 May 2014 16:35:51 -0400 Subject: [PATCH] There may be no levels on the right-hand-side for a given metalevel. --- minimart/gestalt.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/minimart/gestalt.rkt b/minimart/gestalt.rkt index 7edcc58..2269a8b 100644 --- a/minimart/gestalt.rkt +++ b/minimart/gestalt.rkt @@ -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