add interpreter extern for string_of_int

ojno · ojno · commit 0fbfc08351df · 2019-06-28T10:11:52.000+01:00
diff --git a/model/prelude.sail b/model/prelude.sail
@@ -57,7 +57,7 @@ function cast_unit_vec b = match b {
   bitone  => 0b1
 }
 
-val string_of_int = {c: "string_of_int", ocaml: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string
+val string_of_int = {c: "string_of_int", ocaml: "string_of_int", interpreter: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string
 
 val BitStr = "string_of_bits" : forall 'n. bits('n) -> string
 

Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@ function cast_unit_vec b = match b {`
`57`	`57`	`bitone => 0b1`
`58`	`58`	`}`
`59`	`59`
`60`		`-val string_of_int = {c: "string_of_int", ocaml: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string`
	`60`	`+val string_of_int = {c: "string_of_int", ocaml: "string_of_int", interpreter: "string_of_int", lem: "stringFromInteger", coq: "string_of_int"} : int -> string`
`61`	`61`
`62`	`62`	`val BitStr = "string_of_bits" : forall 'n. bits('n) -> string`
`63`	`63`