ast.ml

type identifier = string

type intrinsic =
  | SCAN
  | CANNON
  | DRIVE
  | DAMAGE
  | SPEED
  | HEADING
  | LOC_X
  | LOC_Y
  | RAND
  | SQRT
  | SIN
  | COS
  | TAN
  | ATAN

type binary_op =
  | ADD
  | SUB
  | MUL
  | DIV
  | MOD
  | EQ
  | NEQ
  | GT
  | LT
  | GEQ
  | LEQ
  | LAND
  | LOR
  | LSHIFT
  | RSHIFT

type unary_op = UMINUS | LNOT

type parameters = identifier list

type expression =
  | NIL
  | IDE of identifier
  | ASSIGN of identifier * expression
  | CALL of identifier * expression list
  | CALL_EXEC of instruction (* runtime-only *)
  | CONST of int
  | UNARY_EXPR of unary_op * expression
  | BINARY_EXPR of expression * binary_op * expression

and instruction =
  | EMPTY
  | IF of expression * instruction
  | IFE of expression * instruction * instruction
  | WHILE of expression * instruction
  | WHILE_EXEC of expression * instruction (* runtime-only *)
  | EXPR of expression
  | RET of expression option
  | BLOCK of instruction
  | BLOCK_EXEC of instruction (* runtime-only *)
  | VARDECL of identifier
  | VARDECL_INIT of identifier * expression
  | FUNDECL of identifier * parameters * instruction
  | SEQ of instruction * instruction

type program = instruction

let entry_point = CALL ("main", [])