From f45502c131fc6aae08aa5f0049911b85ba13529f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 17:53:32 +0200
Subject: Move some files to the Charon project

---
 compiler/ExpressionsUtils.ml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

(limited to 'compiler/ExpressionsUtils.ml')

diff --git a/compiler/ExpressionsUtils.ml b/compiler/ExpressionsUtils.ml
index c3ccfb15..7dfef101 100644
--- a/compiler/ExpressionsUtils.ml
+++ b/compiler/ExpressionsUtils.ml
@@ -1,10 +1 @@
-module E = Expressions
-
-let unop_can_fail (unop : E.unop) : bool =
-  match unop with Neg | Cast _ -> true | Not -> false
-
-let binop_can_fail (binop : E.binop) : bool =
-  match binop with
-  | BitXor | BitAnd | BitOr | Eq | Lt | Le | Ne | Ge | Gt -> false
-  | Div | Rem | Add | Sub | Mul -> true
-  | Shl | Shr -> raise Errors.Unimplemented
+include Charon.ExpressionsUtils
-- 
cgit v1.2.3