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

Refactor require/typed/provide and dt into new private dir.

Browse Source 
svn: r12517

original commit: 66b9b932ef7d5b5eec53731ec7f196ba4d6b263f
This commit is contained in:
Sam Tobin-Hochstadt 2008-11-19 22:50:54 +00:00
parent bf579f30e7
commit ec1e13a286
3 changed files with 14 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed/framework/framework.ss
View File

@ -1,6 +1,7 @@
#lang typed-scheme
(require (only-in typed/mred/mred dt require/typed/provide Font%))
(require typed/private/utils
(only-in typed/mred/mred Font%))
(dt Style-List% (Class ()
()

10
collects/typed/mred/mred.ss
View File

@ -1,14 +1,6 @@
#lang typed-scheme
(define-syntax-rule (dt nm t)
(begin (define-type-alias nm t) (provide nm)))
(define-syntax-rule (require/typed/provide lib [nm t] ...)
(begin
(require/typed lib [nm t] ...)
(provide nm ...)))
(provide dt require/typed/provide)
(require typed/private/utils)
(dt Bitmap% (Class (Number Number Boolean)
()

11
collects/typed/private/utils.ss Normal file
View File

@ -0,0 +1,11 @@
#lang typed-scheme
(define-syntax-rule (dt nm t)
(begin (define-type-alias nm t) (provide nm)))
(define-syntax-rule (require/typed/provide lib [nm t] ...)
(begin
(require/typed lib [nm t] ...)
(provide nm ...)))
(provide dt require/typed/provide)