diff options
Diffstat (limited to 'test/golden/proofdefinefunction/scanning.golden')
| -rw-r--r-- | test/golden/proofdefinefunction/scanning.golden | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/golden/proofdefinefunction/scanning.golden b/test/golden/proofdefinefunction/scanning.golden index fd20405..c49d8f9 100644 --- a/test/golden/proofdefinefunction/scanning.golden +++ b/test/golden/proofdefinefunction/scanning.golden @@ -1,4 +1,14 @@ [ ScanFunctionSymbol + ( TokenCons ParenL + ( HoleCons + ( TokenCons + ( Symbol "," ) + ( HoleCons ( TokenCons ParenR End ) ) + ) + ) + ) + ( Marker "example_pair" ) +, ScanFunctionSymbol ( TokenCons ( Command "apply" ) ( TokenCons InvisibleBraceL |