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

Have provide/contract-transformers appropriately check to see whether we

Browse Source 
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
This commit is contained in:
Stevie Strickland 2008-09-12 14:51:26 +00:00
parent fa92cb2677
commit 33d3cb7cd0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/scheme/private/contract.ss
View File

@ -265,7 +265,8 @@ improve method arity mismatch contract violation error messages?
#`(-contract contract-id #`(-contract contract-id
id id
pos-module-source 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))))))]) #,(id->contract-src-info #'id))))))])
(when key (when key
(hash-set! saved-id-table key lifted-id)) (hash-set! saved-id-table key lifted-id))