Make (p.herdtools7.7.58.doc.herdtools7.asllib.Asllib.Interpreter.Make)

Parameters

module B : Backend.S

module C : Config

Signature

Sourcemodule B = B

Sourcemodule IEnv : Env.S with type v = B.value and module Scope = B.Scope

Internal representation for subprograms.

Sourcetype value_read_from = B.value * AST.identifier * B.Scope.t

Sourcetype 'a maybe_exception =

| Normal of 'a
| Throwing of (value_read_from * AST.ty) option * IEnv.env

Source

val eval_expr : 
  IEnv.env ->
  AST.expr ->
  (B.value * IEnv.env) maybe_exception B.m

Source

val run_typed_env : 
  (AST.identifier * B.value) list ->
  StaticEnv.global ->
  AST.t ->
  B.value B.m

run env0 tenv ast runs the function main of the ast, in the typing environment tenv. However, the (global) identifiers listed in the A-list env0 will take their initial values from env0 and _not_ from ast.

Sourceval run_typed : StaticEnv.global -> AST.t -> B.value B.m

run_typed ast env runs the function main of the typed-checked ast, in typed-checking environment env.