diff options
| author | Jon French | 2018-04-23 16:04:37 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:54:54 +0100 |
| commit | 14510c80fa9d105ab61f0ecfb96ea89f7edf6587 (patch) | |
| tree | eadaa120679f854bed4681a432058581aad7a129 /test | |
| parent | a9c5ebc1c1c0943f48c31831f95dd4d1d61b8dc3 (diff) | |
start of string pattern matching: currently only literals
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 5 |
1 files changed, 4 insertions, 1 deletions
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 |