diff options
Diffstat (limited to 'debugger/parser.mly')
| -rw-r--r-- | debugger/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debugger/parser.mly b/debugger/parser.mly index ae1b0d153..5bba611b9 100644 --- a/debugger/parser.mly +++ b/debugger/parser.mly @@ -170,6 +170,8 @@ longident : LIDENT { Lident $1 } | module_path DOT LIDENT { Ldot($1, $3) } | OPERATOR { Lident $1 } + | module_path DOT OPERATOR { Ldot($1, $3) } + | module_path DOT LPAREN OPERATOR RPAREN { Ldot($1, $4) } ; module_path : |