diff --git a/collects/typed-scheme/scribblings/utils.rkt b/collects/typed-scheme/scribblings/utils.rkt index 13bf9078..ab158a8c 100644 --- a/collects/typed-scheme/scribblings/utils.rkt +++ b/collects/typed-scheme/scribblings/utils.rkt @@ -4,23 +4,23 @@ (provide (all-defined-out)) (define (item* header . args) (apply item @bold[header]{: } args)) -(define-syntax-rule (tmod forms ...) (schememod typed-scheme forms ...)) +(define-syntax-rule (tmod forms ...) (racketmod typed-scheme forms ...)) (define (gtech . x) (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl"))) (define (rtech . x) (apply tech x #:doc '(lib "scribblings/reference/reference.scrbl"))) -(define ** (let ([* #f]) @scheme[*])) +(define ** (let ([* #f]) @racket[*])) (define-syntax-rule (annvar x t) - (make-element #f (list @schemeparenfont["#{"] - @scheme[x : t] - @schemeparenfont["}"]))) + (make-element #f (list @racketparenfont["#{"] + @racket[x : t] + @racketparenfont["}"]))) (define-syntax-rule (annexpr x t) - (make-element #f (list @schemeparenfont["#{"] - @scheme[x :: t] - @schemeparenfont["}"]))) + (make-element #f (list @racketparenfont["#{"] + @racket[x :: t] + @racketparenfont["}"]))) (define-syntax-rule (defalias id1 id2) @defidform[id1]{An alias for @racket[id2].})