[Caml-list] OCaml test release 3.07 beta 2

[Caml-list] OCaml test release 3.07 beta 2

[Xavier Leroy]

Many of you provided very useful feedback on the pre-release 3.07 beta 1
of OCaml.  Thanks!  Since this beta-test worked so well, we're now
making available a beta 2 pre-release of what should very soon become
the next stable release of Objective Caml.  It is available for
testing at

        http://caml.inria.fr/ocaml/distrib-3.07beta2.html

The modifications since beta 1 are almost exclusively bug fixes.  The
only programmer-visible change affects the typing of polymorphic
variants in pattern matching (see change log below).  So, we're
especially looking for testers who intensively use polymorphic variants
in their code.

As usual, this is a source-only release, and feedback is much
appreciated: bug reports to caml-bugs@inria.fr, and "everything is OK"
messages to caml@inria.fr.

Barring major problems, the final 3.07 release should be essentially
identical to this beta 2, and released second week of september.

- Xavier Leroy

--------------------------------------------------

Changes since 3.07 beta 1:

Type-checking:
- The typing of polymorphic variants in pattern matching has changed.
  It is intended to be more regular, sticking to the principle of "closing
  only the variants which would be otherwise incomplete". Two potential
  consequences: (1) some types may be left open which were closed before,
  and the resulting type might not match the interface anymore (expected to
  be rare); (2) in some cases an incomplete match may be generated.

Toplevel interactive system:
- Look for .ocamlinit file in home directory in addition to the current dir.

Standard library:
- Module Lexing: added function Lexing.flush_input.

Emacs mode:
- Improved display of inferred type information produced by ocamlc -dtypes.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] OCaml test release 3.07 beta 2

[Blair Zajac]

Xavier Leroy wrote:
> 
> Many of you provided very useful feedback on the pre-release 3.07 beta 1
> of OCaml.  Thanks!  Since this beta-test worked so well, we're now
> making available a beta 2 pre-release of what should very soon become
> the next stable release of Objective Caml.  It is available for
> testing at
> 
>         http://caml.inria.fr/ocaml/distrib-3.07beta2.html
> 
> The modifications since beta 1 are almost exclusively bug fixes.  The
> only programmer-visible change affects the typing of polymorphic
> variants in pattern matching (see change log below).  So, we're
> especially looking for testers who intensively use polymorphic variants
> in their code.
> 
> As usual, this is a source-only release, and feedback is much
> appreciated: bug reports to caml-bugs@inria.fr, and "everything is OK"
> messages to caml@inria.fr.

Hi Xavier,

I've got this bug in the bug tracking system

http://caml.inria.fr/bin/caml-bugs/feature%20wish?id=1482

Could at least the memory free portion of that could be fixed?

Also, I consistently get this message for make bootstrap to fail o
Cygwin:

make[2]: Leaving directory `/cygdrive/c/Blair/Cygwin/Ocaml/ocaml-3.07beta2/ocamldoc'
make[1]: Leaving directory `/cygdrive/c/Blair/Cygwin/Ocaml/ocaml-3.07beta2'
make compare
make[1]: Entering directory `/cygdrive/c/Blair/Cygwin/Ocaml/ocaml-3.07beta2'
boot/ocamlc ocamlc differ: char 137, line 2
Fixpoint not reached, try one more bootstrapping cycle.
make[1]: Leaving directory `/cygdrive/c/Blair/Cygwin/Ocaml/ocaml-3.07beta2'

I've been seeing this since 3.06.

Best,
Blair

-- 
Blair Zajac <blair@orcaware.com>
Plots of your system's performance - http://www.orcaware.com/orca/

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] OCaml test release 3.07 beta 2

[Hendrik Tews]

Hi,

Xavier Leroy writes:
   Subject: [Caml-list] OCaml test release 3.07 beta 2
   
I just downloaded the beta 2 test release. However, I was unable
to find the camlp4 manual. Where is it? The doc's at the old
location (http://caml.inria.fr/camlp4/) are outdated.

Bye,

Hendrik

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] OCaml test release 3.07 beta 2

[Jim Farrand]

On Mon, Sep 01, 2003 at 10:04:33AM +0200, Hendrik Tews wrote:
> I just downloaded the beta 2 test release. However, I was unable
> to find the camlp4 manual. Where is it? The doc's at the old
> location (http://caml.inria.fr/camlp4/) are outdated.

I'm not sure if this is a known issue, but it also seems that beta2 does
not report line numbers properly when using camlp4.  All errors are
reported as occuring on Line 1, Character <huge number>.

-- 
Jim Farrand
-- 
NB: I have a spam-filter on my e-mail account.  The first time you e-mail
me you may be asked to confirm your e-mail address before the system delivers
your mail.  http://farrand.net/home-spamfilter.shtml

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners