summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2023-11-15 22:08:36 +0100
committerSon Ho2023-11-15 22:08:36 +0100
commite0351ad287332d5d1c71cee6a834f775db98966d (patch)
treeb644583f1576be028e118ca10a1982f4a0d9b529 /compiler
parent15f13494becbb3cf4afe8fee51b5cef50f807b52 (diff)
Do more cleanup
Diffstat (limited to 'compiler')
-rw-r--r--compiler/AssociatedTypes.ml3
-rw-r--r--compiler/FunsAnalysis.ml6
2 files changed, 4 insertions, 5 deletions
diff --git a/compiler/AssociatedTypes.ml b/compiler/AssociatedTypes.ml
index 06c7827a..2442f93a 100644
--- a/compiler/AssociatedTypes.ml
+++ b/compiler/AssociatedTypes.ml
@@ -12,10 +12,9 @@ open Values
open LlbcAst
open Contexts
module Subst = Substitute
-module L = Logging
(** The local logger *)
-let log = L.associated_types_log
+let log = Logging.associated_types_log
let trait_type_ref_substitute (subst : Subst.subst) (r : trait_type_ref) :
trait_type_ref =
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml
index d6898e96..57aa9e12 100644
--- a/compiler/FunsAnalysis.ml
+++ b/compiler/FunsAnalysis.ml
@@ -8,7 +8,7 @@
*)
open LlbcAst
-module EU = ExpressionsUtils
+open ExpressionsUtils
(** Various information about a function.
@@ -85,9 +85,9 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t)
method! visit_rvalue _env rv =
match rv with
| Use _ | RvRef _ | Global _ | Discriminant _ | Aggregate _ -> ()
- | UnaryOp (uop, _) -> can_fail := EU.unop_can_fail uop || !can_fail
+ | UnaryOp (uop, _) -> can_fail := unop_can_fail uop || !can_fail
| BinaryOp (bop, _, _) ->
- can_fail := EU.binop_can_fail bop || !can_fail
+ can_fail := binop_can_fail bop || !can_fail
method! visit_Call env call =
(match call.func.func with