From 56fc0bffa29801968847115adff38d12da023822 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 15 Oct 2019 03:12:30 -0700 Subject: [PATCH] [istd] banish sexp_{list,option} Summary: It's annoying to see `sexp_list` everywhere instead of `list`, eg in merlin. See also D17907938. Reviewed By: ngorogiannis Differential Revision: D17927994 fbshipit-source-id: 84599e8bc --- infer/src/istd/IStd.ml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/infer/src/istd/IStd.ml b/infer/src/istd/IStd.ml index 6dea21dac..f4522178d 100644 --- a/infer/src/istd/IStd.ml +++ b/infer/src/istd/IStd.ml @@ -26,6 +26,12 @@ let invalid_argf _ : [`use_Logging_die_instead] = assert false let exit = `In_general_prefer_using_Logging_exit_over_Pervasives_exit +(* prevent merlin et al. from showing ['a sexp_list] everywhere a list type is used *) +type 'a list = 'a sexp_list + +(* prevent merlin et al. from showing ['a sexp_option] everywhere an option type is used *) +type 'a option = 'a sexp_option + [@@@warning "+32"] module ANSITerminal : module type of ANSITerminal = struct