diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-14 17:47:51 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-12-14 17:47:51 +0100 |
| commit | 4c536bc12666fb664ca522f99ea8f200963050c7 (patch) | |
| tree | 28eb0675b53b3edbecf3b0194ca26d59c5d42596 /test/golden/proofassume/parsing.golden | |
| parent | 3fe36e6f3266a7cfac51b56ead96c1e129a97ea9 (diff) | |
Add more location info in tasks
Diffstat (limited to 'test/golden/proofassume/parsing.golden')
| -rw-r--r-- | test/golden/proofassume/parsing.golden | 70 |
1 files changed, 60 insertions, 10 deletions
diff --git a/test/golden/proofassume/parsing.golden b/test/golden/proofassume/parsing.golden index cf8676d..65c07bc 100644 --- a/test/golden/proofassume/parsing.golden +++ b/test/golden/proofassume/parsing.golden @@ -17,7 +17,12 @@ } ) , stmt1 = StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 2 + , locColumn = 2 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -31,7 +36,12 @@ ) } , stmt2 = StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 2 + , locColumn = 2 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -62,7 +72,12 @@ } ) ( StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 5 + , locColumn = 5 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -84,7 +99,12 @@ } ) Nothing ( StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 6 + , locColumn = 6 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -122,7 +142,12 @@ { conn = Conjunction , mpos = Nothing , stmt1 = StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 10 + , locColumn = 10 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -136,7 +161,12 @@ ) } , stmt2 = StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 10 + , locColumn = 10 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "a" ) :| [] @@ -151,7 +181,12 @@ } } , stmt2 = StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 10 + , locColumn = 10 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -182,7 +217,12 @@ } ) ( StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 13 + , locColumn = 13 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "a" ) :| [] @@ -204,7 +244,12 @@ } ) ( StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 14 + , locColumn = 14 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] @@ -226,7 +271,12 @@ } ) Nothing ( StmtFormula - { formula = FormulaChain + { pos = Location + { locFile = "test/examples/proofassume.tex" + , locLine = 15 + , locColumn = 15 + } + , formula = FormulaChain ( ChainBase ( ExprVar ( NamedVar "x" ) :| [] |