Update regression-new test harness for pyk, enable checks directory again

.github/workflows/test-pr.yml

@@ -330,7 +330,7 @@ jobs:
       - name: 'Run K regression tests'
         run: |
           docker exec -u user k-pyk-regression-${{ github.sha }} uv sync
-          docker exec -u user k-pyk-regression-${{ github.sha }} make test-regression-new -j4
+          docker exec -u user k-pyk-regression-${{ github.sha }} make test-regression-new -j8
       - name: 'Tear down Docker'
         if: always()
         run: |

pyk/regression-new/.gitignore

@@ -1 +1,2 @@
 *-kompiled/
+.depend-tmp

pyk/regression-new/bison-glr-bug/iele.k

@@ -307,7 +307,7 @@ module IELE-COMMON
   syntax ContractDeclaration  ::=
     "external" "contract" IeleName
   syntax GlobalDefinition  ::=
-    GlobalName "=" IntConstant [symbol(globalDefinition)]
+    GlobalName "=" IntConstant [klabel(globalDefinition)]
   syntax FunctionSignature  ::=
     GlobalName "(" FunctionParameters ")"
   syntax FunctionParameters  ::=

pyk/regression-new/checkWarns/configVarInitial.k

@@ -0,0 +1,15 @@
+module CONFIGVARINITIAL-SYNTAX
+endmodule
+
+module CONFIGVARINITIAL
+imports CONFIGVARINITIAL-SYNTAX
+
+configuration <k> $PGM </k>
+              <goods>
+	        <good multiplicity="*" type="Set" initial=""> $FOO </good>
+	      </goods>
+	      <bads>
+	        <bad multiplicity="*" type="Set"> $FOO </bad>
+	      </bads> 
+
+endmodule

pyk/regression-new/checkWarns/configVarInitial.k.out

@@ -0,0 +1,4 @@
+[Error] Compiler: Configuration variable found in declaration of collection cell <bad>. Implicitly, this causes the initial configuration to start with one <bad> element instead of zero. Add the `initial=""` attribute to make that behavior explicit.
+[Error] Compiler: Had 1 parsing errors.
+[ERROR] Running process failed with returncode 113:
+    kompile configVarInitial.k --md-selector k --emit-json --backend haskell --output-definition configVarInitial-kompiled --type-inference-mode checked --warnings all --warnings-to-errors --no-exc-wrap

pyk/regression-new/checkWarns/noEvaluatorsExhaustive.k

@@ -0,0 +1,9 @@
+module NOEVALUATORSEXHAUSTIVE-SYNTAX
+    imports INT-SYNTAX
+    syntax Int ::= foo ( Int ) [function, total, no-evaluators]
+endmodule
+
+module NOEVALUATORSEXHAUSTIVE
+    imports NOEVALUATORSEXHAUSTIVE-SYNTAX
+    rule <k> 0 => foo(0) </k>
+endmodule

pyk/regression-new/checkWarns/nonUniqueOverload.k

@@ -0,0 +1,48 @@
+module NONUNIQUEOVERLOAD-SYNTAX
+endmodule
+
+module WARNS
+  syntax Foo1 ::= Foo2
+
+  syntax Foo1 ::= "foo" Foo1 [overload(foo), unused]
+  syntax Foo2 ::= "foo" Foo2 [overload(foo), unused]
+
+  syntax Foo1 ::= "foo" Foo1 Foo1 [overload(foo), unused]
+  syntax Foo2 ::= "foo" Foo2 Foo2 [overload(foo), unused]
+endmodule
+
+module WASM-REPRO
+    syntax EmptyStmt
+
+    syntax Instr ::= EmptyStmt
+    syntax Defn  ::= EmptyStmt
+    syntax Stmt  ::= Instr | Defn
+ // -----------------------------
+
+    syntax EmptyStmts ::= List{EmptyStmt , ""} [overload(listStmt), terminator-symbol(".List{\"listStmt\"}"), unused]
+    syntax Instrs     ::= List{Instr     , ""} [overload(listStmt), unused]
+    syntax Defns      ::= List{Defn      , ""} [overload(listStmt), unused]
+    syntax Stmts      ::= List{Stmt      , ""} [overload(listStmt), unused]
+ // -------------------------------------------------------------
+
+    syntax Instrs ::= EmptyStmts
+    syntax Defns  ::= EmptyStmts
+    syntax Stmts  ::= Instrs | Defns
+endmodule
+
+module NOWARNS
+  imports DOMAINS
+  imports WASM-REPRO
+
+  syntax Exp  ::= Int | Id
+
+  syntax Exps ::= List{Exp, ","} [overload(exps), unused]
+  syntax Ids  ::= List{Id, ","}  [overload(exps), unused]
+
+  syntax Exps ::= Ids
+endmodule
+
+module NONUNIQUEOVERLOAD
+  imports WARNS
+  imports NOWARNS
+endmodule

