chickadee » static-modules » make-mod-typing

(make-mod-typing core-syntax core-typing) procedure

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

  • check-modtype: checks the well-formedness of a module type
  • check-signature: checks the well-formedness of a signature
  • type-modterm: infers and returns the type of a module term
  • type-moddef: infers and returns the type of a module definition (sequence of definitions)
  • type-definition: infers and returns the type of a definition (inside a module or at toplevel)