suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

A ton of @scheme*' -> @racket*' and related updates.

Browse Source 
Also, updates some of the mzlib files to point at `racket/*' libraries
rather than to `scheme/*' ones.

original commit: ac26fe75546b5182d78f18c2cd882f0f440849e2
This commit is contained in:
Eli Barzilay 2011-06-24 15:08:24 -04:00
parent 079a86457d
commit 1303c1ff46
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/typed-scheme/scribblings/utils.rkt
View File

@ -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].})