Re: [racket-users] Prefab and contracts

2018-03-21 Thread 'Paulo Matos' via Racket Users
On 21/03/18 08:46, 'Paulo Matos' via Racket Users wrote: > Thanks for pointing that out. I hadn't noticed that. It certainly sounds > like an issue to me. > Opened #2001: https://github.com/racket/racket/issues/2001 -- Paulo Matos -- You received this message because you are subscribed to t

Re: [racket-users] Prefab and contracts

2018-03-21 Thread 'Paulo Matos' via Racket Users
On 20/03/18 16:25, Daniel Feltey wrote: > The same behavior occurs with vectors, the program > >   (define v (vector 1 2)) >   (define/contract vc (vectorof integer?) (vector 1 2)) >   (place-message-allowed? v) >   (place-message-allowed? vc) > > Produces: > > #t > #f > > I think the issue h

Re: [racket-users] Prefab and contracts

2018-03-20 Thread Daniel Feltey
The same behavior occurs with vectors, the program (define v (vector 1 2)) (define/contract vc (vectorof integer?) (vector 1 2)) (place-message-allowed? v) (place-message-allowed? vc) Produces: #t #f I think the issue here is that both contracted vectors and structs are wrapped in chape

[racket-users] Prefab and contracts

2018-03-20 Thread 'Paulo Matos' via Racket Users
Hello, In a similar comment to my previous thread, I am yet again surprised at this: a.rkt: #lang racket (provide (struct-out foo)) (struct foo (a b) #:prefab) b.rkt: #lang racket (require "a.rkt") (place-message-allowed? (foo 1 2)) This works! However, try to provide in a.rkt foo like