Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: newtypein
Commits on Oct 20, 2009
  1. @alainfrisch
Commits on Oct 16, 2009
  1. @alainfrisch

    Functional syntax for 'let new type t in ...'.

    alainfrisch authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newtypein@9373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 30, 2009
  1. @alainfrisch

    Implement the 'let new type t in e' construct.

    alainfrisch authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newtypein@9362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. @alainfrisch
Commits on Sep 25, 2009
  1. Variable err is initialized to 0.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Les fonctions internal_tracevis et internal_tracedestroy sont mal dec…

    Pierre Weis authored
    …larees.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Spell-check.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 23, 2009
  1. Documentation + better phrasing.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. Correcting the F specification with/without widths.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Typos.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. Doc.

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

    MAJ

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

    As discussed at the latest consortium meeting:

    xavierleroy authored
    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
Commits on Sep 11, 2009
  1. Documentation.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 10, 2009
  1. New ikfprintf function for Format.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. A simpler implementation for ifprintf.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 9, 2009
  1. Addition of ikprintf as suggested in FR#0004859.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Sep 4, 2009
  1. Refined error message for unbound identifiers: if M.ident is unbound …

    Pierre Weis authored
    …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
Commits on Aug 27, 2009
  1. @xavierleroy

    Added syntactic sugar for record expressions and record patterns:

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

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

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

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

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

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

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

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  2. One step further to unification printf/format: *printf functions get …

    Pierre Weis authored
    …exactly the same types.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  3. Typos.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  4. List scanning revisited.

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

    PR#0004828 fixed

    maranget authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on Jun 21, 2009
  1. More scanf tests (in particular %r has been added). Doc.

    Pierre Weis authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 26, 2009
  1. build with ocamlbuild: Fix the natdynlink build

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 24, 2009
  1. Fix ocamlbuild -where

    Nicolas Pouillard authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 20, 2009
  1. merge changes from ocaml3110 to ocaml3111rc0

    Damien Doligez authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 19, 2009
  1. use TypeHash for nondep_type, and add env to nondep_mty

    Jacques Garrigue authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 5, 2009
  1. @xavierleroy

    ARM EABI: do not force use of register r9

    xavierleroy authored
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Commits on May 4, 2009
  1. @xavierleroy

    Updating the ARM port, continued:

    xavierleroy authored
    - Reserve register r9 and treat r10 as callee-save, as per the EABI.
    - Treatment of alloc_limit register.
    - Fixed bug in inlined allocation sequence.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Something went wrong with that request. Please try again.