From 33d3cb7cd0c7c59c44f443fe9590bd284194fa32 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 12 Sep 2008 14:51:26 +0000 Subject: [PATCH] Have provide/contract-transformers appropriately check to see whether we are within a with-contract scope. Not quite sure if this code is 100% correct (in terms of being written apprropiately), but it does the job for now. svn: r11676 --- collects/scheme/private/contract.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scheme/private/contract.ss b/collects/scheme/private/contract.ss index 63b4a932f4..743ff5fff8 100644 --- a/collects/scheme/private/contract.ss +++ b/collects/scheme/private/contract.ss @@ -265,7 +265,8 @@ improve method arity mismatch contract violation error messages? #`(-contract contract-id id pos-module-source - (module-source-as-symbol #'name) + (or '#,(syntax-parameter-value #'current-contract-region) + (module-source-as-symbol #'name)) #,(id->contract-src-info #'id))))))]) (when key (hash-set! saved-id-table key lifted-id))