package lustre-v6
-
lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lustre-v6
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Static evaluation of types.
val f : IdSolver.t -> Lic.val_exp -> Lic.val_exp * Lic.type_ listEvaluates the type of an expression, and return a val_exp with its "type_" field updated (and ditto for the type of its sub expr).
Modif 12/07 :
- Travaille au niveau Lic. donc on vire IdSolver.t qui travaille au niveau syntaxique