From bc29b556b76f4f7f16f4256201bb50fda72da54f Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Wed, 29 Nov 2017 14:33:32 +0000 Subject: Added location information for fixity and overloads in ast_util.ml --- src/ast_util.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src') 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 -- cgit v1.2.3