Closed jackfirth closed 1 year ago
Are the CI failures for the PR something to be fixed, first? I'm not really clear on how this is supposed to work.
Yeah, this shouldn't be merged until it's passing. I'll mark it as a draft PR for now to make that clearer, and I'll investigate the failures when I get some time for it.
Closing this in favor of #350.
This is a similar pull request to racket/typed-racket#1250. @mflatt suggested the Scribble repository as another good project to try Resyntax on, since it's old, large, and frequently receives pull requests. See the typed racket pull request for details about what this change does. TL;DR: it runs Resyntax over pull requests and leaves github reviews with suggested improvements.