Thanks Robby, Do I need to submit a bug report. Harry
On Thu, Nov 29, 2012 at 8:32 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > That looks like a bug to me. > > Robby > > On Thu, Nov 29, 2012 at 6:59 PM, Harry Spier <vasishtha.sp...@gmail.com> > wrote: >> Dear list members, >> >> Case 1 below doesn't give a contract violation but case 2 does. Is >> this desired behavour or is it a bug? >> >> In DrRacket >> Case 1 >> --------- >> #lang racket >> (provide (contract-out [ident-number (-> number? number?)])) >> (define (ident-number x) x) >> (module+ main >> (ident-number 'a)) >> >>> 'a >> >> >> Case 2 >> ------------ >> #lang racket >> (provide (contract-out [ident-number (-> number? number?)])) >> (define (ident-number x) x) >> (module+ main >> (require (submod "..")) >> (ident-number 'a)) >> >>> >> ident-number: contract violation >> expected: number? >> given: 'a >> in: the 1st argument of >> (-> number? number?) >> contract from: >> c:\users\harry\ocr_project\test2.rkt >> blaming: >> (c:\users\harry\ocr_project\test2.rkt main) >> at: c:\users\harry\ocr_project\test2.rkt:2.24 >> >> Thanks, >> Harry Spier >> ____________________ >> Racket Users list: >> http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
