exo-lang / exo

Exocompilation for productive programming of hardware accelerators
https://exo-lang.dev
MIT License
307 stars 28 forks source link

Prevent incomplete indices from pattern matching #651

Closed skeqiqevian closed 3 months ago

skeqiqevian commented 6 months ago

I'm not sure if this was previously an intentional choice, but it feels weird that something like x[i] can successfully match with x[i, j].

skeqiqevian commented 3 months ago

Turned out to be a bigger can of worms than I thought, so I'm going to close it.