From 92c56e3ee4586359f85eb85e5ab9a3096656d4fe Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 9 Apr 2022 07:11:56 -0700 Subject: [PATCH] use all-attrs as default value for current-attrs parameter --- quad2/param.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/quad2/param.rkt b/quad2/param.rkt index c2dd91ca..0d3ed0a9 100644 --- a/quad2/param.rkt +++ b/quad2/param.rkt @@ -1,5 +1,6 @@ #lang racket/base (require racket/match + "constants.rkt" "struct.rkt") (provide (all-defined-out)) @@ -13,7 +14,7 @@ val))) ...)) (define-guarded-parameters - [current-attrs (λ (xs) (and (list? xs) (andmap attr-key? xs))) null] + [current-attrs (λ (xs) (and (list? xs) (andmap attr-key? xs))) all-attrs] [current-show-timing? boolean? #false] [current-strict-attrs? boolean? #false] [current-use-preconditions? boolean? #true]