package links

You can search for identifiers within the package.

in-package search v0.2.0

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 tenv = Types.datatype Env.Int.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 = {

}

val program : Context.t -> Types.datatype -> Sugartypes.program -> result