Savilerow errors on `set-of-sets_literal.essence`

[ozgurakgun]

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

---

running set-of-sets_literal.essence

language ESSENCE 2.0

letting y be {{2,3,4}}
find x : set (size 2) of set (size 3) of int(1..4)

such that
    y subsetEq x

produces 16 .eprime files, when ran in savilerow give a lot of errors, which did not happen previously.

***  set-of-sets_literal/0008.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0007.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0006.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0005.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0004.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0003.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0002.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0001.eprime  ***
Created output file set-of-sets_literal/0001.eprime.minion
Created solution file set-of-sets_literal/0001.eprime.solution

***  set-of-sets_literal/0015.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0014.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0012.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0011.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0010.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..3)] . (exists v__11 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__11] /\ (v__11=x_Explicit_Explicit[v__12, v__12]))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0013.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0009.eprime  ***
ERROR: In quantifier: (forall v__12 : [int(1..4)] . (x_Explicit_Occurrence[v__12, v__12] -> (exists v__11 : [int(1..3)] . (x_Explicit_Explicit[v__12, v__11]=v__12))))
ERROR: Identifier `v__12' is already defined.
ERROR: Failed type checking after substituting in lettings.

***  set-of-sets_literal/0016.eprime  ***
Created output file set-of-sets_literal/0016.eprime.minion
Created solution file set-of-sets_literal/0016.eprime.solution

---

• Bitbucket: https://bitbucket.org/stacs_cp/conjure-old/issue/52

[ozgurakgun]

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

---

Removing component: SavileRow (automated comment)

[ozgurakgun]

Original comment by Bilal Hussain (Bitbucket: Bilalh, GitHub: Bilalh):

---

eprime files with logs