In stableHLO symbolic shapes are possible, e.g. c(1, a, 2, a).
This didn't have priority yet, because these always need to be refined before executing a (uncompiled) program.
However, to integrate quickr as a fortran backend to anvil, we do want support for symbolic shapes, as fortran doesn't have the static shape requirement that xla (currently) has.
We should therefore make the data for the shape a list in the Shape class.
In stableHLO symbolic shapes are possible, e.g.
c(1, a, 2, a).This didn't have priority yet, because these always need to be refined before executing a (uncompiled) program.
However, to integrate
quickras a fortran backend toanvil, we do want support for symbolic shapes, as fortran doesn't have the static shape requirement that xla (currently) has.We should therefore make the data for the shape a list in the
Shapeclass.