IIUC, this is what Alex Knauth did in
https://github.com/mbutterick/txexpr/pull/8.
On Mon, Dec 30, 2019 at 7:07 PM Jack Firth wrote:
> If I'm making my own data types, one common thing I want to do is make
> smart constructors that double as match expanders. I could use
> `define-match-expander`
If I'm making my own data types, one common thing I want to do is make
smart constructors that double as match expanders. I could use
`define-match-expander` with two transformers, but then I can't add a
contract to the smart constructor with `contract-out`. If I try to write
this:
(provide
(
2 matches
Mail list logo