We shouldn't blame the context for both positive and negative here -- the

positive blame should be the struct itself.  We'll get that blame via
(current-contract-region), since the expression is within the with-contract.

svn: r15890
This commit is contained in:
Stevie Strickland 2009-09-05 17:33:28 +00:00
parent 03be1db63e
commit 3c5511e5b0

View File

@ -385,7 +385,7 @@ improve method arity mismatch contract violation error messages?
#:guard (-contract (-> super-contracts ... non-auto-contracts ... symbol? any)
guard
blame-id blame-id
(current-contract-region) blame-id
#'maker)))))))))]
[(_ name . bad-fields)
(identifier? #'name)