From e3ad8dfb0c601dce3c34e8a774a1c59323a1179f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 19 Mar 2015 18:54:21 -0700 Subject: [PATCH] adjust types --- quad/world-typed.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/quad/world-typed.rkt b/quad/world-typed.rkt index c6b06cc0..9b9eb40f 100644 --- a/quad/world-typed.rkt +++ b/quad/world-typed.rkt @@ -1,5 +1,5 @@ #lang typed/racket/base -(require (for-syntax racket/base racket/syntax)) +(require (for-syntax typed/racket/base racket/syntax)) (provide (prefix-out world: (all-defined-out))) (define-syntax-rule (define-parameter name val) @@ -96,4 +96,5 @@ (define min-last-lines 2) (define default-lines-per-column 36) -(define-parameter logging-level 'debug) ;; usually 'debug for dev. change to 'info for less \ No newline at end of file +(: logging-level (Parameterof Log-Level)) +(define logging-level (make-parameter 'debug)) ;; usually 'debug for dev. change to 'info for less \ No newline at end of file