monadiccp icon indicating copy to clipboard operation
monadiccp copied to clipboard

Cannot process EGMod

Open jwaldmann opened this issue 5 years ago • 1 comments

cabal test monadiccp-vuza for 9da3818ea2354eb51328cb8f39c4c24d391ccb92 gives

Test suite monadiccp-vuza: RUNNING...
monadiccp-vuza: Cannot process EGMod
CallStack (from HasCallStack):
  error, called at src/Control/CP/FD/FD.hs:978:28 in monadiccp-0.7.7-inplace:Control.CP.FD.FD

indeed the Mod operation is missing here: https://github.com/letmaik/monadiccp/blob/master/src/Control/CP/FD/OvertonFD/OvertonFD.hs#L300

jwaldmann avatar Nov 01 '20 14:11 jwaldmann

for this example, I can work around with c8adfa68b32de4561b489977b9e0fd84c70fec7e

But then, Cannot process EGLess True

jwaldmann avatar Nov 01 '20 14:11 jwaldmann