From e4c3e2db8c3f83dac1b5eae3086e6488720f6b17 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 18 Nov 2021 16:03:04 +0100
Subject: Add an Errors.ml file

---
 src/Errors.ml      | 5 +++++
 src/Identifiers.ml | 4 +---
 2 files changed, 6 insertions(+), 3 deletions(-)
 create mode 100644 src/Errors.ml

diff --git a/src/Errors.ml b/src/Errors.ml
new file mode 100644
index 00000000..dcdc9102
--- /dev/null
+++ b/src/Errors.ml
@@ -0,0 +1,5 @@
+exception IntegerOverflow of unit
+
+exception Unimplemented of string
+
+let unimplemented msg = raise (Unimplemented ("unimplemented: " ^ msg))
diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 7d440f4d..07d9c8a5 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -1,5 +1,3 @@
-exception IntegerOverflow of unit
-
 (** Signature for a module describing an identifier.
     
     We often need identifiers (for definitions, variables, etc.) and in
@@ -45,7 +43,7 @@ module IdGen () : Id = struct
     (* Identifiers should never overflow (because max_int is a really big
      * value - but we really want to make sure we detect overflows if
      * they happen *)
-    if x == max_int then raise (IntegerOverflow ()) else x + 1
+    if x == max_int then raise (Errors.IntegerOverflow ()) else x + 1
 
   let to_string = string_of_int
 
-- 
cgit v1.2.3