blob: bc917d859226c7a0841bd1722b460f8913c53365 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
open Identifiers
open Types
module VarId = IdGen ()
module FunDefId = IdGen ()
type var = {
index : VarId.id; (** Unique variable identifier *)
name : string option;
ty : ety;
(** The variable type - erased type, because variables are not used
** in function signatures *)
}
[@@deriving of_yojson]
(** A variable *)
type big_int = Z.t
let big_int_of_yojson (json : Yojson.Safe.t) : (big_int, string) result =
match json with
| `Int i -> Ok (Z.of_int i)
| `Intlit is -> Ok (Z.of_string is)
| _ -> Error "not an integer or an integer literal"
(** A scalar value
Note that we use unbounded integers everywhere.
We then harcode the boundaries for the different types.
*)
type scalar_value =
| Isize of big_int
| I8 of big_int
| I16 of big_int
| I32 of big_int
| I64 of big_int
| I128 of big_int
| Usize of big_int
| U8 of big_int
| U16 of big_int
| U32 of big_int
| U64 of big_int
| U128 of big_int
[@@deriving of_yojson]
type constant_value =
| Scalar of scalar_value
| Bool of bool
| Char of char
| String of string
[@@deriving of_yojson]
|