pyk/regression-new/checkWarns/nonUniqueOverload.k.out

@@ -0,0 +1,13 @@
+[Error] Compiler: Overload `foo` is not unique. Consider renaming one of the overload sets with this key.
+	Source(nonUniqueOverload.k)
+	Location(7,19,7,53)
+	7 |	  syntax Foo1 ::= "foo" Foo1 [overload(foo), unused]
+	  .	                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Overload `foo` is not unique. Consider renaming one of the overload sets with this key.
+	Source(nonUniqueOverload.k)
+	Location(10,19,10,58)
+	10 |	  syntax Foo1 ::= "foo" Foo1 Foo1 [overload(foo), unused]
+	   .	                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Had 2 errors after compilation.
+[ERROR] Running process failed with returncode 113:
+    kompile nonUniqueOverload.k --md-selector k --emit-json --backend haskell --output-definition nonUniqueOverload-kompiled --type-inference-mode checked --warnings all --warnings-to-errors --no-exc-wrap

pyk/regression-new/checkWarns/singletonOverload.k

@@ -1,11 +1,35 @@
 module SINGLETONOVERLOAD-SYNTAX
 endmodule
 
-module SINGLETONOVERLOAD
+module WARNS
   imports ID
 
   syntax LVal ::= L() [unused]
                 | LVal "." Id [unused, overload(_.)]
   syntax Exp  ::= LVal
                 | Exp  "." Id [unused, overload(_._)]
 endmodule
+
+module NOWARNS
+  imports DOMAINS
+
+  syntax Foo  ::= "foo" | "bar"
+  syntax Foos ::= List{Foo, ","}
+
+  syntax Bool ::= test(Foo)   [function, overload(test)]
+                | test(Foos)  [function, overload(test)]
+
+  rule test(foo) => true
+  rule test(bar) => false
+
+  rule test(F, Rest) => test(F) andBool test(Rest)
+  rule test(.Foos) => true
+
+  syntax KItem ::= disambiguate(KItem, KItem) [overload(disambiguate), unused]
+                 | disambiguate(List, Set)    [overload(disambiguate), unused]
+endmodule
+
+module SINGLETONOVERLOAD
+  imports WARNS
+  imports NOWARNS
+endmodule

pyk/regression-new/checkWarns/symbolKLabel.k

@@ -0,0 +1,22 @@
+module SYMBOLKLABEL-SYNTAX
+endmodule
+
+module PW1
+  syntax Foo ::= "foo" [klabel(foo), symbol, unused]
+endmodule
+
+module PW2
+    syntax Foo ::= "foo" [klabel(foo), unused]
+endmodule
+
+module PW3
+    syntax Foo ::= Bar
+    syntax Foo ::= "foo" Foo [klabel(foo), unused]
+    syntax Bar ::= "foo" Bar [klabel(foo), unused]
+endmodule
+
+module SYMBOLKLABEL
+  imports PW1
+  imports PW2
+  imports PW3
+endmodule

pyk/regression-new/checkWarns/symbolKLabel.k.out

