From ca39024ee34528dc746ba343d368050a49d61606 Mon Sep 17 00:00:00 2001 From: elvis Date: Sun, 26 Jan 2025 21:47:05 +0100 Subject: [PATCH] Better linting --- bin/miniImpInterpreterReg.ml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/bin/miniImpInterpreterReg.ml b/bin/miniImpInterpreterReg.ml index c270969..a8b1a19 100644 --- a/bin/miniImpInterpreterReg.ml +++ b/bin/miniImpInterpreterReg.ml @@ -37,7 +37,8 @@ let () = in let checkundefined = Clap.flag - ~description: "Optional flag for disabling the check for undefined variables." + ~description: "Optional flag for disabling the check for undefined \ + variables." ~section: values ~unset_long: "undefined" ~unset_short: 'u' @@ -45,7 +46,8 @@ let () = in let optimizereg = Clap.flag - ~description: "Optional flag for disabling optimizing registers with liveness analysis." + ~description: "Optional flag for disabling optimizing registers with \ + liveness analysis." ~section: values ~unset_long: "liveness" ~unset_short: 'l' @@ -128,9 +130,9 @@ let () = RISC.convert in - if not evalb - then Printf.fprintf outch "%a\n" RISC.RISCAssembly.pp return_value - else Printf.fprintf outch "%d\n" (RISCSemantics.reduce return_value) + if evalb + then Printf.fprintf outch "%d\n" (RISCSemantics.reduce return_value) + else Printf.fprintf outch "%a\n" RISC.RISCAssembly.pp return_value in let inx = In_channel.open_text input in