diff options
Diffstat (limited to 'parsing/builtin_attributes.ml')
-rwxr-xr-x | parsing/builtin_attributes.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/parsing/builtin_attributes.ml b/parsing/builtin_attributes.ml index e9d0fa9169..b213f2611d 100755 --- a/parsing/builtin_attributes.ml +++ b/parsing/builtin_attributes.ml @@ -63,7 +63,8 @@ let check_deprecated loc attrs s = match deprecated_of_attrs attrs with | None -> () | Some "" -> Location.prerr_warning loc (Warnings.Deprecated s) - | Some txt -> Location.prerr_warning loc (Warnings.Deprecated (s ^ "\n" ^ txt)) + | Some txt -> + Location.prerr_warning loc (Warnings.Deprecated (s ^ "\n" ^ txt)) let rec check_deprecated_mutable loc attrs s = match attrs with @@ -173,7 +174,8 @@ let with_warning_attribute attrs f = let warn_on_literal_pattern = List.exists (function - | ({txt="ocaml.warn_on_literal_pattern"|"warn_on_literal_pattern"; _}, _) -> true + | ({txt="ocaml.warn_on_literal_pattern"|"warn_on_literal_pattern"; _}, _) + -> true | _ -> false ) |