blob: 3b1fc58afb4bf0f2c801f7351558f54f13a32080 (
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
exception IntegerOverflow of unit
(** Signature for a module describing an identifier.
We often need identifiers (for definitions, variables, etc.) and in
order to make sure we don't mix them, we use a generative functor
(see [IdGen]).
*)
module type Id = sig
type id
type 'a vector
val zero : id
val incr : id -> id
val to_string : id -> string
end
(** Generative functor for identifiers.
See [Id].
*)
module IdGen () : Id = struct
type id = int
type 'a vector = 'a list (* TODO: use a map *)
let zero = 0
let incr x =
(* Identifiers should never overflow (because max_int is a really big
* value - but we really want to make sure we detect overflows if
* they happen *)
if x == max_int then raise (IntegerOverflow ()) else x + 1
let to_string = string_of_int
end
type name = string list
(** A name such as: `std::collections::vector` *)
module TypeVarId = IdGen ()
module TypeDefId = IdGen ()
module VariantId = IdGen ()
module FieldId = IdGen ()
module RegionVarId = IdGen ()
type type_var = {
index : TypeVarId.id; (** Unique index identifying the variable *)
name : string; (** Variable name *)
}
type region_var = {
index : RegionVarId.id; (** Unique index identifying the region *)
name : string option; (** Region name *)
}
(** A region.
Regions are used in function signatures (in which case we use region variable
ids) and in symbolic variables and projections (in which case we use region
ids).
*)
type 'rid region =
| Static (** Static region *)
| Var of 'rid (** Non-static region *)
(** The type of erased regions.
We could use unit, but having a dedicated type makes things more explicit.
*)
type erased_region = Erased
type integer_type =
| Isize
| I8
| I16
| I32
| I64
| I128
| Usize
| U8
| U16
| U32
| U64
| U128
type ref_kind = Mut | Shared
type assumed_ty = Box
type 'r ty =
| Adt of TypeDefId.id * 'r list * 'r ty list
| TypeVar of TypeVarId.id
| Bool
| Char
| Never
| Integer of integer_type
| Str
| Array of 'r ty (* TODO: there should be a constant with the array *)
| Slice of 'r ty
| Ref of 'r * 'r ty * ref_kind
| Tuple of 'r ty list
| Assumed of assumed_ty * 'r list * 'r ty
type rty = RegionVarId.id region ty
(** Type with *R*egions.
Used in function signatures and type definitions.
*)
type ety = erased_region ty
(** Type with *E*rased regions.
Used in function bodies, "general" value types, etc.
*)
type field = { name : string; ty : rty }
type variant = { name : string; fields : field FieldId.vector }
type type_def_kind =
| Struct of field FieldId.vector
| Enum of variant VariantId.vector
type type_def = {
def_id : TypeDefId.id;
name : name;
region_params : region_var RegionVarId.vector;
type_params : type_var TypeVarId.vector;
kind : type_def_kind;
}
module Id0 = IdGen ()
module Id1 = IdGen ()
let x0 = Id0.zero
let x1 = Id0.incr x0
let () =
let _ = print_endline "Hello, world!" in
let _ = print_endline (Id0.to_string x1) in
()
|
