I'm not clear on what constraints you're working under with respect to modules, but hopefully you can adapt this to your needs.
One option is to use a combination of `define-module-boundary-contract` (or `define/contract`) and `define-match-expander` to bind a name that can be used as a contracted constructor and as a match pattern. (If you want to extend the struct type, though, you still need to use the real one.) Another option would be to "forge" a new compile-time struct-info based on the original struct-info but replacing the constructor. Minimally tested sample implementations attached. Ryan On Mon, May 10, 2021 at 12:23 AM Sage Gerard <[email protected]> wrote: > I have a project with 57 prefab structure types. I need to construct > instances using a *local* contract (module level contracts do not fit my > needs here). Since I cannot define guards, the solution is easy enough. > (struct foo (num) #:prefab) > (define/contract make-foo (-> real? foo?) foo) > > Problem: I already have a few hundred constructor calls without contracts. > I could either A) rewrite them all to use contracted constructors, or B) > attach local contracts in a sweet spot so that I don't have to rewrite > anything else. > > I prefer option B, but it doesn't look like I can attach a local contract > to a constructor with `struct` alone, or even with an impersonator. When I > hack around to rebind or hide the constructor's identifier, I break > compatibility with `match` and `defstruct*`. > > If you were in my position, what would you do? > -- > > ~slg > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/0a16cfbe-4789-a939-796e-5f6f9da21626%40sagegerard.com > <https://groups.google.com/d/msgid/racket-users/0a16cfbe-4789-a939-796e-5f6f9da21626%40sagegerard.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CANy33qmngGoVoAok6%2BR885jkh8MroMqYHpOd6XtjCSH7iiESQA%40mail.gmail.com.
prefab-contract.rkt
Description: Binary data
