From 7e7d0d67de8285e1d6c589750191bce4f49aacb3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:16:46 +0200
Subject: Reorganize a bit the project

---
 src/ExpressionsUtils.ml | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 src/ExpressionsUtils.ml

(limited to 'src/ExpressionsUtils.ml')

diff --git a/src/ExpressionsUtils.ml b/src/ExpressionsUtils.ml
deleted file mode 100644
index c3ccfb15..00000000
--- a/src/ExpressionsUtils.ml
+++ /dev/null
@@ -1,10 +0,0 @@
-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
-- 
cgit v1.2.3