Permalink
Commits on Jun 15, 2011
  1. fix record pattern-matching; sort records in typed tree

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 15, 2011
Commits on Jun 14, 2011
  1. do not use unify_pat_types_gadts for normal constructors!

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 14, 2011
Commits on Jun 6, 2011
  1. update tests

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 6, 2011
Commits on Jun 5, 2011
  1. fix problem with constraints outside of matching, see typing-gadts/te…

    …st.ml
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jun 5, 2011
Commits on Apr 19, 2011
  1. limit propagation of type constraints to patterns to -principal mode

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 19, 2011
  2. * make -principal stricter for gadts

    * may also change behaviour without -principal
    * propagate type constraints in let expressions to patterns
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Apr 19, 2011
Commits on Mar 10, 2011
  1. fix principality by expanding local definitions when exporting a value

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Mar 10, 2011
Commits on Feb 24, 2011
  1. recover some principality

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Feb 24, 2011
Commits on Jan 7, 2011
  1. add some more examples + section titles

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 7, 2011
  2. backport of fix from gadts-devel

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 7, 2011
Commits on Jan 6, 2011
  1. finish section 5

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 6, 2011
Commits on Jan 5, 2011
  1. add sections 5.7 to 5.10

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Jan 5, 2011
Commits on Dec 14, 2010
  1. allow existentials in "as" patterns + report escaping newtypes + clea…

    …n-up
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  2. add red-black trees

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Jacques Garrigue committed Dec 14, 2010
  3. 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
  4. 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
  5. 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
  6. 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