From e2c770ab452299a05a09c3be56c50a39cfe8ffac Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 12 Sep 2008 16:39:11 +0000 Subject: [PATCH] So we _can_ do this, but since provides/requires are between modules, and thus it's the enclosing module that made the contract here, we should blame it for the misuse, not the contract boundary in which the call was made (though further thought should be put towards this). svn: r11687 --- collects/scheme/private/contract.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/scheme/private/contract.ss b/collects/scheme/private/contract.ss index 9c27a916da..61f804f9d6 100644 --- a/collects/scheme/private/contract.ss +++ b/collects/scheme/private/contract.ss @@ -274,8 +274,7 @@ improve method arity mismatch contract violation error messages? #`(-contract contract-id id pos-module-source - (or '#,(syntax-parameter-value #'current-contract-region) - (module-source-as-symbol #'name)) + (module-source-as-symbol #'name) #,(id->contract-src-info #'id))))))]) (when key (hash-set! saved-id-table key lifted-id))