diff options
Diffstat (limited to 'test/golden/finite-set-terms/scanning.golden')
| -rw-r--r-- | test/golden/finite-set-terms/scanning.golden | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/golden/finite-set-terms/scanning.golden b/test/golden/finite-set-terms/scanning.golden index 5cef8dd..66d57f7 100644 --- a/test/golden/finite-set-terms/scanning.golden +++ b/test/golden/finite-set-terms/scanning.golden @@ -1,5 +1,19 @@ [ ScanFunctionSymbol ( TokenCons + ( Command "cons" ) + ( TokenCons InvisibleBraceL + ( HoleCons + ( TokenCons InvisibleBraceR + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) + ) + ) + ) + ( Marker "example_cons" ) +, ScanFunctionSymbol + ( TokenCons ( Command "unit" ) End ) ( Marker "unit" ) |