package links

  1. Overview
  2. Docs
Package contains no libraries

Converts the tree returned by the parser into our internal representation

val show_compiled_ir : bool Settings.setting
type nenv = Var.var Env.String.t
type env = nenv * tenv * Types.row
val desugar_expression : env -> Sugartypes.phrase -> Ir.computation
val desugar_definitions : env -> Sugartypes.binding list -> Ir.binding list * nenv
val desugar_program : env -> Sugartypes.program -> Ir.binding list * Ir.computation * nenv
type result = {
  1. globals : Ir.binding list;
  2. program : Ir.program;
  3. datatype : Types.datatype;
  4. context : Context.t;
}