test/golden/replace/scanning.golden


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

[ ScanFunctionSymbol
    ( HoleCons
        ( TokenCons
            ( Command "times" ) ( HoleCons End )
        )
    )
    ( Marker "times" )
, ScanFunctionSymbol
    ( TokenCons
        ( Command "unit" ) End
    )
    ( Marker "unit" )
, ScanFunctionSymbol
    ( TokenCons
        ( Command "suc" )
        ( TokenCons InvisibleBraceL
            ( HoleCons ( TokenCons InvisibleBraceR End ) )
        )
    )
    ( Marker "suc" )
]