@@ -0,0 +1,23 @@
+[Error] Compiler: The zero-argument form of `symbol` is deprecated. Replace `klabel(foo), symbol` by `symbol(foo)`.
+	Source(symbolKLabel.k)
+	Location(5,18,5,53)
+	5 |	  syntax Foo ::= "foo" [klabel(foo), symbol, unused]
+	  .	                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Attribute `klabel(_)` is deprecated. Either remove `klabel(foo)`, or replace it by `symbol(foo)`.
+	Source(symbolKLabel.k)
+	Location(9,20,9,47)
+	9 |	    syntax Foo ::= "foo" [klabel(foo), unused]
+	  .	                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Attribute `klabel(foo) is deprecated, but marks an overload. Add `overload(foo)`.
+	Source(symbolKLabel.k)
+	Location(14,20,14,51)
+	14 |	    syntax Foo ::= "foo" Foo [klabel(foo), unused]
+	   .	                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Attribute `klabel(foo) is deprecated, but marks an overload. Add `overload(foo)`.
+	Source(symbolKLabel.k)
+	Location(15,20,15,51)
+	15 |	    syntax Bar ::= "foo" Bar [klabel(foo), unused]
+	   .	                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Had 4 structural errors.
+[ERROR] Running process failed with returncode 113:
+    kompile symbolKLabel.k --md-selector k --emit-json --backend haskell --output-definition symbolKLabel-kompiled --type-inference-mode checked --warnings all --warnings-to-errors --no-exc-wrap

pyk/regression-new/checks/anywhereSimplification.k.out

@@ -5,4 +5,4 @@
 	  .	       ^~~~~~~~~~
 [Error] Compiler: Had 1 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile anywhereSimplification.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition anywhereSimplification-kompiled --type-inference-mode checked
+    kompile anywhereSimplification.k --md-selector k --emit-json --backend llvm --output-definition anywhereSimplification-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/anywhereSymbolic.k.out

@@ -5,4 +5,4 @@
 	  .	       ^~~~~~~~~~
 [Error] Compiler: Had 1 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile anywhereSymbolic.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition anywhereSymbolic-kompiled --type-inference-mode checked
+    kompile anywhereSymbolic.k --md-selector k --emit-json --backend llvm --output-definition anywhereSymbolic-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/attParamForbidden.k.out

@@ -4,4 +4,4 @@
 	5 |	  rule a() => .K [owise(1)]
 	  .	                  ^~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile attParamForbidden.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition attParamForbidden-kompiled --type-inference-mode checked
+    kompile attParamForbidden.k --md-selector k --emit-json --backend llvm --output-definition attParamForbidden-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/attParamRequired.k.out

@@ -4,4 +4,4 @@
 	5 |	  rule a() => .K [prec]
 	  .	                  ^~~~
 [ERROR] Running process failed with returncode 113:
-    kompile attParamRequired.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition attParamRequired-kompiled --type-inference-mode checked
+    kompile attParamRequired.k --md-selector k --emit-json --backend llvm --output-definition attParamRequired-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/badFunctionRuleWithContext.k.out

@@ -5,4 +5,4 @@
 	   .	                      ^~~~~
 [Error] Compiler: Had 1 parsing errors.
 [ERROR] Running process failed with returncode 113:
-    kompile badFunctionRuleWithContext.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition badFunctionRuleWithContext-kompiled --type-inference-mode checked
+    kompile badFunctionRuleWithContext.k --md-selector k --emit-json --backend llvm --output-definition badFunctionRuleWithContext-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/binder.k.out

@@ -10,4 +10,4 @@
 	  .	                   ^~~~~~~~~~~~~~~~~~~~~~~~~~
 [Error] Compiler: Had 2 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile binder.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition binder-kompiled --type-inference-mode checked
+    kompile binder.k --md-selector k --emit-json --backend llvm --output-definition binder-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkAssoc.k.out

@@ -24,4 +24,4 @@ Hint: One of the sub-sorting relations Bool <= Int or Bool <= Bool does not hold
 	   .	                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 [Error] Compiler: Had 4 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile checkAssoc.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkAssoc-kompiled --type-inference-mode checked
+    kompile checkAssoc.k --md-selector k --emit-json --backend llvm --output-definition checkAssoc-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkBracket.k.out

@@ -4,4 +4,4 @@
 	3 |	  syntax Exp ::= "(" Exp Exp ")" [bracket]
 	  .	                 ^~~~~~~~~~~~~~~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkBracket.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkBracket-kompiled --type-inference-mode checked
+    kompile checkBracket.k --md-selector k --emit-json --backend llvm --output-definition checkBracket-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkBracketSubsort.k.out

