updated type annotations of ignore commands

netkat-lang · Dec 8, 2019 · 3347316 · 3347316
1 parent 1047a13
commit 3347316
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 6 deletions.
diff --git a/src/repl/repl_katbb.ml b/src/repl/repl_katbb.ml
@@ -286,5 +286,4 @@ let rec repl () =
 let main () : unit =
   printf "Welcome to the KAT+B! REPL!\n";
   printf "Type `help` for a list of commands\n";
-  let _ = repl () in
-  ()
+  ignore (repl () : 'a Deferred.t)
diff --git a/src/repl/repl_katbv.ml b/src/repl/repl_katbv.ml
@@ -321,5 +321,4 @@ let rec repl () =
 let main () : unit =
   printf "Welcome to the KAT+BV REPL!\n";
   printf "Type `help` for a list of commands\n";
-  let _ = repl () in
-  ()
+  ignore (repl () : 'a Deferred.t)
diff --git a/src/tables/tables.ml b/src/tables/tables.ml
@@ -170,8 +170,8 @@ let to_string_doc b =
 (** [render_box tbl] is the [PrintBox.t] object representing [tbl] *)
 let render_box var_name tbl =
   let matrix = Array.make_matrix ~dimy:2 ~dimx:(1+(List.length tbl)) "" in
-  let _ = matrix.(0).(0) <- "Pattern"; matrix.(0).(1) <- "Actions" in
-  let _ = List.iteri tbl ~f:(fun i (p,a) ->
+  let _ : unit = matrix.(0).(0) <- "Pattern"; matrix.(0).(1) <- "Actions" in
+  let _ : unit = List.iteri tbl ~f:(fun i (p,a) ->
     matrix.(i+1).(0) <- (to_str_lst p "=" var_name);
     matrix.(i+1).(1) <- (to_str_act var_name a)
   )