Repository navigation
First cut at some Typed Racket refactorings #13
Description
Here are some ideas for using resyntax on Typed Racket code. These are quite superficial and don't depend on any knowledge of the types.
-
Singleton union types: rewrite the type
(U t)to justt. -
Replace
define-type-aliaswithdefine-type. -
Replace
define-typed-structanddefine-typed-struct:(with a colon at the end) withstruct. -
Replace
UnwithU.
This is just a sampler of legacy forms taken from here.
Activity
jackfirth commentedon Jan 12, 2021
Typed Racket ones are tricky because I need to figure out where the rules should live. If they go in
resyntax, thenresyntaxneeds a dependency on TR. If they go in TR, or some sort of resyntax-for-TR addon, then I need to figure out a way forresyntaxto discover the rules. Maybe for now I just shove them intoresyntaxand see how that goes.jackfirth commentedon Oct 3, 2024
There's been a little progress here: it is now possible to define third-party refactoring rules using the
resyntax/baseAPI. So making some Typed Racket refactoring rules is something anyone can do. I haven't attempted yet, however.