From 3205875736f90161f6773d9e7182f25a9f949cc2 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 16 Feb 2009 02:23:50 +0000 Subject: [PATCH] Add provide: svn: r13643 --- collects/typed-scheme/private/prims.ss | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/prims.ss b/collects/typed-scheme/private/prims.ss index 8e4236987f..859b38eb72 100644 --- a/collects/typed-scheme/private/prims.ss +++ b/collects/typed-scheme/private/prims.ss @@ -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 ...)))])) \ No newline at end of file