compil-petitrust/ast.mli at master · robindar/compil-petitrust · GitHub

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
type binop_type = Add | Sub | Mul | Div | Mod
  | Equal | Eq | Neq | Leq | Geq | Lt | Gt | And | Or
type unop_type  = Minus | Bang | Star | Amp | AmpMut

type ident = string
type _string = string

type location = Lexing.position * Lexing.position

type _type=
  | Ident of ident
  | TypedIdent of ident * _type
  | AddressOf of _type
  | AddressOfMut of _type

type expr =
  | Int of int * location
  | Bool of bool * location
  | Ident of ident * location
  | Unop of unop_type * expr * location
  | Binop of binop_type * expr * expr * location
  | Dot of expr * ident * location
  | Len of expr * location
  | Brackets of expr * expr * location
  | FunCall of (ident * location) * expr list * location
  | Vec of expr list * location
  | Print of _string * location
  | Bloc of bloc * location
and decl =
  | DeclStruct of (ident * location)
                  * (ident * location * _type) list * location
  | DeclFun of (ident * location)
               * (bool * ident * location * _type) list
               * _type option * bloc * location
and bloc = instr list * expr option * location
and instr =
  | Empty of location
  | Expr of expr * location
  | Let of bool * (ident * location) * expr * location
  | LetStruct of bool * (ident * location) * (ident * location)
                 * (ident * location * expr) list * location
  | While of expr * bloc * location
  | Return of expr option * location
  | If of expr * bloc * bloc * location

type file = decl list