1. Open Dr Racket 6.10 or 7.0. Definitions is simply #lang typed/racket\n<eof>
2. Press the Debug button. Errors in each:
3. 6.10: ../../Applications/Racket_v6.10/collects/racket/private/pre-base.rkt:207:39: module: cannot use identifier tainted by macro transformation in: module
4. 7.0: ../../Applications/Racket_v7.0/collects/racket/private/pre-base.rkt:182:64: ?: cannot bind from tainted syntax in: (quote #%kernel)

Is this an issue for Typed Racket or for Dr Racket (to which repo should I report)?

Oh this hasn’t worked “forever”. 6.10 style error also in 6.5 and 6.7.

@greg this is probably an issue in the debugger, rather than in typed racket, but the actual buggy code could be in lots of places

in general the debugger ought to be able to debug any program

@samth Thanks I’ll report on https://github.com/racket/drracket

I’m looking at this syntax parse example (syntax-parse #'(a b 3) [(x:id ...) 'ok]) What is the “id” in “x:id”?

@plotnus it’s the name of a syntax class

http://docs.racket-lang.org/syntax/Library_Syntax_Classes_and_Literal_Sets.html?q=id#%28form._%28%28lib._syntax%2Fparse..rkt%29._id%29%29

@samth the docs don’t say much besides “id” being an alias for “identifier” then that “identifier” is a syntax class. Where can I find a definition of “identifier”?

What the docs are saying for identifier is that it’s a syntax class that matches things that are identifier?

http://docs.racket-lang.org/reference/stxops.html?q=identifier%3F#%28def._%28%28lib._racket%2Fprivate%2Fstx..rkt%29._identifier~3f%29%29

@samth awesome. thanks for the help!