Open jessealama opened 3 years ago
Typed Racket isn't really supported by review because review doesn't expand the code it lints, so I'd have to bake in a bunch of typed-racket-specific rules into it and I don't know if I'd want to do that because I don't use TR atm.
Thanks for thinking about this. I realize TR is a bit off the radar for review. I'm also willing to take a look at the issue and see if I can fix it.
Take a look at this Typed Racket code:
Putting aside that this code doesn't quite pass the type checker, what's puzzling is that when this code is passed through
review
, it generates a warning:This seems wrong to me. Sure, there are two
lambda
s there with the same formal parameter, but the second one surely doesn't shadow the first. It's not even in the same scope.When you turn this into a plain Racket module,
review
doesn't complain.It seems to me that TR is either rewriting the code before
review
sees it, or perhaps there's an issue somewhere inreview
? Do you have some advice for getting rid of this warning?