Permalink
Switch branches/tags
Commits on Oct 13, 2011
  1. Rename the branch to reuse the name

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel-lenormand@11217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Oct 13, 2011
Commits on Dec 16, 2010
  1. fixed bug in parmatch

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@10907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 16, 2010
Commits on Dec 14, 2010
  1. existential variables now start with a &y

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@10904 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 14, 2010
  2. added pattern newtype declarations

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@10903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 14, 2010
  3. Create a branch for incomplete experiments

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@10899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  4. reset_pattern in partial_pred

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  5. forgot level in partial_pred

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  6. make it work with omega07.ml

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  7. fix some bugs found with omega07.ml

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
Commits on Dec 13, 2010
  1. Add omega examples

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10893 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 13, 2010
  2. In type_cases, must take instances of ty_res

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 13, 2010
  3. pattern level is only for definitions + existentials too should use p…

    …attern level
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 13, 2010
Commits on Dec 10, 2010
  1. back to original

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 10, 2010
Commits on Dec 5, 2010
  1. changed the syntax back

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 5, 2010
Commits on Dec 3, 2010
  1. newtypes now have an explicit level

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  2. changed syntax of constructors

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  3. existentials can no longer appear in let bindings. This is a temporar…

    …y restriction until we add gadt support to type_let
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  4. moved escaping let code

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  5. fixed escaping existentials in let bindings

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10880 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  6. fixed bug in syntactic sugar translation

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10879 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
  7. fixed update_level bug

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Dec 3, 2010
Commits on Nov 24, 2010
  1. fixed duplicate error message bug

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 24, 2010
Commits on Nov 22, 2010
  1. camlp4 -> caml ast transformations done

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 22, 2010
Commits on Nov 19, 2010
  1. Camlp4 finally works. This is probably not the most elegant implement…

    …ation
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10836 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 19, 2010
  2. changed VERSION to 3.13.0-gadt so that it can work with camlp5. This …

    …is nonstandard, but hopefully it will not cause any problems
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 19, 2010
  3. undid all changes to camlp4

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 19, 2010
Commits on Nov 18, 2010
  1. renammed a function

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 18, 2010
  2. small cleanup

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10816 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 18, 2010
Commits on Nov 17, 2010
  1. fix mcomp + untabify

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Nov 17, 2010
  2. updated addlabels

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    rathereasy committed Nov 17, 2010