rebcabin / masr

Meta ASR: replacement for aging ASDL
MIT License
4 stars 0 forks source link

Another `dimension` question #48

Open rebcabin opened 1 year ago

rebcabin commented 1 year ago

I want to tighten the spec for dimension to (informally)

(s/or [::integer-scalar, ::integer-scalar]
      [])

i.e., zero or two integer scalars, where a scalar has empty dimensions, instead of only

expr? start, expr? end

is that appropriate? In particular, could a dimension itself be an array, say of length 2?