Module CkTypeEffSource

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 ...

----------------------------------------------------------

GESTION DES PROFILS

TYPES USUELS

PROFILS 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 :

• polymorphes :

• surchargés :

EXPRESSION DE TYPE -> TYPE EFFECTIF

PRETTY-PRINT

COMPATIBILITÉ 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