Correctly handle type inference of substitution rules

inducer / loopy

A code generator for array-based code on CPUs and GPUs

http://mathema.tician.de/software/loopy

MIT License

565 stars 71 forks source link

Closed kaushikcfd closed 1 year ago

kaushikcfd commented 1 year ago

My understanding of RuleAwareIdentityMapper was unclear, which was why I introduced the bug. I fixed it now. (Hopefully, the CI agrees)

Fixes #746.

inducer commented 1 year ago

Thx!