Internal error about copying taint armings

[Asumu Takikawa]

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-racket/base-env/class-prims.rkt:259:2: method-procedure?
dots-loop
temp192
/home/asumu/plt/racket-git/racket/collects/racket/private/class-internal.rkt:367: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:367:8: loop
/home/asumu/plt/racket-git/racket/collects/racket/private/class-internal.rkt:679:4: main
/home/asumu/plt/racket-git/extra-pkgs/typed-racket/typed-racket-lib/typed-racket/tc-setup.rkt:82:0: tc-module/full
/home/asumu/plt/racket-git/extra-pkgs/typed-racket/typed-racket-lib/typed-racket/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

[Matthew Flatt]

I've pushed a repair. Thanks for the report!

> --
> 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 racket-dev+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> 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.