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

Add provide:

Browse Source 
svn: r13643

original commit: 3205875736f90161f6773d9e7182f25a9f949cc2
This commit is contained in:
Sam Tobin-Hochstadt 2009-02-16 02:23:50 +00:00
parent d6efd0acc3
commit c7e0ef61e9
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-scheme/private/prims.ss
View File

@ -24,6 +24,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
(require (except-in "../utils/utils.ss" extend))
(require (for-syntax
stxclass
scheme/base
(rep type-rep)
mzlib/match
@ -31,7 +32,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
syntax/struct
syntax/stx
scheme/struct-info
(utils utils tc-utils)
(except-in (utils utils tc-utils) id)
(env type-name-env)
"type-contract.ss"))
@ -422,3 +423,9 @@ This file defines two sorts of primitives. All of them are provided into any mod
(begin e1 e2 ...)
(begin c ... (doloop step ...)))))]))]))
(define-syntax (provide: stx)
(syntax-parse stx
[(_ [i:id t] ...)
(syntax/loc stx
(begin (: i t) ...
(provide i ...)))]))