1. 12 Sep, 2014 2 commits
  2. 09 Sep, 2014 1 commit
    • Pietro Abate's avatar
      New syntax for parametric types · f1235de1
      Pietro Abate authored
      now we can write types as
      type t( 'a) = <a>'a
      
      and patterns can contain type instantiations
      let f = fun (t('a) -> [ t('a)* ]) x -> [ x ];;
      let id = fun (t(Int) -> [ t(Int)* ]) x -> [ x ];;
      
      Note: parametric types must be written as "IDENT(" without space.
      f1235de1
  3. 08 Sep, 2014 3 commits
  4. 28 Aug, 2014 1 commit
    • Pietro Abate's avatar
      More var.ml cleanup · 737730a2
      Pietro Abate authored
      - Var identifiers are now of type U.t instead of string
      - Remove TVar from ast. Polymorphic variables are just types
      737730a2
  5. 19 Aug, 2014 1 commit
  6. 23 Jul, 2014 1 commit
  7. 11 Jul, 2014 3 commits
  8. 01 Jul, 2014 1 commit
  9. 23 Jun, 2014 1 commit
  10. 22 Jun, 2014 1 commit
  11. 19 Jun, 2014 6 commits
  12. 15 Jan, 2014 1 commit
    • Pietro Abate's avatar
      Parse type variables as patterns · 6ee8a6b0
      Pietro Abate authored
      - type variables are now correctly parsed as patterns
        and not as expressions
      
      - Add a new module Var that contains all the type variables
        related machinery
      
      - Remove old functions and unit tests about BoolVar of only
        variables, since now variables are always stored associated
        with one or more kinds
      6ee8a6b0
  13. 06 Jan, 2014 1 commit
  14. 11 Dec, 2013 1 commit
  15. 03 Dec, 2013 2 commits
  16. 05 Oct, 2007 14 commits