links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Irtojs
module VEnv = Env.Int

IR variable environment

type venv = string VEnv.t

Type of environments mapping IR variables to object variables

type code =
| Var of string
| Lit of string
| Fn of string list * code
| LetFun of (string * string list * code * Ir.location) * code
| LetRec of (string * string list * code * Ir.location) list * code
| Call of code * code list
| Unop of string * code
| Binop of code * string * code
| If of code * code * code
| Case of string * (string * code) Utility.stringmap * (string * code) option
| Dict of (string * code) list
| Arr of code list
| Bind of string * code * code
| Return of code
| Die of string
| Nothing

Intermediate language

module type JS_PAGE_COMPILER = sig ... end
module type JS_CODEGEN = sig ... end