@@ -4,4 +4,4 @@
 	5 |	  syntax Exp ::= "(" A ")" [bracket]
 	  .	                 ^~~~~~~~~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkBracketSubsort.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkBracketSubsort-kompiled --type-inference-mode checked
+    kompile checkBracketSubsort.k --md-selector k --emit-json --backend llvm --output-definition checkBracketSubsort-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkBracketSupersort.k.out

@@ -4,4 +4,4 @@
 	5 |	  syntax A ::= "(" Exp ")" [bracket]
 	  .	               ^~~~~~~~~~~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkBracketSupersort.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkBracketSupersort-kompiled --type-inference-mode checked
+    kompile checkBracketSupersort.k --md-selector k --emit-json --backend llvm --output-definition checkBracketSupersort-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkBracketUnrelatedsort.k.out

@@ -4,4 +4,4 @@
 	4 |	  syntax Exp ::= "(" A ")" [bracket]
 	  .	                 ^~~~~~~~~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkBracketUnrelatedsort.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkBracketUnrelatedsort-kompiled --type-inference-mode checked
+    kompile checkBracketUnrelatedsort.k --md-selector k --emit-json --backend llvm --output-definition checkBracketUnrelatedsort-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkCellSortDeclFail.k.out

@@ -5,4 +5,4 @@
 	   .	               ^~~~~~~~~~~~
 [Error] Compiler: Had 1 parsing errors.
 [ERROR] Running process failed with returncode 113:
-    kompile checkCellSortDeclFail.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkCellSortDeclFail-kompiled --type-inference-mode checked
+    kompile checkCellSortDeclFail.k --md-selector k --emit-json --backend llvm --output-definition checkCellSortDeclFail-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkCircularList.k.out

@@ -1,4 +1,4 @@
 [Error] Compiler: Had 1 parsing errors.
-[Error] Compiler: Illegal circular relation: Exp < ExpList < Exp
+[Error] Compiler: Illegal circular relation: ExpList < Exp < ExpList
 [ERROR] Running process failed with returncode 113:
-    kompile checkCircularList.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkCircularList-kompiled --type-inference-mode checked
+    kompile checkCircularList.k --md-selector k --emit-json --backend llvm --output-definition checkCircularList-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkDuplicateList.k.out

@@ -4,4 +4,4 @@
 	9 |	  syntax MyList ::= List{Int,""}
 	  .	                    ^~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkDuplicateList.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkDuplicateList-kompiled --type-inference-mode checked
+    kompile checkDuplicateList.k --md-selector k --emit-json --backend llvm --output-definition checkDuplicateList-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkFuncRuleAtt.k.out

@@ -27,4 +27,4 @@
 	   .	         ~~~~~~~~~~~~~~~^
 [Error] Compiler: Had 5 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile checkFuncRuleAtt.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkFuncRuleAtt-kompiled --type-inference-mode checked
+    kompile checkFuncRuleAtt.k --md-selector k --emit-json --backend llvm --output-definition checkFuncRuleAtt-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkGroup.k.out

@@ -4,4 +4,4 @@
 	4 |	               | Int "+" Int [group(fun,)]
 	  .	                 ^~~~~~~~~~~~~~~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkGroup.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkGroup-kompiled --type-inference-mode checked
+    kompile checkGroup.k --md-selector k --emit-json --backend llvm --output-definition checkGroup-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkInstantiation.k.out

@@ -4,4 +4,4 @@
 	10 |	  syntax KItem ::= foo(MInt{6})
 	   .	                   ^~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkInstantiation.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkInstantiation-kompiled --type-inference-mode checked
+    kompile checkInstantiation.k --md-selector k --emit-json --backend llvm --output-definition checkInstantiation-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkIsSort.k.out

@@ -20,4 +20,4 @@
 	   .	                  ^~~~~~~~~~~~~~~~~~~~~
 [Error] Compiler: Had 4 structural errors.
 [ERROR] Running process failed with returncode 113:
-    kompile checkIsSort.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkIsSort-kompiled --type-inference-mode checked
+    kompile checkIsSort.k --md-selector k --emit-json --backend llvm --output-definition checkIsSort-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkLexicalIdentifiers.k

