- Jan 24, 2013
-
-
Erwan Jahier authored
-
- Jan 19, 2013
-
-
Erwan Jahier authored
-
- Jan 18, 2013
-
-
Erwan Jahier authored
Plug back the enums expansion (-ee, --expand-enums) that translates enum types using extern consts and types.
-
Erwan Jahier authored
-
Erwan Jahier authored
-
Erwan Jahier authored
Remove all test that now passes from the broken dir.
-
- Jan 17, 2013
-
-
Erwan Jahier authored
-
- Jan 16, 2013
-
-
Erwan Jahier authored
-
Erwan Jahier authored
It was beacause the tables in LicVarName were cleaned and because the way this module work sucks...
-
Erwan Jahier authored
on programs containing equations such as : b3, b4, b5, b6 = (three_outputs(two_outputs(b1,b2),true), false); because TUPLES where not correctly inlined (i.e., "...= n((x,y),z)" instead of "...=n(x,y,z)"
-
- Jan 14, 2013
-
-
Erwan Jahier authored
-
- Jan 11, 2013
-
-
Erwan Jahier authored
Also do not print type and const declarations with -ec.
-
Erwan Jahier authored
-
Erwan Jahier authored
nb : I've transformed all the regressions I've seen into todo entries in todo.org. nb 2 : I did not mv the newly broken tests into the broken dirs. I'll do that for those I do not want to fix in the short term.
-
- Dec 20, 2012
-
-
Erwan Jahier authored
Also call L2lCheckOutputs.check_node for all compiled nodes at the end of all the l2l transfo.
-
Erwan Jahier authored
-
- Dec 18, 2012
-
-
Erwan Jahier authored
-
- Dec 13, 2012
-
-
Erwan Jahier authored
-
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
-
- Dec 11, 2012
-
-
Erwan Jahier authored
+ remise en place du souk qu'il a mis dans le repertoire test. - il a commencé à rajouter le CondAct (tout est parti de la en fait...) - il a coupé le LazyCompiler en morceaux Pour cela, il a créé un nouveau module LicPrg qui définit la structure de données (SDD) en sortie du LazyCompiler. Ensuite, les diverses tranformations src2src sont faites à partir de cette SDD. - il a débranché (temporairement) l'expansion de noeud et de array/structure - il a débranché ma pseudo inférence de type et a mis à la place une vérification de types. - Le traitement du polymorphisme est effectué via une transfo src2src dans DoNoPoly (que je vais renommer en RmPoly) -------------------------------------------------------------------------- Par ailleurs, J'ai créé un todo.org et un README.org que je vais essayer de tenir à jour. nb: les tests ne passent toujours bien sur.
-
- Oct 26, 2012
-
-
Erwan Jahier authored
-
Erwan Jahier authored
-
- Aug 10, 2012
-
-
Pascal Raymond authored
- plus de macros prefefinies (e.g. FILL, BOOLRED etc...) (remplacé par la notion de BuiltIn) - split.ml adapté et remanié pour rentrer dans le moule source to source (voir DoSplit)
-
- Aug 08, 2012
-
-
Pascal Raymond authored
-
Pascal Raymond authored
-
- Aug 07, 2012
-
-
Pascal Raymond authored
-
Pascal Raymond authored
-
Pascal Raymond authored
-
- Aug 06, 2012
-
-
pascal authored
-
Pascal Raymond authored
-
- Aug 03, 2012
-
-
Pascal Raymond authored
-
- Jul 14, 2012
-
-
pascal authored
-
Pascal Raymond authored
-
Pascal Raymond authored
et donc ne marchent plus !
-
- Jul 13, 2012
-
-
Pascal Raymond authored
IDENT remplacé par VAR_REF/CONST_REF - plus de node_exp dans les CALL, juste une ref (node_key) - reste a faire pareil pour les NodeStaticArgEff
-
pascal authored
qu'un noeud global avec param statique i.e. node toto<<node foo...>> quand il existe un node foo<< ...>> globalement (cf. nodeparam.lus)
-
- Jul 12, 2012
-
-
Pascal Raymond authored
-
Pascal Raymond authored
-
Pascal Raymond authored
-
- Jul 11, 2012
-
-
Pascal Raymond authored
importante du mecanisme de UnifyType : - fait : * definition de Eff.poly_match * TypeVar type_var au lieu de Any/Overload avec type_var = Any | AnyNum (pour l'instant et pour longtemps ?!) - à faire : * revoir UnifyType pour qu'il rende un poly_match * stocker là où c'est nécessaire les poly_match calculés lors du type check (pour les CALL et peut-être les sargs ?)
-