diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-14 00:54:25 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-14 00:54:25 +0100 |
| commit | 1122576d9283d499915ec4d0a87ee8cf03e5339e (patch) | |
| tree | db3966a980b6efbea06a74509bf47941047361f7 /test/golden/indefinite-terms/parsing.golden | |
| parent | 823710c6836c5eec5243d835b206430358782318 (diff) | |
Update golden tests
Diffstat (limited to 'test/golden/indefinite-terms/parsing.golden')
| -rw-r--r-- | test/golden/indefinite-terms/parsing.golden | 38 |
1 files changed, 26 insertions, 12 deletions
diff --git a/test/golden/indefinite-terms/parsing.golden b/test/golden/indefinite-terms/parsing.golden index 410ddf7..d0c1c2d 100644 --- a/test/golden/indefinite-terms/parsing.golden +++ b/test/golden/indefinite-terms/parsing.golden @@ -8,12 +8,7 @@ ( Marker "indefinite_test_forall" ) ( Lemma [] ( StmtNoun - { loc = Location - { locFile = "test/examples/indefinite-terms.tex" - , locLine = 2 - , locColumn = 5 - } - , args = TermQuantified Universally + { args = TermQuantified Universally ( Location { locFile = "test/examples/indefinite-terms.tex" , locLine = 2 @@ -21,6 +16,12 @@ } ) NounPhrase ( [] ) ( Noun + ( Location + { locFile = "test/examples/indefinite-terms.tex" + , locLine = 2 + , locColumn = 11 + } + ) ( LexicalItemSgPl ( SgPl { sg = TokenCons @@ -34,6 +35,12 @@ ) ( Nothing ) ( [] ) ( Nothing ) :| [] , noun = NounPhrase ( [] ) ( Noun + ( Location + { locFile = "test/examples/indefinite-terms.tex" + , locLine = 2 + , locColumn = 20 + } + ) ( LexicalItemSgPl ( SgPl { sg = TokenCons @@ -58,12 +65,7 @@ ( Marker "indefinite_test_exists" ) ( Lemma [] ( StmtNoun - { loc = Location - { locFile = "test/examples/indefinite-terms.tex" - , locLine = 6 - , locColumn = 5 - } - , args = TermQuantified Existentially + { args = TermQuantified Existentially ( Location { locFile = "test/examples/indefinite-terms.tex" , locLine = 6 @@ -71,6 +73,12 @@ } ) NounPhrase ( [] ) ( Noun + ( Location + { locFile = "test/examples/indefinite-terms.tex" + , locLine = 6 + , locColumn = 10 + } + ) ( LexicalItemSgPl ( SgPl { sg = TokenCons @@ -84,6 +92,12 @@ ) ( Nothing ) ( [] ) ( Nothing ) :| [] , noun = NounPhrase ( [] ) ( Noun + ( Location + { locFile = "test/examples/indefinite-terms.tex" + , locLine = 6 + , locColumn = 19 + } + ) ( LexicalItemSgPl ( SgPl { sg = TokenCons |