equal
deleted
inserted
replaced
186 |
186 |
187 fun opt_fix fix = |
187 fun opt_fix fix = |
188 Scan.optional ($$$ "(" |-- !!! (fix --| $$$ ")")) Syntax.NoSyn; |
188 Scan.optional ($$$ "(" |-- !!! (fix --| $$$ ")")) Syntax.NoSyn; |
189 |
189 |
190 val opt_infix = opt_fix (infxl || infxr); |
190 val opt_infix = opt_fix (infxl || infxr); |
191 val opt_mixfix = opt_fix (mixfix || infxl || infxr || binder); |
191 val opt_mixfix = opt_fix (mixfix || binder || infxl || infxr); |
192 |
192 |
193 |
193 |
194 (* consts *) |
194 (* consts *) |
195 |
195 |
196 val const = |
196 val const = |