Summary

Clean up the expander a bit

Metadata

Description

Currently the expander is full of hooks and hacks, mostly for maintaining the line number database and various syntactic environments. It would be nice if we can clean things up a bit. A few ideas:

Changes and comments

[2019-04-07 12:23:24 UTC] sjamaan changed milestone from 5.1 to 5.2

[2019-04-07 12:23:24 UTC] sjamaan wrote:

Getting ready for 5.1, moving tickets which won't make it in to 5.2.

[2019-08-25 17:49:21 UTC] felix changed milestone from 5.2 to 5.3

[2021-04-12 13:25:50 UTC] sjamaan changed milestone from 5.3 to 5.4

[2023-11-06 23:08:03 UTC] felix changed milestone from 5.4 to 6.0.0