From 070f54122624c77635b9d5b7d6bda477a604e8de Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Sat, 18 Aug 2018 10:34:15 -0700 Subject: [PATCH] [infer][nullsafe] cleanup of the Eradicate code 1 Summary: Remove unecessary level of functorisation Reviewed By: jberdine Differential Revision: D9387985 fbshipit-source-id: e0bcf1b13 --- infer/src/eradicate/eradicate.ml | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/infer/src/eradicate/eradicate.ml b/infer/src/eradicate/eradicate.ml index 69e8df8ee..bd6472867 100644 --- a/infer/src/eradicate/eradicate.ml +++ b/infer/src/eradicate/eradicate.ml @@ -341,15 +341,6 @@ end (* MkCallback *) -(** Given an extension to the typestate with a check, call the check on each instruction. *) -module Build (Extension : ExtensionT) : CallBackT = struct - module Callback = MkCallback (Extension) - - let callback = Callback.callback -end - -(* Build *) - module EmptyExtension : ExtensionT = struct type extension = unit @@ -365,7 +356,11 @@ module EmptyExtension : ExtensionT = struct {payloads with typestate= typestate_opt} end -module Main = Build (EmptyExtension) +module Main = struct + module Callback = MkCallback (EmptyExtension) + + let callback = Callback.callback +end (** Eradicate checker for Java @Nullable annotations. *) let callback_eradicate =