search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

msetIn.essence #17

Closed ozgurakgun closed 7 years ago

ozgurakgun commented 11 years ago

Originally reported by: Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh)

Using 0001.eprime of msetIn.essence in savilerow causes:

ERROR: 'And' contains something other than a relation:x_Occurrence[v__2]
ERROR: Failed type checking after substituting in lettings.
ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

Removing component: SavileRow (automated comment)

ozgurakgun commented 11 years ago

Original comment by Özgür Akgün (Bitbucket: ozgurakgun, GitHub: ozgurakgun):

This one works now. Was a bug in the MSetOccurrence rules. Fixed now.

Thanks for reporting.

(I'll push the changes later today)