On 2015-05-08 17:26:05 -0400, Alexander D. Knauth wrote:
> I get this strange error message:
> . . ../../../../../Applications/Racket/April-24/Racket 
> v6.2.0.2/collects/racket/contract/private/blame.rkt:143:0: x: broke its 
> contract
>   promised: #f
>   produced: 3
>   in: #f
>   contract from: (interface for x)
>   blaming: (interface for x)
>    (assuming the contract is correct)
>   at: /Users/Alex/Documents/DrRacket/tr-submod-error/lib.rkt:7.18

My guess is that the contract generation phase doesn't see that there are
contracts that need to be generated in the submodule. The definitions for
generated contracts default to #f.

Can you submit this as a TR bug?

Cheers,
Asumu

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to