search

michaelballantyne / syntax-spec

A metalanguage for creating sophisticated DSLs in Racket.
Other
26 stars 6 forks source link

add ellipsized implicits #33

Open quasarbright opened 1 month ago

quasarbright commented 1 month ago

currently, implicit binding specs are added after the static ellipsis check and are not ellipsized. Thus, they have the old for/tree behavior. Instead, we should add implicits that have proper ellipses.

quasarbright commented 1 month ago

also try to get rid of runtime for/pv-state-tree since we're doing static ellipses