From ec0a9b536abbb9b5b5448eb1f74e0237806fb970 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 26 Feb 2022 14:28:32 -0800 Subject: [PATCH] nit --- quad/quad2/main.rkt | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/quad/quad2/main.rkt b/quad/quad2/main.rkt index 70d5415e..5f6c1dcc 100644 --- a/quad/quad2/main.rkt +++ b/quad/quad2/main.rkt @@ -13,10 +13,9 @@ #:precondition values #:postcondition quad? (match x - [(? quad?) x] - [(list (? quad?) ...) (make-quad #:elems x)] - [_ (make-quad #:elems (list x))])) - + [(or (? quad? q) (list (? quad? q))) q] + [(and (list (? quad?) ...) qs) (make-quad #:elems qs)] + [other (make-quad #:elems (list other))])) (define quad-compile (make-compiler (list bootstrap