-
Erwan Jahier authored
nb: les tests ne passent toujours bien sur. * Partie lus -> AST predef.ml -> srcPredef.ml syntaxTreeCore.ml -> astCore.ml syntaxTree.ml -> astV6.ml syntaxTreeDump.mli-> astV6Dump.mli * Partie Ast -> Ast solveIdent.mli -> astRecognizePredef.mli syntaxTab.mli -> astTab.mli symbolTab.mli -> astTabSymbol.mli * Partie AST -> lic (static evaluation) eff.ml -> lic.ml getEff.mli -> ast2lic.mli lazyCompiler.mli -> licTab.mli builtIn.ml -> licMetaOp.ml predefEval*.ml -> licEval*.ml name.mli -> licName.mli * Partie Lic -> Lic uniqueOutput.mli -> l2lCheckOutputs.mli structArrayExpand.mli -> l2lExpandArrays.mli nodesExpand.mli -> l2lExpandNodes.mli doNoPoly.ml -> l2lRmPoly.ml doAliasTypes.ml -> l2lAliasType.ml doSplit.ml -> l2lSplit.ml
Erwan Jahier authorednb: les tests ne passent toujours bien sur. * Partie lus -> AST predef.ml -> srcPredef.ml syntaxTreeCore.ml -> astCore.ml syntaxTree.ml -> astV6.ml syntaxTreeDump.mli-> astV6Dump.mli * Partie Ast -> Ast solveIdent.mli -> astRecognizePredef.mli syntaxTab.mli -> astTab.mli symbolTab.mli -> astTabSymbol.mli * Partie AST -> lic (static evaluation) eff.ml -> lic.ml getEff.mli -> ast2lic.mli lazyCompiler.mli -> licTab.mli builtIn.ml -> licMetaOp.ml predefEval*.ml -> licEval*.ml name.mli -> licName.mli * Partie Lic -> Lic uniqueOutput.mli -> l2lCheckOutputs.mli structArrayExpand.mli -> l2lExpandArrays.mli nodesExpand.mli -> l2lExpandNodes.mli doNoPoly.ml -> l2lRmPoly.ml doAliasTypes.ml -> l2lAliasType.ml doSplit.ml -> l2lSplit.ml
Urgent
Mettre à jour le tout nouveau file:README.org wrt src
- State “TODO” from “” [2012-12-10 Mon 17:02]
Renommer tous les modules et faire du ménage
- State “TODO” from “” [2012-12-10 Mon 16:55]
rebrancher le nodeExpand.ml et structArrayExpand.ml
- State “TODO” from “” [2012-12-10 Mon 16:55]
file:~/lus2lic/src/nodesExpand.ml
file:~/lus2lic/src/structArrayExpand.mli
Pascal les a débranché lors de son ménage d’été.
Refaire marcher les tests de non-reg qui sont cassés
suites aux modifs de Pascal de l’été 2012- State “TODO” from “” [2012-10-26 Fri 14:59]
En fait, ce qui est cassé, c’est surtout le -ec puisqu’il n’a pas rebranché l’expansion de tableau et de noeud.
il a fait
- mv tests _tests
- mkdir tests
- cp _tests/Makefile tests
- créer des tests qu’il a mis dans tests…
Merger mes tests et les nouveaux tests de Pascal
- State “TODO” from “” [2012-12-10 Mon 17:13]
Pas dur
Mettre le sha dans l’affichage de –version
car c’est plus facile dans git pour retrouver ses petits
- State “TODO” from “” [2012-10-26 Fri 14:59]
Intégrer le résultat de mly2bnf dans le manuel
A faire
Définir les fonctions de UglyStuff proprement
- State “TODO” from “” [2012-12-10 Mon 16:38]
file:~/lus2lic/src/uglyStuff.ml
Rajouter le with à la caml pour les structures
- State “TODO” from “” [2012-10-26 Fri 14:59]
Dans file:src/eff.ml::195 on pourrait virer la notion de call by name
qui ne sert que pour les structures. Mais au niveau du Eff, on pourrait s’en être débarrassé au profit d’un appel par position. A faire au moment de la compilation des expressions.
question : est-ce que cela nous prive d’une optim pour le traitement du with ? comment fait caml ?
- State “TODO” from “” [2012-10-26 Fri 14:59]
on devrait se passer de ‘static_arg list’ pour le champ PREDEF_CALL
(c’est censé marcher) cf file:./src/eff.ml::206
- State “TODO” from “” [2012-10-26 Fri 14:59]
L’ideal serait de se passer du PREDEF_CALL (et de passer par le CALL normal)
- State “TODO” from “” [2012-10-26 Fri 14:59]
le Eff.WITH (aka if statique) n’a pas lieu d’être !
y virer !!
- State “TODO” from “” [2012-10-26 Fri 14:59]
Vieux trucs (?)
operateurs iterables
- State “TODO” from “” [2012-03-30 Fri 17:03]
- mettre dans la doc
- voir si on ne pourrait pas completer la liste
en mettant tous les operateurs unaires de file:~/lus2lic/src/syntaxTreeCore.ml::91 dans file:~/lus2lic/src/predef.ml::62
- tout au moins, eviter les assert false sur
Revoir le nommage des instances de noeuds parametriques
par ex, pour should_work/NONREG/param_struct.lus ca invente des noms bien débiles du point de vue du nom du pack. Style ‘mk_tab__param_struct::toto_toto_3’ alors qu’aucun package ne s’appelle ‘mk_tab__param_struct’
Changer la facon de numeroter les versions dans lus2lic (faire comme dans lurette)
[2010-11-08 Mon]
Verifier les boucles combinatoires quand on genere du ec (car ec2c ne fait pas la verif !)
[2010-06-07 Mon]
Refaire une passe pour virer une fois pour toute cette histoire d’idref dans Eff.
cf file:/~/lus2lic/src/eff.ml line 189 QU: Pascal l’a fait ?
lic2c : le jour ou on genere du code C, y’a peut-etre des trucs a recuperer
- State “TODO” from “” [2012-12-10 Mon 14:32]
des trucs chez cedric pasteur (thesard marc p) qui a une implementation pour optimiser la maj des tableaux