It appears to me that the ^-^ operator associates to the right meaning that if I write
myConstraint = ((var "a") ^-^ (var "b") ^-^ (var "c")) `leqTo` 5
this will somwhat unintuitively be interpreted as
The expected behaviour would be for ^-^ to associate to the left:
I do recognize this repository is pretty much inactive and the issue looks easy enough to fix so I will take a look at it if I can find the time. I just thought I leave that note here just in case someone else stumbles over this problem.
It appears to me that the ^-^ operator associates to the right meaning that if I write
this will somwhat unintuitively be interpreted as
The expected behaviour would be for ^-^ to associate to the left:
I do recognize this repository is pretty much inactive and the issue looks easy enough to fix so I will take a look at it if I can find the time. I just thought I leave that note here just in case someone else stumbles over this problem.