From deab97f1849d43150d340fc2523e2d9a4b098b1f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 4 May 2002 14:34:16 +0000 Subject: [PATCH] .. original commit: a5c21d0b572178cf4e8fe7cbdca3f66286243e66 --- collects/framework/specs.ss | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/framework/specs.ss b/collects/framework/specs.ss index 600815b..00cd8d3 100644 --- a/collects/framework/specs.ss +++ b/collects/framework/specs.ss @@ -22,13 +22,21 @@ (syntax-case provide-stx () [(_ (id ctrct) ...) (andmap identifier? (syntax->list (syntax (id ...)))) - (with-syntax ([(id-rename ...) (generate-temporaries (syntax (id ...)))] + (with-syntax ([(id-rename ...) + (map (lambda (x) + (datum->syntax-object + provide-stx + (string->symbol + (format "provide/contract-id-~a-ACK-DONT_USE_ME" + (syntax-object->datum x))))) + (syntax->list (syntax (id ...))))] [(contract-id ...) (map (lambda (x) (datum->syntax-object provide-stx (string->symbol - (format "provide/contract-id-~a-ACK" (syntax-object->datum x))))) + (format "provide/contract-contract-id-~a-ACK-DONT_USE_ME" + (syntax-object->datum x))))) (syntax->list (syntax (id ...))))] [pos-blame-stx (datum->syntax-object provide-stx 'here)] [module-source-as-symbol (datum->syntax-object provide-stx 'module-source-as-symbol)])