From b7307bd33a1c0fe7190fc4b34a9d3eca9beda565 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 10 May 2018 13:05:43 +0100
Subject: hacky monomorphic bits-string-parser for now

---
 src/sail_lib.ml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/sail_lib.ml')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index b4c5a8aa..415fc9fd 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -644,3 +644,13 @@ let spaces_matches_prefix s =
   | 0 -> ZNone ()
   | n -> ZSome ((), Big_int.of_int n)
 
+
+let hex_bits_12_matches_prefix s =
+  match maybe_int_of_prefix s with
+  | ZNone () -> ZNone ()
+  | ZSome (n, len) ->
+     let n = Big_int.to_int n in
+     if 0 <= n && n < 4096 then
+       ZSome ((bits_of_int 2048 n, len))
+     else
+       ZNone ()
-- 
cgit v1.2.3