You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
typesetting/quad/main-typed-sample.rkt

16 lines
671 B
Racket

10 years ago
#lang typed/racket/base
10 years ago
(require "main-typed.rkt" "logger-typed.rkt" "world-typed.rkt" "samples-typed.rkt" "quads-typed.rkt")
10 years ago
10 years ago
(require/typed profile
[profile-thunk ((-> Any) [#:delay Float] . -> . Quad)])
10 years ago
10 years ago
(require "render-typed.rkt" typed/racket/class)
10 years ago
(activate-logger quad-logger)
10 years ago
10 years ago
(parameterize ([world:quality-default world:draft-quality]
[world:paper-width-default 600.0]
[world:paper-height-default 700.0])
(define sample (ti5))
10 years ago
; (define to (time (profile-thunk #:delay 0.001 (λ () (typeset sample)))))
(define to (time (typeset sample)))
(time (send (new pdf-renderer%) render-to-file to "foo-typed.pdf")))