Open
Description
Tracker for changes that require making large, codebase-wide changes:
Leverage more Python functionality such as type-checking, dataclasses, and Python 3.10's pattern-matching (summarizing #12, #94, #105).
- Types: right now, we have a lot of boilerplate type checks, but we should utilize Python's type checking.
- Dataclasses are nice, and Python 3.10 has pattern-matching on dataclasses, which would be helpful.
Better LoopIR representation of configuration state (#178). @yamaguchi1024 has more context on this.
Cleaning up visitor implementations. We have several visitor implementations (eg. LoopIR_Do and LoopIR_Rewrite. Several of these could still be re-implemented using cursors. There also might be some bugs (#106?) in them.