grammar.ml

(* This is free and unencumbered software released into the public domain. *)

type program = definition list

and definition =
  | Const of identifier * type' * expression
  | Global of identifier * type' * expression option
  | Function of function'

and function' =
  modifier * identifier * parameter list * expression list

and modifier =
  | Private
  | Public
  | PublicPure

and parameter = identifier * type' option

and expression =
  | Assert of expression * expression
  | Identifier of identifier
  | Literal of literal
  | SomeExpression of expression
  | ListExpression of expression list
  | RecordExpression of binding list
  | IsNone of expression
  | IsSome of expression
  | IsErr of expression
  | IsOk of expression
  | DefaultTo of expression * expression
  | VarGet of identifier
  | VarSet of identifier * expression
  | Err of expression
  | Ok of expression
  | Not of expression
  | And of expression list
  | Or of expression list
  | Eq of expression list
  | Lt of expression * expression
  | Le of expression * expression
  | Gt of expression * expression
  | Ge of expression * expression
  | Add of expression list
  | Sub of expression list
  | Mul of expression list
  | Div of expression list
  | Mod of expression * expression
  | Pow of expression * expression
  | Xor of expression * expression
  | Len of expression
  | ToInt of expression
  | ToUint of expression
  | FunctionRef of identifier
  | FunctionCall of identifier * expression list
  | Try of expression
  | Unwrap of expression * expression
  | UnwrapPanic of expression
  | UnwrapErr of expression * expression
  | UnwrapErrPanic of expression
  | If of expression * expression * expression
  | Let of binding list * expression list
  | Match of expression * binding * binding

and binding = identifier * expression

and literal =
  | NoneLiteral
  | BoolLiteral of bool
  | I64Literal of int64
  | U64Literal of int64
  | I128Literal of Big_int.big_int
  | U128Literal of Big_int.big_int
  | BufferLiteral of string
  | StringLiteral of string
  | RecordLiteral of identifier * literal

and identifier = string

and type' =
  | Principal
  | Bool
  | I64
  | U64
  | I128
  | U128
  | Optional of type'
  | Response of type' * type'
  | Buff of int
  | String of int
  | List of int * type'
  | Map of type' * type'
  | Record of record_field list

and record_field = identifier * type'