Re: [racket-dev] Bug in Typed Racket

On Sun, Nov 8, 2015 at 2:31 PM Sam Tobin-Hochstadt wrote: > Thanks for the report! I've got a fix here, which I'm still testing: > https://github.com/racket/typed-racket/pull/238 > This is now fixed in the git source. Sam > > On Sun, Nov 8, 2015 at 7:16 AM Antonio

Re: [racket-dev] Bug in Typed Racket

BTW, the following example typechecks: (define #:forall (A) (foo [f : (Real -> A)] [b : Boolean]) : (Listof A) (list (f 0.1) (f 0.2))) but the following example generates a lot of complaints: (define #:forall (A) (foo [f : (Real -> A)] [b : Boolean #t]) : (Listof A) (list (f 0.1) (f 0.2)))

Re: [racket-dev] Bug in Typed Racket

Thanks for the report! I've got a fix here, which I'm still testing: https://github.com/racket/typed-racket/pull/238 Sam On Sun, Nov 8, 2015 at 7:16 AM Antonio Menezes Leitao < antonio.menezes.lei...@ist.utl.pt> wrote: > Hi, > > The following example works fine: > > #lang racket > > (define v

[racket-dev] Bug in Typed Racket optimizer and snapshots

Hi, I recently found a strange behavior in Typed Racket, where immediately after type-checking my code, in generates an error that looks like this: ..\..\..\..\..\..\..\..\Program Files\Racket-6.2.900.10\share\pkgs\typed-racket-lib\typed-racket\static-contracts\optimize.rkt:158:6: