Stephen Chang
Stephen Chang
`gen:printable` would work for runtime. During typechecking, we're printing stx objects, which do not work with `gen:printable`. That's why we have the generic type methods. Overloading the `resugar-type` method might...
Ok, `gen:print` is fine for the repl. Though `define-type` currently doesnt let you get at the internal `struct` definition. We should probably open a separate ticket for Turnstile to do...
related https://github.com/wilbowma/cur/issues/117
Agree. Do you want to make the lists of what goes in what lang?
Ok u want me to submit pr?
`define-implicit` already defines a new pattern expander. Would it be sufficient if this new pattern matcher also matches the old (explicit) constructors?
Yeah using `free-id=?` might not work because the pattern id is different from the constructor ids (in the match-info). Are you implementing Coquand's algorithm for totality checking?
The function with implicit args would have to cooperate with `#%app` somehow. It's doable, but then I think `define-implicit` would have to be part of the core and not a...
Yes, that might be ok but we could run into the diamond problem if a program uses this and another library that overloads `#%app`.
Sounds reasonable.