Hi, I have a program written in typed/racket. Before I try to create a MWE, I would like to know if anyone recognizes the following behavior. Just for reference, (all-shapes) returns a list of line structs. The predicate line? confirms this for the first element of the list.
Welcome to DrRacket, version 6.2.900.17--2015-09-20(6dfc20d/a) [3m]. Language: typed/racket; memory limit: 4096 MB. > (define shapes (all-shapes)) > (line? (car shapes)) - : Boolean #t > (if (line? (car shapes)) 1 2) - : Integer [more precisely: Positive-Byte] 2 Obviously, I was expecting 1 as a result. BTW, the same program that is written in typed/racket, when used from (untyped) racket, works as expected: Welcome to DrRacket, version 6.2.900.17--2015-09-20(6dfc20d/a) [3m]. Language: racket; memory limit: 4096 MB. > (define shapes (all-shapes)) > (line? (car shapes)) #t > (if (line? (car shapes)) 1 2) 1 Is there anything I should be looking for in my forthcoming debugging session? Best, António. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAJQmiZUJ%2BJhX5vN0w285Mr9NZv%3DjhOe7MpPJwqca-Qi0_EGx%2Bw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
