From 14510c80fa9d105ab61f0ecfb96ea89f7edf6587 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 23 Apr 2018 16:04:37 +0100
Subject: start of string pattern matching: currently only literals

---
 test/ocaml/prelude.sail | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail
index 83178aea..1960e56a 100644
--- a/test/ocaml/prelude.sail
+++ b/test/ocaml/prelude.sail
@@ -15,6 +15,9 @@ val eq_int = "eq_int" : (int, int) -> bool
 val eq_vec = "eq_list" : forall 'n. (bits('n), bits('n)) -> bool
 
 val eq_string = "eq_string" : (string, string) -> bool
+val string_startswith = "string_startswith" : (string, string) -> bool
+val string_drop = "string_drop" : (string, nat) -> string
+val string_length = "string_length" : string -> nat
 
 val eq_real = "eq_real" : (real, real) -> bool
 
@@ -303,4 +306,4 @@ val pow2 = "pow2" : forall 'n. atom('n) -> atom(2 ^ 'n)
 
 val "print_int" : (string, int) -> unit
 
-val "print_bits" : forall 'n. (string, bits('n)) -> unit
\ No newline at end of file
+val "print_bits" : forall 'n. (string, bits('n)) -> unit
-- 
cgit v1.2.3