miking-lang / miking

Miking - the meta viking: a meta-language system for creating embedded languages
Other
51 stars 31 forks source link

Retain info and ty fields more in shallow #853

Closed elegios closed 3 months ago

elegios commented 3 months ago

This keeps better ty and info fields throughout the shallow pattern transform, which might mean that we can remove ty-annot.