diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-05 18:01:54 +0100 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-02-05 18:01:54 +0100 |
| commit | 6d9c4d9db7adcee4f7344e197163d7ae146fe72f (patch) | |
| tree | 86cc187603d7a2173e5490291608e9920802071d /test/golden/proofdefinefunction/scanning.golden | |
| parent | b5e47cd41837d65973b3c29603b7a335436c398a (diff) | |
Remove `lookupOp` and add marker to AST instead
Diffstat (limited to 'test/golden/proofdefinefunction/scanning.golden')
| -rw-r--r-- | test/golden/proofdefinefunction/scanning.golden | 29 |
1 files changed, 16 insertions, 13 deletions
diff --git a/test/golden/proofdefinefunction/scanning.golden b/test/golden/proofdefinefunction/scanning.golden index e5d7748..fd20405 100644 --- a/test/golden/proofdefinefunction/scanning.golden +++ b/test/golden/proofdefinefunction/scanning.golden @@ -1,21 +1,24 @@ [ ScanFunctionSymbol - [ Just + ( TokenCons ( Command "apply" ) - , Just InvisibleBraceL - , Nothing - , Just InvisibleBraceR - , Just InvisibleBraceL - , Nothing - , Just InvisibleBraceR - ] + ( TokenCons InvisibleBraceL + ( HoleCons + ( TokenCons InvisibleBraceR + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) + ) + ) + ) ( Marker "apply" ) , ScanFunctionSymbol - [ Just + ( TokenCons ( Command "dom" ) - , Just InvisibleBraceL - , Nothing - , Just InvisibleBraceR - ] + ( TokenCons InvisibleBraceL + ( HoleCons ( TokenCons InvisibleBraceR End ) ) + ) + ) ( Marker "dom" ) , ScanAdj [ Just |