teikalang / teika

MIT License
318 stars 7 forks source link

teika: drop language tree and elaborate straight from ctree #219

Closed EduardoRFS closed 2 months ago

EduardoRFS commented 2 months ago

Goals

Reduce the pipeline complexity and increase performance.

Context

The current Teika frontend is divided in 3 trees, Concrete Tree(Ctree), Language Tree(Ltree) and Typed / Teika Tree(Ttree).

This was done because previously elaboration and checking were coupled and were a bit more involved, but since #215 elaboration is done independently from checking, as such the Ltree is not providing any more of an abstraction than the elaborated but untyped Ttree.

Related