diff options
| author | Jon French | 2018-04-23 17:10:55 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-01 16:54:54 +0100 |
| commit | fca88463c50ec7d27dc2670972f13a6015905f64 (patch) | |
| tree | 410640f80a3760dc31a5dd8a2f887e396c7b6fab /test | |
| parent | 14510c80fa9d105ab61f0ecfb96ea89f7edf6587 (diff) | |
starting to also do integer support
Diffstat (limited to 'test')
| -rw-r--r-- | test/ocaml/prelude.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/ocaml/prelude.sail b/test/ocaml/prelude.sail index 1960e56a..f055a9b6 100644 --- a/test/ocaml/prelude.sail +++ b/test/ocaml/prelude.sail @@ -152,6 +152,8 @@ and cast_unit_vec bitzero = 0b0 val print = "print_endline" : string -> unit +val string_of_int = "string_of_int" : int -> string + val putchar = "putchar" : forall ('a : Type). 'a -> unit val concat_str = "concat_str" : (string, string) -> string |