Permalink
Commits on Oct 21, 2009
  1. @alainfrisch

    Remove the combined unpack/local binding of modules (let module (M : …

    …T) = ...).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 21, 2009
  2. @alainfrisch
Commits on Oct 19, 2009
  1. @alainfrisch

    Attempt to make the restriction on (val e : S) safe.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 19, 2009
  2. @alainfrisch

    Allow (val e : S) in functors' body when applicative functors are dis…

    …abled. Force the -no-app-funct flag to be used as soon as one dependency uses it. Also, force the interface to be compiled with -no-app-funct when the implemented is.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 19, 2009
Commits on Oct 18, 2009
  1. @alainfrisch
Commits on Oct 16, 2009
  1. @alainfrisch

    Unpack packaged modules as a module expression.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 16, 2009
Commits on Oct 6, 2009
  1. @alainfrisch

    First commit on first-class packaged modules.

    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fstclassmod@9370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 6, 2009
  2. @alainfrisch
  3. @alainfrisch

    Import changes from the newtypein branch (svn merge -r 9361:9367 http…

    …s://frisch@yquem.inria.fr/caml/svn/ocaml/branches/newtypein).
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    alainfrisch committed Oct 6, 2009
Commits on Sep 25, 2009
  1. @pierreweis

    Variable err is initialized to 0.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 25, 2009
  2. @pierreweis

    Les fonctions internal_tracevis et internal_tracedestroy sont mal dec…

    …larees.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 25, 2009
  3. @pierreweis

    Spell-check.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 25, 2009
Commits on Sep 23, 2009
  1. @pierreweis

    Documentation + better phrasing.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 23, 2009
  2. @pierreweis

    Correcting the F specification with/without widths.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 23, 2009
  3. @pierreweis

    Typos.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 23, 2009
  4. @pierreweis

    Doc.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 23, 2009
Commits on Sep 12, 2009
  1. @xavierleroy

    MAJ

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Sep 12, 2009
  2. @xavierleroy

    As discussed at the latest consortium meeting:

    Syntactic sugar {x} for {x=x} in record expressions and patterns.
    Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels.
    Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels.
    To be done: adjust Camlp4 parser accordingly.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Sep 12, 2009
Commits on Sep 11, 2009
  1. @pierreweis

    Documentation.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 11, 2009
Commits on Sep 10, 2009
  1. @pierreweis

    New ikfprintf function for Format.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 10, 2009
  2. @pierreweis

    A simpler implementation for ifprintf.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 10, 2009
Commits on Sep 9, 2009
  1. @pierreweis

    Addition of ikprintf as suggested in FR#0004859.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 9, 2009
Commits on Sep 4, 2009
  1. @pierreweis

    Refined error message for unbound identifiers: if M.ident is unbound …

    …and M is unbound, then unbound module M is reported.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Sep 4, 2009
Commits on Aug 27, 2009
  1. @xavierleroy

    Added syntactic sugar for record expressions and record patterns:

    { lbl } stands for { lbl = lbl }.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Aug 27, 2009
Commits on Jul 20, 2009
  1. merge changes from ocaml3111rc0 to ocaml3111

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jul 20, 2009
Commits on Jul 16, 2009
  1. resolve name clash with ossp-str

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    Damien Doligez committed Jul 16, 2009
Commits on Jul 15, 2009
  1. @xavierleroy

    PR#4210, PR#4245: tightened bound checking in string->integer convers…

    …ion functions, without changing what the lexer accepts
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Jul 15, 2009
  2. @xavierleroy

    Added option -no-app-funct to turn off applicative functors

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    xavierleroy committed Jul 15, 2009
Commits on Jul 3, 2009
  1. @pierreweis

    Qualifying an out_channel occurrence.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Jul 3, 2009
  2. @pierreweis

    One step further to unification printf/format: *printf functions get …

    …exactly the same types.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Jul 3, 2009
  3. @pierreweis

    Typos.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Jul 3, 2009
  4. @pierreweis

    List scanning revisited.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Jul 3, 2009
Commits on Jun 23, 2009
  1. @maranget

    PR#0004828 fixed

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    maranget committed Jun 23, 2009
Commits on Jun 21, 2009
  1. @pierreweis

    More scanf tests (in particular %r has been added). Doc.

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    pierreweis committed Jun 21, 2009
Commits on May 26, 2009
  1. @np

    build with ocamlbuild: Fix the natdynlink build

    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    np committed May 26, 2009