Add missing fixtures again

quint/testFixture/_1044matchExpression.json

@@ -0,0 +1 @@
+{"stage":"parsing","warnings":[],"modules":[{"id":34,"name":"SumTypes","defs":[{"id":4,"name":"T","kind":"typedef","type":{"id":4,"kind":"sum","fields":{"kind":"row","fields":[{"fieldName":"A","fieldType":{"id":1,"kind":"rec","fields":{"kind":"row","fields":[],"other":{"kind":"empty"}}}},{"fieldName":"B","fieldType":{"id":2,"kind":"int"}},{"fieldName":"C","fieldType":{"id":3,"kind":"str"}}],"other":{"kind":"empty"}}}},{"id":8,"kind":"def","name":"A","qualifier":"val","expr":{"id":7,"kind":"lambda","params":[],"qualifier":"val","expr":{"id":6,"kind":"variant","label":"A","expr":{"id":5,"kind":"app","opcode":"Rec","args":[]}}}},{"id":13,"kind":"def","name":"B","qualifier":"def","expr":{"id":12,"kind":"lambda","params":[{"id":9,"name":"__BParam"}],"qualifier":"def","expr":{"id":11,"kind":"variant","label":"B","expr":{"kind":"name","name":"__BParam","id":10}}}},{"id":18,"kind":"def","name":"C","qualifier":"def","expr":{"id":17,"kind":"lambda","params":[{"id":14,"name":"__CParam"}],"qualifier":"def","expr":{"id":16,"kind":"variant","label":"C","expr":{"kind":"name","name":"__CParam","id":15}}}},{"id":21,"kind":"def","name":"c","qualifier":"val","expr":{"id":20,"kind":"app","opcode":"C","args":[{"id":19,"kind":"str","value":"Foo"}]}},{"id":33,"kind":"def","name":"ex","qualifier":"val","expr":{"id":27,"kind":"match","expr":{"id":22,"kind":"name","name":"c"},"cases":[{"label":"A","elim":{"id":28,"kind":"lambda","qualifier":"def","expr":{"id":23,"kind":"int","value":0},"params":[{"name":"_","id":29}]}},{"label":"B","elim":{"id":30,"kind":"lambda","qualifier":"def","expr":{"id":24,"kind":"name","name":"n"},"params":[{"name":"n","id":31}]}},{"label":"_","elim":{"id":32,"kind":"lambda","qualifier":"def","expr":{"id":26,"kind":"app","opcode":"iuminus","args":[{"id":25,"kind":"int","value":1}]},"params":[]}}]}}]}],"table":{"10":{"kind":"param","reference":9},"15":{"kind":"param","reference":14},"20":{"kind":"def","reference":18},"22":{"kind":"def","reference":21},"24":{"kind":"param","reference":31}}}

quint/testFixture/_1044matchExpression.map.json

@@ -0,0 +1 @@
+{"sourceIndex":{"0":"mocked_path/testFixture/_1044matchExpression.qnt"},"map":{"1":[0,{"line":1,"col":11,"index":29},{"line":1,"col":11,"index":29}],"2":[0,{"line":1,"col":17,"index":35},{"line":1,"col":19,"index":37}],"3":[0,{"line":1,"col":26,"index":44},{"line":1,"col":28,"index":46}],"4":[0,{"line":1,"col":2,"index":20},{"line":1,"col":29,"index":47}],"5":[0,{"line":1,"col":11,"index":29},{"line":1,"col":11,"index":29}],"6":[0,{"line":1,"col":11,"index":29},{"line":1,"col":11,"index":29}],"7":[0,{"line":1,"col":11,"index":29},{"line":1,"col":11,"index":29}],"8":[0,{"line":1,"col":11,"index":29},{"line":1,"col":11,"index":29}],"9":[0,{"line":1,"col":17,"index":35},{"line":1,"col":19,"index":37}],"10":[0,{"line":1,"col":15,"index":33},{"line":1,"col":15,"index":33}],"11":[0,{"line":1,"col":15,"index":33},{"line":1,"col":20,"index":38}],"12":[0,{"line":1,"col":15,"index":33},{"line":1,"col":20,"index":38}],"13":[0,{"line":1,"col":15,"index":33},{"line":1,"col":20,"index":38}],"14":[0,{"line":1,"col":26,"index":44},{"line":1,"col":28,"index":46}],"15":[0,{"line":1,"col":24,"index":42},{"line":1,"col":24,"index":42}],"16":[0,{"line":1,"col":24,"index":42},{"line":1,"col":29,"index":47}],"17":[0,{"line":1,"col":24,"index":42},{"line":1,"col":29,"index":47}],"18":[0,{"line":1,"col":24,"index":42},{"line":1,"col":29,"index":47}],"19":[0,{"line":3,"col":12,"index":62},{"line":3,"col":16,"index":66}],"20":[0,{"line":3,"col":10,"index":60},{"line":3,"col":17,"index":67}],"21":[0,{"line":3,"col":2,"index":52},{"line":3,"col":17,"index":67}],"22":[0,{"line":5,"col":17,"index":87},{"line":5,"col":17,"index":87}],"23":[0,{"line":6,"col":14,"index":105},{"line":6,"col":14,"index":105}],"24":[0,{"line":7,"col":14,"index":121},{"line":7,"col":14,"index":121}],"25":[0,{"line":8,"col":15,"index":138},{"line":8,"col":15,"index":138}],"26":[0,{"line":8,"col":14,"index":137},{"line":8,"col":15,"index":138}],"27":[0,{"line":5,"col":11,"index":81},{"line":9,"col":72,"index":142}],"28":[0,{"line":6,"col":6,"index":97},{"line":6,"col":14,"index":105}],"29":[0,{"line":6,"col":6,"index":97},{"line":6,"col":6,"index":97}],"30":[0,{"line":7,"col":6,"index":113},{"line":7,"col":14,"index":121}],"31":[0,{"line":7,"col":6,"index":113},{"line":7,"col":9,"index":116}],"32":[0,{"line":8,"col":6,"index":129},{"line":8,"col":15,"index":138}],"33":[0,{"line":5,"col":2,"index":72},{"line":9,"col":72,"index":142}],"34":[0,{"line":0,"col":0,"index":0},{"line":10,"col":144,"index":144}]}}

quint/testFixture/_1044matchExpression.qnt

@@ -0,0 +1,11 @@
+module SumTypes {
+  type T = A | B(int) | C(str)
+
+  val c = C("Foo")
+
+  val ex = match c {
+    | A    => 0
+    | B(n) => n
+    | _    => -1
+  }
+}