diff options
| author | Alasdair Armstrong | 2017-11-29 14:33:32 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-29 14:33:32 +0000 |
| commit | bc29b556b76f4f7f16f4256201bb50fda72da54f (patch) | |
| tree | 73948c9a553a70f8664b1b8e2af3ed7bd9fa13b5 /src | |
| parent | 4469f1295fcdf567edcc71c823fdec6a8194ca94 (diff) | |
Added location information for fixity and overloads in ast_util.ml
Diffstat (limited to 'src')
| -rw-r--r-- | src/ast_util.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 1bce4ce5..d2712133 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -415,12 +415,12 @@ let def_loc = function | DEF_spec (VS_aux (_, (l, _))) | DEF_default (DT_aux (_, l)) | DEF_scattered (SD_aux (_, (l, _))) - | DEF_reg_dec (DEC_aux (_, (l, _))) -> + | DEF_reg_dec (DEC_aux (_, (l, _))) + | DEF_fixity (_, _, Id_aux (_, l)) + | DEF_overload (Id_aux (_, l), _) -> l | DEF_internal_mutrec _ - | DEF_comm _ - | DEF_overload _ - | DEF_fixity _ -> + | DEF_comm _ -> Parse_ast.Unknown let string_of_id = function |