@@ -0,0 +1,17 @@
+module CHECKLEXICALIDENTIFIERS-SYNTAX
+syntax lexical Foo1 = r"{Foo2}"
+syntax lexical Foo2 = r"{Foo3}"
+syntax lexical Foo3 = r"{Foo4}"
+syntax lexical Foo4 = r"{Foo1}"
+syntax lexical Cycle = r"{Cycle}"
+syntax lexical Bar1 = r"{Bar1} {Foo1}"
+syntax lexical Bad = r"{NotReal}"
+syntax Bad1
+syntax Bad2 ::= r"{Bad1}"
+syntax lexical StartAnchor = r"^foo"
+syntax lexical EndAnchor = r"foo$"
+endmodule
+
+module CHECKLEXICALIDENTIFIERS
+imports CHECKLEXICALIDENTIFIERS-SYNTAX
+endmodule

pyk/regression-new/checks/checkLexicalIdentifiers.k.out

@@ -0,0 +1,38 @@
+[Error] Outer Parser: Circular dependency between lexical identifiers: [Foo1, Foo2, Foo3, Foo4]
+	Source(checkLexicalIdentifiers.k)
+	Location(2,1,2,32)
+	2 |	syntax lexical Foo1 = r"{Foo2}"
+	  .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Outer Parser: Circular dependency between lexical identifiers: [Cycle]
+	Source(checkLexicalIdentifiers.k)
+	Location(6,1,6,34)
+	6 |	syntax lexical Cycle = r"{Cycle}"
+	  .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Outer Parser: Circular dependency between lexical identifiers: [Bar1]
+	Source(checkLexicalIdentifiers.k)
+	Location(7,1,7,39)
+	7 |	syntax lexical Bar1 = r"{Bar1} {Foo1}"
+	  .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Outer Parser: Unrecognized lexical identifiers in regular expression: [NotReal]
+	Source(checkLexicalIdentifiers.k)
+	Location(8,1,8,34)
+	8 |	syntax lexical Bad = r"{NotReal}"
+	  .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Outer Parser: Unrecognized lexical identifiers in regular expression: [Bad1]
+	Source(checkLexicalIdentifiers.k)
+	Location(10,17,10,26)
+	10 |	syntax Bad2 ::= r"{Bad1}"
+	   .	                ^~~~~~~~~
+[Error] Outer Parser: Named lexical syntax cannot contain line anchors.
+	Source(checkLexicalIdentifiers.k)
+	Location(11,1,11,37)
+	11 |	syntax lexical StartAnchor = r"^foo"
+	   .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Outer Parser: Named lexical syntax cannot contain line anchors.
+	Source(checkLexicalIdentifiers.k)
+	Location(12,1,12,35)
+	12 |	syntax lexical EndAnchor = r"foo$"
+	   .	^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+[Error] Compiler: Had 7 parsing errors.
+[ERROR] Running process failed with returncode 113:
+    kompile checkLexicalIdentifiers.k --md-selector k --emit-json --backend llvm --output-definition checkLexicalIdentifiers-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkListDecl1.k.out

@@ -4,4 +4,4 @@
 	12 |	syntax KItem ::= List{Int,""}
 	   .	                 ^~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkListDecl1.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkListDecl1-kompiled --type-inference-mode checked
+    kompile checkListDecl1.k --md-selector k --emit-json --backend llvm --output-definition checkListDecl1-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkListDecl2.k.out

@@ -4,4 +4,4 @@
 	12 |	syntax Int ::= List{Int,""}
 	   .	               ^~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkListDecl2.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkListDecl2-kompiled --type-inference-mode checked
+    kompile checkListDecl2.k --md-selector k --emit-json --backend llvm --output-definition checkListDecl2-kompiled --type-inference-mode checked --warnings none --no-exc-wrap

pyk/regression-new/checks/checkListDecl3.k.out

@@ -4,4 +4,4 @@
 	12 |	syntax KItem ::= Int "+" List{Int,""}
 	   .	                         ^~~~~~~~~~~~
 [ERROR] Running process failed with returncode 113:
-    kompile checkListDecl3.k --md-selector k --emit-json --warnings none --no-exc-wrap --backend llvm --output-definition checkListDecl3-kompiled --type-inference-mode checked
+    kompile checkListDecl3.k --md-selector k --emit-json --backend llvm --output-definition checkListDecl3-kompiled --type-inference-mode checked --warnings none --no-exc-wrap