Skip to content
Snippets Groups Projects
  1. Aug 10, 2012
    • Pascal Raymond's avatar
      gros menage : · fbd5b3bc
      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)
      fbd5b3bc
  2. Aug 08, 2012
  3. Aug 07, 2012
  4. Aug 06, 2012
  5. Aug 03, 2012
  6. Jul 14, 2012
  7. Jul 13, 2012
  8. Jul 12, 2012
  9. Jul 11, 2012
    • Pascal Raymond's avatar
      Debut de DoNoPoly, qui necessite une modif assez · 4e1418a0
      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 ?)
      4e1418a0
  10. Jul 10, 2012
  11. Jul 09, 2012
  12. Jul 07, 2012
  13. Jul 06, 2012
  14. Jul 04, 2012
  15. Jul 03, 2012
  16. Dec 05, 2011
Loading