🚚 Module Recorder -> Recorder_intf

React-Analysis · Dec 21, 2024 · 181f751 · 181f751
1 parent fb18b7a
commit 181f751
Show file tree

Hide file tree

Showing 10 changed files with 6 additions and 10 deletions.
diff --git a/bin/js/string_recorder/string_recorder.ml b/bin/js/string_recorder/string_recorder.ml
@@ -5,7 +5,7 @@ open React_trace
 open Lib_domains
 open Concrete_domains
 open Interp_effects
-include Recorder.Recorder_intf
+include Recorder_intf
 
 type recording = string
 

diff --git a/bin/js/string_recorder/string_recorder.mli b/bin/js/string_recorder/string_recorder.mli
@@ -1,2 +1 @@
-open Recorder
 include Recorder_intf.Intf with type recording = string
diff --git a/bin/native/report_box_recorder/report_box_recorder.ml b/bin/native/report_box_recorder/report_box_recorder.ml
@@ -5,7 +5,7 @@ open React_trace
 open Interp_effects
 open Lib_domains
 open Concrete_domains
-include Recorder.Recorder_intf
+include Recorder_intf
 module B = PrintBox
 
 type recording = (string * B.t) list

diff --git a/bin/native/report_box_recorder/report_box_recorder.mli b/bin/native/report_box_recorder/report_box_recorder.mli
@@ -1,2 +1 @@
-open Recorder
 include Recorder_intf.Intf with type recording = (string * PrintBox.t) list
diff --git a/lib/default_recorder.ml b/lib/default_recorder.ml
@@ -1,7 +1,7 @@
 open Stdlib.Effect
 open Stdlib.Effect.Deep
 open Interp_effects
-include Recorder.Recorder_intf
+include Recorder_intf
 
 type recording = unit
 

diff --git a/lib/default_recorder.mli b/lib/default_recorder.mli
@@ -1,4 +1,3 @@
-open Recorder
 include Recorder_intf.Intf
 
 (** Default recorder does nothing *)
diff --git a/lib/dune b/lib/dune
@@ -1,3 +1,3 @@
 (library
  (name react_trace)
- (libraries recorder base logs flow_parser lib_domains))
+ (libraries recorder_intf base logs flow_parser lib_domains))
diff --git a/lib/interp.ml b/lib/interp.ml
@@ -447,8 +447,7 @@ type 'recording run_info = {
 }
 
 let run (type recording) ?(fuel : int option)
-    ~(recorder :
-       (module Recorder.Recorder_intf.Intf with type recording = recording))
+    ~(recorder : (module Recorder_intf.Intf with type recording = recording))
     (prog : Prog.t) : recording run_info =
   Logger.run prog;
 

diff --git a/lib/recorder/dune → lib/recorder_intf/dune b/lib/recorder/dune → lib/recorder_intf/dune
@@ -1,3 +1,3 @@
 (library
- (name recorder)
+ (name recorder_intf)
  (libraries base))
diff --git a/lib/recorder/recorder_intf.ml → lib/recorder_intf/recorder_intf.ml b/lib/recorder/recorder_intf.ml → lib/recorder_intf/recorder_intf.ml
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1 @@
		open Recorder
		include Recorder_intf.Intf with type recording = string