-
Notifications
You must be signed in to change notification settings - Fork 0
/
2002.01.08.html
116 lines (81 loc) · 4.32 KB
/
2002.01.08.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
<html><body>
<a href="2001.12.30.html">Previous week</a> <a href="index.html">Up</a> <a href="2002.01.15.html">Next week</a>
<pre>
Hello,
Here is the latest Caml Weekly News, week 02 to 08 january, 2002.
Summary:
1) <a href="#1">ML GMP new version</a>
2) <a href="#2">CamlImages 2.00</a>
3) <a href="#3">Stop at exception</a>
<a name="1"/>======================================================================
1) ML GMP new version
----------------------------------------------------------------------
David Monniaux announced:
[Résumé en français: nouvelle version de ML GMP, interface avec GNU MP
<a href="http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz">http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz</a>]
It is my pleasure to announce the new year's day release of ML GMP, the
library interfacing Objective Caml with GNU MP.
It is a complete rewrite of the earlier versions, which should fix some
tricky garbage collection problems reported by some users.
It features:
* Support for mpz (integers), mpq (rationals), mpf (floating-point), and,
optionally, mpfr if compiled with the MPFR extension library
(www.mpfr.org), which should anyway be integrated into future GNU MP
releases after copyright transfer questions are settled.
* Support for random functions.
* Serialization (hashes will be implemented in the future).
It supports GMP 3.1.1 (and 4.0, but the newer functions are not
supported), MPFR 2001 and 2001-10-26, OCaml 3.02 and 3.04.
It is mostly source-compatible with earlier releases.
<a href="http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz">http://www.di.ens.fr/~monniaux/download/mlgmp-20020101.tar.gz</a>
The license is LGPL with a special exemption for static linking with an
application (same as the OCaml library).
It ships with an updated copy of J.C. Filliatre's Creal package.
<a name="2"/>======================================================================
2) CamlImages 2.00
----------------------------------------------------------------------
Jun P.FURUSE announced:
Hello,
I announce the release of the CamlImages version 2.00 - Objective
Caml image processing library.
Version 2.00 of the CamlImages library, by Jun Furuse, Francois
Pessaux, and Pierre Weis, is now available.
CamlImages is an image processing library, which provides to the
objective Caml programmer:
** basic functions for image processing and loading/saving various image
file formats (hence providing a translation facility from format to format),
** an interface with the Caml graphics library allows to display
images in the Graphics module screen and to mix them with Caml
drawings,
** a freetype interface, integrated into the library:
you can draw texts into images using any truetype fonts,
** a set of example programs, including gif animation, slide show, postscript
converter to print images.
Sources and documentation are available from:
<a href="http://pauillac.inria.fr/camlimages/eng.htm">http://pauillac.inria.fr/camlimages/eng.htm</a>
ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/camlimages-2.00.tgz
Contributions and comments are welcome.
<a name="3"/>======================================================================
3) Stop at exception
----------------------------------------------------------------------
Magesh Kannan asked:
> I am debugging a large OCaml program and am stuck with an exception. The
> exception is thrown by a utility function that is invoked several times in
> the program. I want to know which invocation of the utility function
> throws the exception. I cannot keep a breakpoint inside the utility
> function because it is called several times in the program.
>
> Is it possible to make the ocaml debugger stop at the invocation where the
> exception is being thrown?
>
> Are there other ways to accomplish the above objective?
and Xavier Leroy answered:
Easy: let the program run until it stops on the exception, then use the
"backstep" command to go back in time to the point where the exception
is raised; then do a "backtrace" command to see where you are.
In OCaml 3.04, you can also run the program outside of the debugger
and request a stack backtrace (set the OCAMLRUNPARAM environment
variable to "b").
======================================================================
Alan Schmitt
</pre></body></html>