Closed capfredf closed 3 years ago
I think the right fix for check-info-test.rkt
and standalone.rkt
is provided by @AlexKnauth in #142
Awesome. I will revert my fix.
@sorawee do you think it is safe to merge this pr or should I wait until #142 is merged?
Yes, I think it can be merged. It doesn't cause more problems than what we already have.
@sorawee can you help merge this pr?
Unfortunately no, I don't have a right to do that. Perhaps ask @samth or @jackfirth?
related to https://github.com/racket/typed-racket/pull/1114/