Regions: Implementation

[jdahm]

Description

Implements the GDP-2 region() feature in:

• GTScript frontend
• Definition IR, infos, and Implementation IR
• Python backends (debug, numpy)

To do:

• Add ability to parse region() in the gtscript frontend
• Add parsing tests
• Lower to IIR
• Implement in numpy backend
• Implement in the debug backend
• Add integration test for feature

[mcgibbon]

You mentioned there's a lot of converting between different representations of "interval", it may be worth formalizing these representations into classes and providing conversion class methods NewClass.from_old_class(old_instance) to make it clear which representation is used (through type hints).

[jdahm]

You mentioned there's a lot of converting between different representations of "interval", it may be worth formalizing these representations into classes and providing conversion class methods NewClass.from_old_class(old_instance) to make it clear which representation is used (through type hints).

I started by making a class with a few classmethods and converters, but exposing that in the gtscript frontend file causes some circular dependencies, because it's meant to lower representations throughout the compilation process, and the dependencies mirror that.

I cleaned up the conversions as best I could using separate methods and a wrapper Region class.

[jdahm]

Closing for now, but I will open another one soon.