package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

inherit Links_core.IrTraversals.Transform.visitor

val globals : Links_core.Utility.IntSet.t

val cont_vars : (Links_core.Var.var, Links_core.Utility.IntSet.t)
                  Links_core.Utility.Hashtbl.t

method close : Links_core.Var.binder -> Links_core.Utility.IntSet.t -> unit

method global : Links_core.Utility.IntSet.elt -> 'b

method binder : Links_core.Ir.binder -> Links_core.Ir.binder * 'b

method close_cont : Links_core.Utility.IntSet.t ->
  Links_core.Ir.binding list ->
  'b

Incrementally compute the free variables for every possible continuation arising from a computation.

The first argument is the free variables in the tail. The second argument is the list of bindings in reverse order.

The list of bindings is in reverse order in order to make things both easier to express and more efficient.

method computation : Links_core.Ir.computation ->
  Links_core.Ir.computation * Links_core.Types.datatype * 'b