chickadee » static-modules » make-mod-eval

make-mod-eval core-syntax core-eval enter-valprocedure

This procedure creates the structure describing module language type checking. core-syntax is an object created by make-core-syntax, and core-eval is a procedure to evalue core syntactic terms. This procedure returns multiple values with the following meaning:

  • modval?: predicate for module values
  • Structure_v: constructor for a structure of values
  • Mclosure_v: constructor for a structure closure
  • path-find-val: given a path and value environment, returns the corresponding value, if it exists in the environment
  • find-module-val: like path-find-val, but only for modules
  • mod-eval: given an evaluation environment and a list of module definitions, evaluates and returns the corresponding value