diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-05 20:25:59 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-05 20:25:59 +0100 |
| commit | d975e071f2563a2169e7a5ee65bc47d52000495d (patch) | |
| tree | b7fe8df24b2d59ed9693135d57beb64d323a63e6 /test | |
| parent | b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06c (diff) | |
Add `lexiconAllPatterns`, basic warning for dupe pattern
Diffstat (limited to 'test')
| -rw-r--r-- | test/golden/abbr/parsing.golden | 4 | ||||
| -rw-r--r-- | test/golden/byRef/parsing.golden | 2 | ||||
| -rw-r--r-- | test/golden/prooffix/parsing.golden | 2 | ||||
| -rw-r--r-- | test/golden/relparam/parsing.golden | 4 | ||||
| -rw-r--r-- | test/golden/union/parsing.golden | 6 |
5 files changed, 9 insertions, 9 deletions
diff --git a/test/golden/abbr/parsing.golden b/test/golden/abbr/parsing.golden index 680640f..c975561 100644 --- a/test/golden/abbr/parsing.golden +++ b/test/golden/abbr/parsing.golden @@ -35,7 +35,7 @@ , locColumn = 35 } , quant = Existentially - , xs = NamedVar "y" :| [] + , vars = NamedVar "y" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtFormula @@ -201,7 +201,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "x" :| [] + , vars = NamedVar "x" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtNoun diff --git a/test/golden/byRef/parsing.golden b/test/golden/byRef/parsing.golden index 4ba1caa..d0c75a6 100644 --- a/test/golden/byRef/parsing.golden +++ b/test/golden/byRef/parsing.golden @@ -177,7 +177,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "d" :| [] + , vars = NamedVar "d" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtFormula diff --git a/test/golden/prooffix/parsing.golden b/test/golden/prooffix/parsing.golden index 31b2a05..d62b4de 100644 --- a/test/golden/prooffix/parsing.golden +++ b/test/golden/prooffix/parsing.golden @@ -14,7 +14,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "x" :| [] + , vars = NamedVar "x" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtFormula diff --git a/test/golden/relparam/parsing.golden b/test/golden/relparam/parsing.golden index 117460e..eff39b8 100644 --- a/test/golden/relparam/parsing.golden +++ b/test/golden/relparam/parsing.golden @@ -54,7 +54,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "x" :| [] + , vars = NamedVar "x" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtFormula @@ -141,7 +141,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "x" :| [] + , vars = NamedVar "x" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtFormula diff --git a/test/golden/union/parsing.golden b/test/golden/union/parsing.golden index 7ec4c37..28bdc3b 100644 --- a/test/golden/union/parsing.golden +++ b/test/golden/union/parsing.golden @@ -15,7 +15,7 @@ , locColumn = 13 } , quant = Universally - , xs = NamedVar "a" :| [] + , vars = NamedVar "a" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtConnected @@ -366,7 +366,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "a" :| [] + , vars = NamedVar "a" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtConnected @@ -487,7 +487,7 @@ , locColumn = 5 } , quant = Universally - , xs = NamedVar "a" :| [] + , vars = NamedVar "a" :| [] , b = Unbounded , suchThat = Nothing , stmt = StmtConnected |