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 : infos associées aux idents
------------------------------------------------------------
Information attachées idents au cours du type/binding check
N.B. les exceptions ont traités comme des constantes abstraites de type CkTypeEff.except
----------------------------------------------------------
type t = {ii_name : string;ii_def_ident : Syntaxe.ident option;ii_nature : nature;ii_type : CkTypeEff.t list;ii_hideable : bool;
}and nature = | Formal_param| Support_var| Const_ident| Def_ident of Syntaxe.let_info| Macro_ident of Syntaxe.let_info option * CkTypeEff.profile| Node_ident of Syntaxe.node_info option * CkTypeEff.profile| External_func of Syntaxe.let_info option * extern_info option * CkTypeEff.profile
val get_type : t -> CkTypeEff.tval is_predef : t -> boolval is_extern : t -> boolval def_ident : t -> Syntaxe.identCRÉATION DES INFOS
val of_support : Syntaxe.ident -> CkTypeEff.t -> tval of_param : Syntaxe.ident -> CkTypeEff.t -> tLes constantes abstraites peuvent être :
- globales, auquels cas il est interdit de les re-définir localement
- locales, auquels cas on a le droit de redéfinir localement
val of_global_cst : Syntaxe.ident -> CkTypeEff.t -> tval of_local_cst : Syntaxe.ident -> CkTypeEff.t -> tval of_macro : Syntaxe.ident -> CkTypeEff.profile -> Syntaxe.let_info -> tmacro/alias : on garde toute les infos du let
val of_alias : Syntaxe.ident -> CkTypeEff.t -> Syntaxe.let_info -> tval of_node : Syntaxe.ident -> CkTypeEff.profile -> Syntaxe.node_info -> tnode
val of_extern :
Syntaxe.ident ->
CkTypeEff.profile ->
Syntaxe.let_info ->
extern_info option ->
textern : cas simplifie du precedent
val of_predef_op : string -> CkTypeEff.profile -> topérateur prédéfini : juste un nom et un profil
val of_predef_cst : string -> CkTypeEff.t -> tconstante prédéfinie : juste un nom et un type
val to_string : t -> stringval is_hideable : t -> bool