package rfsm

mk_env () should return the initial typing environment. This environment should contain, in particular, bindings for builtins primitives, type and value constructors.

lookup_var l x env should return the type bound to identifier x in environment env. The behaviour when x is not bound in env is left to guest definition. A possibility is to raise Ident.Undefined for example.

add_var scope env (x,t) should return the environment obtained by the binding (x,t) to env. The scope parameter is a hint to the guest type inference system. Typically, it will be used to determine, in the case the added type contains type variables, whether these variables will be generalized (scope=Local) or not (scope=Global). The behaviour when x is already bound in env is left to guest definition.

add_param env (x,t) should return the environment obtained by the binding (x,t) as a model parameter to env.

pp_env fmt env should print a readable representation of typing environment env on formatter fmt.

type_check loc t t' should be called whenever types t and t' have to be unified at program location loc.

type_type_decl env td should return the typing environment obtained by type checking the type declaration td in environment env.

type_expression env e should return the type of expression e in environment env.

type_of_type_expr env te should return the type denoted by the type expression te in environment env.

type_lval env l should return the type of l-value l in environment env.