run the formatter

Author: benfaerber

liquid_interpreter/interpreter.ml

@@ -142,8 +142,12 @@ and interpret_test settings ctx str ~cond ~body ~else_body =
   let break_exists = has_notifier "break" rctx in
   let continue_exists = has_notifier "continue" rctx in
   let result_ctx = rewind rctx pre_state in
-  let result_ctx = if break_exists then notifier "break" result_ctx else result_ctx in
-  let result_ctx = if continue_exists then notifier "continue" result_ctx else result_ctx in
+  let result_ctx =
+    if break_exists then notifier "break" result_ctx else result_ctx
+  in
+  let result_ctx =
+    if continue_exists then notifier "continue" result_ctx else result_ctx
+  in
 
   (result_ctx, rstr)
 
@@ -173,7 +177,7 @@ and interpret_for settings ctx str ~alias ~iterable ~params ~body ~else_body =
           let nacc =
             Interpreter_objects.make_forloop_ctx inner_ctx index length
           in
-          
+
           (* Remove the continue notifier for the next iteration *)
           let next_ctx = Ctx.remove (nlit "continue") nacc in
 

liquid_syntax/syntax.ml

@@ -139,8 +139,7 @@ type ast =
 [@@deriving show]
 
 let list_of_range = function
-  | LexRange (start, stop) ->
-      List.range start (stop + 1)
+  | LexRange (start, stop) -> List.range start (stop + 1)
   | _ -> raise (Failure "This is not a range!")
 
 let liq_list_of_range r =

liquid_syntax/tools.ml

@@ -6,7 +6,6 @@ let ( != ) = Stdlib.( != )
 let ( > ) = Stdlib.( > )
 let ( < ) = Stdlib.( < )
 let ( ~/ ) = Re2.create_exn
-
 let range x = List.range 0 (x + 1)
 let sub_prefix text x = String.sub text ~pos:0 ~len:x
 let sub_suffix text x = String.sub text ~pos:x ~len:(String.length text - x)

test/test_for_loops.ml

@@ -440,12 +440,12 @@ let suite =
     ; test_case "forloop.rindex" `Quick test_forloop_rindex
     ; test_case "forloop.rindex0" `Quick test_forloop_rindex0
     ; (* Break and continue - TODO: break/continue not implemented yet *)
-      test_case "for loop break" `Quick test_for_loop_break;
-      test_case "for loop continue" `Quick test_for_loop_continue;
-      test_case "for loop multiple breaks" `Quick test_for_loop_multiple_breaks;
-      test_case "for loop multiple continues" `Quick test_for_loop_multiple_continues;
-
-      (* Nested loops *)
+      test_case "for loop break" `Quick test_for_loop_break
+    ; test_case "for loop continue" `Quick test_for_loop_continue
+    ; test_case "for loop multiple breaks" `Quick test_for_loop_multiple_breaks
+    ; test_case "for loop multiple continues" `Quick
+        test_for_loop_multiple_continues
+    ; (* Nested loops *)
       test_case "nested for loops" `Quick test_nested_for_loops
     ; test_case "nested loops with forloop" `Quick
         test_nested_for_loops_with_forloop