reproducing #443

src/Conjure/Language/Constant.hs

@@ -152,6 +152,8 @@ instance DomainSizeOf Constant Constant where
 
 instance Pretty Constant where
 
+    pretty (TypedConstant (ConstantAbstract (AbsLitMatrix _ [])) ty) | TypeAny `elem` universe ty = "[]"
+
     -- hack, oh sweet hack!
     -- print a domain instead of a type when printing an empty matrix literal.
     -- this means we print "int()" instead of "int" inside the index of a matrix type

tests/custom/issues/443/443-bool-typed.essence

@@ -0,0 +1,4 @@
+letting s be ([] : `matrix indexed by [int] of bool`)
+find a : bool
+such that
+a = s[1]

tests/custom/issues/443/443-bool.essence

@@ -0,0 +1,4 @@
+letting s be []
+find a : bool
+such that
+a = s[1]

tests/custom/issues/443/443-workaround.essence

@@ -0,0 +1,4 @@
+letting s be ([] : `matrix indexed by [int] of int`)
+find a : int(1..5)
+such that
+a = s[1]

tests/custom/issues/443/443.essence

@@ -0,0 +1,4 @@
+letting s be []
+find a : int(1..5)
+such that
+a = s[1]

tests/custom/issues/443/run.sh

@@ -0,0 +1,15 @@
+rm -rf conjure-output *.solution
+
+conjure solve 443-workaround.essence
+head -n6 conjure-output/model000001.eprime
+
+conjure solve 443.essence
+head -n6 conjure-output/model000001.eprime
+
+conjure solve 443-bool.essence
+head -n6 conjure-output/model000001.eprime
+
+conjure solve 443-bool-typed.essence
+head -n6 conjure-output/model000001.eprime
+
+rm -rf conjure-output *.solution

tests/custom/issues/443/stdout.expected

@@ -0,0 +1,52 @@
+Generating models for 443-workaround.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime
+Running minion for domain filtering.
+Running solver: minion
+No solutions found.
+language ESSENCE' 1.0
+
+find a: int(1..5)
+branching on [a]
+such that a = ([] : `matrix indexed by [int()] of int`)[1]
+
+Generating models for 443.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime
+Running minion for domain filtering.
+Running solver: minion
+No solutions found.
+language ESSENCE' 1.0
+
+find a: int(1..5)
+branching on [a]
+such that a = [][1]
+
+Generating models for 443-bool.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime
+Running minion for domain filtering.
+Running solver: minion
+No solutions found.
+language ESSENCE' 1.0
+
+find a: bool
+branching on [a]
+such that a = [][1]
+
+Generating models for 443-bool-typed.essence
+Generated models: model000001.eprime
+Saved under: conjure-output
+Savile Row: model000001.eprime
+Running minion for domain filtering.
+Running solver: minion
+Copying solution to: 443-bool-typed.solution
+language ESSENCE' 1.0
+
+find a: bool
+branching on [a]
+such that a = false
+