CN: Tidy up in core_to_mucore.ml and signature

rems-project · Jul 25, 2024 · 96c4c83 · 96c4c83
1 parent e7a4d2b
commit 96c4c83
Show file tree

Hide file tree

Showing 5 changed files with 217 additions and 744 deletions.
diff --git a/backend/cn/compile.ml b/backend/cn/compile.ml
@@ -1589,8 +1589,7 @@ let translate_cn_statement
   UsingLoads.handle
     allocations
     old_states
-    (let open E in
-     let open Effectful.Make (E) in
+    (let open Effectful.Make (E) in
      match stmt_ with
      | CN_pack_unpack (pack_unpack, pred, args) ->
        let@ args = ListM.mapM (ET.translate_cn_expr SymSet.empty env) args in

diff --git a/backend/cn/coreTypeChecks.ml b/backend/cn/coreTypeChecks.ml
@@ -1,7 +1,5 @@
 (* comparisons between CN base types and Core base types *)
 
-open Resultat
-
 open Effectful.Make (Resultat)
 
 module BT = BaseTypes