package lutin
-
lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
TYPE/BINDING CHECK : typage
------------------------------------------------------------
Type effectif :
- implémente l'équivalence de type
- et aussi le typage "fonctionnel" des macros, en prennant en compte le polymorphisme et la sucharge des opérations numériques
N.B. Pour ce qui est de l'équivalence, pour l'instant c'est un peu du luxe, vu qu'on n'a que des types simples ...
----------------------------------------------------------
type basic = Syntaxe.predef_typepour typer les variables et les expressions
GESTION DES PROFILS
TYPES USUELS
val boolean : tval integer : tval real : tval trace : tval is_data : t -> boolval is_data_profile : profile -> boolval weight : tval except : tval is_ref : t -> boolPROFILS USUELS on utilise les mnémo. b -> bool i -> int n -> int ou real x -> int ou real ou bool t -> trace w -> weight e -> exception
- simples :
val prof_t_t : profileval prof_tt_t : profileval prof_it_t : profileval prof_ti_t : profileval prof_bt_t : profileval prof_iit_t : profileval prof_b_b : profileval prof_bb_b : profileval prof_bl_b : profileval prof_ii_i : profileval prof_iii_i : profileval prof_tw_t : profile- trace * weight
val prof_et_t : profile- exception * trace
val prof_ett_t : profile- polymorphes :
val prof_bxx_x : profileval prof_xx_b : profile- surchargés :
val prof_nn_b : profileval prof_nn_n : profileval prof_n_n : profileEXPRESSION DE TYPE -> TYPE EFFECTIF
val of_texp : Syntaxe.type_exp -> tPRETTY-PRINT
val to_string : t -> stringval prof_to_string : profile -> stringval list_to_string : t list -> stringCOMPATIBILITÉ DES t lifts_to x y ssi un x peut être utilisé en place d'un y en particulier eq => lifts_to
RÉSOLUTION DES profils :
- renvoie le type eff du résultat si compatible
- raise Failure ou Invalid_argument sinon