Permalink
Switch branches/tags
Commits on Nov 24, 2011
  1. merge trunk

    Jacques Garrigue committed Nov 24, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. attempt at laxer -principal + one more example

    Jacques Garrigue committed Nov 24, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 18, 2011
  1. fix problem with moregen and Tnil row

    Jacques Garrigue committed Nov 18, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. * generalize the scrutinee in pattern-matching

    Jacques Garrigue committed Nov 18, 2011
    * for GADTs, make "let pat = exp in body" behave as "match exp with pat -> body"
    * in generalize_expansive, generalize the structure of contravariant parts
    * in unify2, remove parameterless abbreviations when they hide a lower level
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 14, 2011
  1. allow injectivity for datatypes

    Jacques Garrigue committed Nov 14, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Fix bugs reported by Jeremy Yallop (2011-11-14)

    Jacques Garrigue committed Nov 14, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 11, 2011
  1. more tests

    Jacques Garrigue committed Nov 11, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. fix Ctype.reify + more examples

    Jacques Garrigue committed Nov 11, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. add abstracting type annotations for methods too

    Jacques Garrigue committed Nov 11, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. add abstracting type annotations for methods too

    Jacques Garrigue committed Nov 11, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 8, 2011
  1. add new example by Alain Frisch (and me)

    Jacques Garrigue committed Nov 8, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Nov 2, 2011
  1. always share in Expression mode

    Jacques Garrigue committed Nov 2, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11256 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 28, 2011
  1. Implementing the precision feature for Scanf.

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Too long lines.

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Get rid of spurious warnings

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Get rid of spurious warnings

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Module Lnenum has vanished!

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. Typo in doc.

    pierreweis committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. fix mcomp

    Jacques Garrigue committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  8. Make it more principal + improve error messages

    Jacques Garrigue committed Oct 28, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 27, 2011
  1. correctly nest uses of unify_eq_set + clean-up

    Jacques Garrigue committed Oct 27, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. fix typing for objects and variants

    Jacques Garrigue committed Oct 27, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 25, 2011
  1. Dev++ for #4380 correction.

    pierreweis committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Bug #4380.

    pierreweis committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. allow using objects and polymorphic variants with gadts

    Jacques Garrigue committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Untabify.

    pierreweis committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  5. Module Buffer, printf, Format and Scanf are compiled with -w A.

    pierreweis committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  6. Typo

    pierreweis committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  7. Passes all tests. Works both with and without -principal

    Jacques Garrigue committed Oct 25, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts-devel@11236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 21, 2011
  1. allow breaking line for locations inside error messages

    Jacques Garrigue committed Oct 21, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Do not keep locations in .cmis!

    Jacques Garrigue committed Oct 21, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. merge branches/located_errors

    Jacques Garrigue committed Oct 21, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 20, 2011
  1. Shorter error messages for modules

    Jacques Garrigue committed Oct 20, 2011
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Oct 15, 2011
  1. Reverted most of previous change re: local labels in AMD64/MacOSX.

    xavierleroy committed Oct 15, 2011
    The wretched MacOSX "ld -shared" (under 10.6 at least) balks on
    subtracting two local labels, while it deigns subtracting two
    nonlocal labels.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02