Inference failure about camfort

[madgen]

So basically, equalModuloFwdBwd is called with two lists of regions of unequal length. Where are dependent types when you need them, amirite?

[dorchard]

This appears to not be a problem anymore. CamFort infers:

failing.f90
((7,7),(8,60))  stencil readOnce, (forward(depth=1, dim=1, irreflexive)) + (forward(depth=1, dim=1))*(forward(depth=2, dim=2)) :: a

equalModuloFwdBwd got some rewrites as part of the front-end simplifier so I guess that fixed it.