ALIRE

Reprise des travaux, juillet 2012 ...

Besoins :
- intégrer les constructions d'horloge avancées (condact et merge)

En cours :
- sans tout casser, remettre un peu d'ordre dans la bande  
  Compile/Eff/LasyCompiler, surtout LasyCompiler qui fait 
  un peu trop de choses...
- Idée, on passe par une forme intermédaire LicPrg :
  * composée des type "compilés" Eff.xxx
  * point de sortie de LasyCompiler : son rôle doit
    être revu à la baisse, il s'occupe de "tirer" les fils 
    (aspect lazy), c'est-à-dire résoudre tout ce qui est
    packaging et parametres statiques, MAIS PAS PLUS
  * toutes les autre modifs de type source_2-source sont fait
    dans des modules dédiés par des fonctions LicPrg -> LicPrg
  * L'impression proprement dite des progs est un (simple)
    dump du LicPrg : elle n'est plus faite au fur et à mesure
    dans LasyCompiler


ETAT COURANT

-----------------------------------------------------------
12/07/09

--> Les expressions de noeud qui s'avèrent polymorphes et/ou
  surchargés, sont :
  - acceptées dans les val_exp, à condition que l'utilisation
    lève l'ambiguité
  - refusées dans les "node alias"

  = PLUS TARD : il faudrait que les noeuds qui s'avèrent polymorphes
    et/ou surchargés soient traités comme de MACROS avec un STATIG ARG
    de nature TYPE implicite

-----------------------------------------------------------
12/07/05

- completement séparé la compil de l'affichage, du coup
  on a débranché l'ancien source_to_source

- l'ajout d'alias sur type array est fait par une passe source 2 source :
  ca fait un exemple de traitement s2s simple,
  c'est plus propre qu'avant ou c'etait fait par effet de bord
  a l'affichage
--> consequence co-latterale : les clashs sur nom de type introduit
    sont gérés de manière plus "smart"

==> reste a faire :
   refaire les traitements source_to_source !!