search

sschober / mato

MArkdown TransfOrmer Framework
MIT License
2 stars 0 forks source link

Processing: enhance canonicalizer to implement more simplifications #32

Open sschober opened 1 year ago

sschober commented 1 year ago

We could imagine, that

Cat(Lit(L1),Lit(L2))

Could be simplified to just

Lit(L1L2)

Maybe other reductions apply.

sschober commented 1 year ago

But I don't know if simplifying the AST is a favorable goal in and of itself. Higher granularity would be beneficial for a formatter.