package lutin

You can search for identifiers within the package.

in-package search v0.2.0

lutin
- Auto2Lucky
- AutoGen
- Bddd
- CheckEnv
- CheckType
- CkIdentInfo
- CkTypeEff
- CoAlgExp
- CoIdent
- CoTraceExp
- Constraint
- Draw
- Exp
- ExpEval
- Expand
- ExprUtil
- FGen
- Formula_to_bdd
- GenOcamlGlue
- Glue
- Gne
- Guard
- Lexeme
- LoopWeights
- Luc2alice
- Luc2c
- LucFGen
- Lucky
- LutErrors
- LutExe
- LutLexer
- LutParser
- LutPredef
- LutProg
- LutinRun
- LutinUtils
- MainArg
- Ne
- Parsers
- Poly_draw
- Polyhedron
- Prevar
- Prog
- Reactive
- Rif
- Sol_nb
- Solver
- Store
- Syntaxe
- SyntaxeDump
- Thickness
- Type
- Util
  - StringMap
- Utils
- Value
- Var
- Verbose
- Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

TYPE/BINDING CHECK : main

------------------------------------------------------------- Cette passe a essentiellement pour but de donner un type effectif aux diff�rents items syntaxiques du programme (lets, expressions).

Conjointement, elle r�sout les "bindings" des identificateurs :

toute r�f�rence � un identificateur est identifi�e de mani�re UNIQUE par son ident (d�cor� de son info source)

On utilise trois tables :

une table GLOBALE de binding "ident -> ident_info"
une table "dynamique" de scoping "string -> ident_info"
une table de typage des exp "val_exp -> type_eff"

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

val type_error : Lexeme.t -> CkTypeEff.t list -> CkTypeEff.t list -> 'a

val arity_error : Lexeme.t -> int -> int -> 'a

val check_var_decl : 
  CheckEnv.t ->
  (Syntaxe.ident
   * Syntaxe.type_exp
   * Syntaxe.val_exp option
   * (Syntaxe.val_exp * Syntaxe.val_exp) option) ->
  Syntaxe.ident * CkTypeEff.t

val check_erun_var_decl : 
  CheckEnv.t ->
  (Syntaxe.ident * Syntaxe.type_exp option * Syntaxe.val_exp option) ->
  CkTypeEff.t ->
  Syntaxe.ident * CkTypeEff.t

val check_run_var_decl : 
  CheckEnv.t ->
  Syntaxe.ident ->
  CkTypeEff.t ->
  Syntaxe.ident * CkTypeEff.t

val check_exp : CheckEnv.t -> Syntaxe.val_exp -> CkTypeEff.t

val match_type_profile : 
  CkTypeEff.t list ->
  CkTypeEff.profile ->
  Lexeme.t ->
  CkTypeEff.t

val match_run_type_profile : 
  CkTypeEff.t list ->
  CkTypeEff.profile ->
  Lexeme.t ->
  CkTypeEff.t list

val check_let : CheckEnv.t -> Syntaxe.let_info -> CkTypeEff.t

val check_extern : CheckEnv.t -> Syntaxe.let_info -> CkTypeEff.t

val check_node : CheckEnv.t -> Syntaxe.node_info -> CkTypeEff.profile

val check_pack : string list option -> Syntaxe.package -> CheckEnv.t