From d8843648c72912dbbca9ed73efb524bc5c6e39c3 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 23 Mar 2015 13:48:59 -0700 Subject: [PATCH] define/typed --- quad/quads-typed.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/quad/quads-typed.rkt b/quad/quads-typed.rkt index 4f13785e..bcc611b6 100644 --- a/quad/quads-typed.rkt +++ b/quad/quads-typed.rkt @@ -199,14 +199,14 @@ (define/typed (id [attrs #f] #:zzz [zzz 0] . xs) (() ((U False QuadAttrs HashableList) #:zzz Zero) #:rest QuadListItem . ->* . Quad) (IdQuad 'id (if attrs - (if (list? attrs) - (make-quadattrs attrs) - attrs) - (make-quadattrs null)) xs)) + (if (list? attrs) + (make-quadattrs attrs) + attrs) + (make-quadattrs null)) xs)) - (: id? (Any . -> . Boolean)) - (define (id? x) + (define/typed (id? x) + (Any . -> . Boolean) (and (quad? x) (equal? (quad-name x) 'id)))))])) (define/typed (whitespace? x [nbsp? #f])