From c1a431aa50a65704a349174ecf7b9017ff87c570 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 26 Jul 2017 17:54:28 +0100
Subject: Add right shift to lib/prelude.sail, and add case for E_exit in
 Ast_util.string_of_exp

---
 lib/prelude.sail | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib')

diff --git a/lib/prelude.sail b/lib/prelude.sail
index bb19aa8d..bac9532c 100644
--- a/lib/prelude.sail
+++ b/lib/prelude.sail
@@ -181,6 +181,13 @@ overload (deinfix <<) [
   shiftl
 ]
 
+val forall Num 'n, Num 'o, Order 'ord.
+    (vector<'o, 'n, 'ord, bit>, int) -> vector<'o, 'n, 'ord, bit> effect pure shiftr
+
+overload (deinfix >>) [
+  shiftr
+]
+
 (* Boolean operators *)
 val bool -> bool effect pure bool_not
 val (bool, bool) -> bool effect pure bool_or
-- 
cgit v1.2.3