I've pushed a repair. Thanks for the report! At Tue, 20 Oct 2015 14:59:51 -0400, Asumu Takikawa wrote: > Hi all, > > I just got the following internal error: > > internal error: cannot copy taint armings from tainted source [during > expansion] > context...: > > /home/asumu/plt/racket-git/extra-pkgs/typed-racket/typed-racket-lib/typed-racke > t/base-env/class-prims.rkt:259:2: method-procedure? > dots-loop > temp192 > > /home/asumu/plt/racket-git/racket/collects/racket/private/class-internal.rkt:36 > 7:8: loop > > /home/asumu/plt/racket-git/racket/collects/racket/private/stxloc.rkt:21:17: > try-next > > /home/asumu/plt/racket-git/racket/collects/racket/private/class-internal.rkt:36 > 7:8: loop > > /home/asumu/plt/racket-git/racket/collects/racket/private/class-internal.rkt:67 > 9:4: main > > /home/asumu/plt/racket-git/extra-pkgs/typed-racket/typed-racket-lib/typed-racke > t/tc-setup.rkt:82:0: tc-module/full > > /home/asumu/plt/racket-git/extra-pkgs/typed-racket/typed-racket-lib/typed-racke > t/typed-racket.rkt:24:4 > > From trying to compile the following: > > #lang typed/racket > > (class object% > (define x 0) > (define-values (in) (open-input-file x)) > (super-new)) > > I wouldn't be surprised if TR's class macro is doing something bad, but is > there some macro > system breakage here too? > > (FWIW, on v6.2.1 the same code produces "cannot use identifier tainted by > macro transformation") > > Cheers, > Asumu > > -- > 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/20151020185951.GT17250%40simplyrob > ot.org. > For more options, visit https://groups.google.com/d/optout.
-- 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/5626f80b.019e6b0a.88eec.ffff951fSMTPIN_ADDED_MISSING%40mx.google.com. For more options, visit https://groups.google.com/d/optout.
