From c862d4d79e66eb24be1917fed6230da4bf465008 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 14 May 2015 22:57:11 -0700 Subject: [PATCH] still working, albeit slowly --- quad/logger-typed.rkt | 4 ++-- quad/main-typed-sample.rkt | 3 +-- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/quad/logger-typed.rkt b/quad/logger-typed.rkt index fe7e56b0..6dd094cc 100644 --- a/quad/logger-typed.rkt +++ b/quad/logger-typed.rkt @@ -1,6 +1,6 @@ -#lang typed/racket +#lang typed/racket/base (require (for-syntax typed/racket/base)) -(require typed/racket/date "world-typed.rkt") +(require typed/racket/date racket/match "world-typed.rkt") (provide (all-defined-out)) (define-syntax-rule (define-orphan-logger name) diff --git a/quad/main-typed-sample.rkt b/quad/main-typed-sample.rkt index a92e1e8b..532a50c1 100644 --- a/quad/main-typed-sample.rkt +++ b/quad/main-typed-sample.rkt @@ -11,8 +11,7 @@ (parameterize ([world:quality-default world:draft-quality] [world:paper-width-default 600.0] [world:paper-height-default 700.0]) - (define sample (ti3)) + (define sample (ti5)) ; (define to (time (profile-thunk #:delay 0.001 (λ () (typeset sample))))) (define to (time (typeset sample))) - (report to) (time (send (new pdf-renderer%) render-to-file to "foo-typed.pdf"))) \ No newline at end of file