[racket] Contracts and submodules

Thanks Robby,

Do I need to submit a bug report.
Harry

On Thu, Nov 29, 2012 at 8:32 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> That looks like a bug to me.
>
> Robby
>
> On Thu, Nov 29, 2012 at 6:59 PM, Harry Spier <vasishtha.spier at 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