[plt-dev] Re: [plt-scheme] New contract-related features

At Sun, 15 Feb 2009 22:51:33 -0500, Stevie Strickland wrote:
> On Feb 15, 2009, at 6:51 PM, Matthias Felleisen wrote:
> > I am sorry, but
> >
> >> Welcome to DrScheme, version 4.1.4.3-svn13feb2009 [3m].
> >> Language: Module; memory limit: 128 megabytes.
> >> . begin (possibly implicit): no expression after a sequence of  
> >> internal definitions in: ((define-syntax current-contract-region11  
> >> (convert-renamer (λ (stx) (syntax (quote (region f1)))))) (expand- 
> >> ssp-body (current-contract-region1) (current-contract-region11)  
> >> (with-contract-helper #<procedure:syntax-introducer> (quote (region  
> >> f1)) ((g number?)) () (define g 10))))
> >> >
> >
> > is indefensible.
> 
> Well, with the following patch, for:
> 
>    (define (f x)
>      (with-contract f1
>        ((y number?))
>        (define y x)))
> 
> I get:
> 
>    begin (possibly implicit): no expression after a sequence of  
> internal definitions in: ((with-contract f1 ((y number?)) (define y x)))

Patch committed.