forked from ocaml/ocaml
-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathChanges
1761 lines (1436 loc) · 71 KB
/
Changes
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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Objective Caml 3.08:
--------------------
(Changes that can break existing programs are marked with a "*" )
Language features:
- Support for immediate objects, i.e. objects defined without going
through a class. (Syntax is "object <fields and methods> end".)
Type-checking:
- When typing record construction and record patterns, can omit
the module qualification on all labels except one. I.e.
{ M.l1 = ...; l2 = ... } is interpreted as { M.l1 = ...; M.l2 = ... }
Both compilers:
- More compact compilation of classes.
- Much more efficient handling of class definitions inside functors
or local modules.
- Simpler representation for method tables. Objects can now be marshaled
between identical programs with the flag Marshal.Closures.
- Improved error messages for objects and variants.
- Improved printing of inferred module signatures (toplevel and ocamlc -i).
Recursion between type, class, class type and module definitions is now
correctly printed.
- The -pack option now accepts compiled interfaces (.cmi files) in addition
to compiled implementations (.cmo or .cmx).
* A compile-time error is signaled if an integer literal exceeds the
range of representable integers.
- Fixed code generation error for "module rec" definitions.
- The combination of options -c -o sets the name of the generated
.cmi / .cmo / .cmx files.
Bytecode compiler:
- Option -output-obj is now compatible with Dynlink and
with embedded toplevels.
Native-code compiler:
- Division and modulus by zero correctly raise exception Division_by_zero
(instead of causing a hardware trap).
- Improved compilation time for the register allocation phase.
- The float constant -0.0 was incorrectly treated as +0.0 on some processors.
- AMD64: fixed bugs in asm glue code for GC invocation and exception raising
from C.
- IA64: fixed incorrect code generated for "expr mod 1".
- PowerPC: minor performance tweaks for the G4 and G5 processors.
Standard library:
* Revised handling of NaN floats in polymorphic comparisons.
The polymorphic boolean-valued comparisons (=, <, >, etc) now treat
NaN as uncomparable, as specified by the IEEE standard.
The 3-valued comparison (compare) treats NaN as equal to itself
and smaller than all other floats. As a consequence, x == y
no longer implies x = y but still implies compare x y = 0.
* String-to-integer conversions now fail if the result overflows
the range of integers representable in the result type.
* All array and string access functions now raise
Invalid_argument("index out of bounds") when a bounds check fails.
In earlier releases, different exceptions were raised
in bytecode and native-code.
- Module Buffer: new functions Buffer.sub, Buffer.nth
- Module Int32: new functions Int32.bits_of_float, Int32.float_of_bits.
- Module Map: new functions is_empty, compare, equal.
- Module Set: new function split.
* Module Gc: in-order finalisation, new function finalise_release.
Other libraries:
- The Num library: complete reimplementation of the C/asm lowest
layer to work around potential licensing problems.
Improved speed on the PowerPC and AMD64 architectures.
- The Graphics library: improved event handling under MS Windows.
- The Str library: fixed bug in "split" functions with nullable regexps.
- The Unix library:
. Added Unix.single_write.
. Added support for IPv6.
. Bug fixes in Unix.closedir.
. Allow thread switching on Unix.lockf.
Runtime System:
* Name space depollution: all global C identifiers are now prefixed
with "caml" to avoid name clashes with other libraries. This
includes the "external" primitives of the standard runtime.
Ports:
- Windows ports: many improvements in the OCamlWin toplevel application
(history, save inputs to file, etc). Contributed by Christopher A. Watford.
- Native-code compilation supported for HPPA/Linux. Contributed by Guy Martin.
- Removed support for MacOS9. Mac OS 9 is obsolete and the port was not
updated since 3.05.
- Removed ocamlopt support for HPPA/Nextstep and Power/AIX.
Ocamllex:
- #line directives in the input file are now accepted.
- Added character set concatenation operator "cset1 # cset2".
Ocamlyacc:
- #line directives in the input file are now accepted.
Camlp4:
* Support for new-style locations (line numbers, not just character numbers).
- See camlp4/CHANGES and camlp4/ICHANGES for more info.
Objective Caml 3.07:
--------------------
Language features:
- Experimental support for recursive module definitions
module rec A : SIGA = StructA and B : SIGB = StructB and ...
- Support for "private types", or more exactly concrete data types
with private constructors or labels. These data types can be
de-structured normally in pattern matchings, but values of these
types cannot be constructed directly outside of their defining module.
- Added integer literals of types int32, nativeint, int64
(written with an 'l', 'n' or 'L' suffix respectively).
Type-checking:
- Allow polymorphic generalization of covariant parts of expansive
expressions. For instance, if f: unit -> 'a list, "let x = f ()"
gives "x" the generalized type forall 'a. 'a list, instead of '_a list
as before.
- 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.
- Lots of bug fixes in the handling of polymorphism and recursion inside
types.
- Added a new "-dtypes" option to ocamlc/ocamlopt, and an emacs extension
"emacs/caml-types.el". The compiler option saves inferred type information
to file *.annot, and the emacs extension allows the user to look at the
type of any subexpression in the source file. Works even in the case
of a type error (all the types computed up to the error are available).
This new feature is also supported by ocamlbrowser.
- Disable "method is overriden" warning when the method was explicitly
redefined as virtual beforehand (i.e. not through inheritance). Typing
and semantics are unchanged.
Both compilers:
- Added option "-dtypes" to dump detailed type information to a file.
- The "-i" option no longer generates compiled files, it only prints
the inferred types.
- The sources for the module named "Mod" can be placed either in Mod.ml or
in mod.ml.
- Compilation of "let rec" on non-functional values: tightened some checks,
relaxed some other checks.
- Fixed wrong code that was generated for "for i = a to max_int"
or "for i = a downto min_int".
- An explicit interface Mod.mli can now be provided for the module obtained
by ocamlc -pack -o Mod.cmo ... or ocamlopt -pack -o Mod.cmx ...
- Revised internal handling of source code locations, now handles
preprocessed code better.
- Pattern-matching bug on float literals fixed.
- Minor improvements on pattern-matching over variants.
- More efficient compilation of string comparisons and the "compare" function.
- More compact code generated for arrays of constants.
- Fixed GC bug with mutable record fields of type "exn".
- Added warning "E" for "fragile patterns": pattern matchings that would
not be flagged as partial if new constructors were added to the data type.
Bytecode compiler:
- Added option -vmthread to select the threads library with VM-level
scheduling. The -thread option now selects the system threads library.
Native-code compiler:
- New port: AMD64 (Opteron).
- Fixed instruction selection bug on expressions of the kind (raise Exn)(arg).
- Several bug fixes in ocamlopt -pack (tracking of imported modules,
command line too long).
- Signal handling bug fixed.
- x86 port:
Added -ffast-math option to use inline trigo and log functions.
Small performance tweaks for the Pentium 4.
Fixed illegal "imul" instruction generated by reloading phase.
- Sparc port:
Enhanced code generation for Sparc V8 (option -march=v8) and
Sparc V9 (option -march=v9).
Profiling support added for Solaris.
- PowerPC port:
Keep stack 16-aligned for compatibility with C calling conventions.
Toplevel interactive system:
- Tightened interface consistency checks between .cmi files, .cm[oa] files
loaded by #load, and the running toplevel.
- #trace on mutually-recursive functions was broken, works again.
- Look for .ocamlinit file in home directory in addition to the current dir.
Standard library:
- Match_failure and Assert_failure exceptions now report
(file, line, column), instead of (file, starting char, ending char).
- float_of_string, int_of_string: some ill-formed input strings were not
rejected.
- Added format concatenation, string_of_format, format_of_string.
- Module Arg: added new option handlers Set_string, Set_int, Set_float,
Symbol, Tuple.
- Module Format: tag handling is now turned off by default,
use [Format.set_tags true] to activate.
- Modules Lexing and Parsing: added better handling of positions
in source file. Added function Lexing.flush_input.
- Module Scanf: %n and %N formats to count characters / items read so far;
assorted bug fixes, %! to match end of input. New ``_'' special
flag to skip reresulting value.
- Module Format: tags are not activated by default.
- Modules Set and Map: fixed bugs causing trees to become unbalanced.
- Module Printf: less restrictive typing of kprintf.
- Module Random: better seeding; functions to generate random int32, int64,
nativeint; added support for explicit state management.
- Module Sys: added Sys.readdir for reading the contents of a directory.
Runtime system:
- output_value/input_value: fixed bug with large blocks (>= 4 Mwords)
produced on a 64-bit platform and incorrectly read back on a 32-bit
platform.
- Fixed memory compaction bug involving input_value.
- Added MacOS X support for dynamic linking of C libraries.
- Improved stack backtraces on uncaught exceptions.
- Fixed float alignment problem on Sparc V9 with gcc 3.2.
Other libraries:
- Dynlink:
By default, dynamically-loaded code now has access to all
modules defined by the program; new functions Dynlink.allow_only
and Dynlink.prohibit implement access control.
Fixed Dynlink problem with files generated with ocamlc -pack.
Protect against references to modules not yet fully initialized.
- LablTK/CamlTK: added support for TCL/TK 8.4.
- Str: reimplemented regexp matching engine, now less buggy, faster,
and LGPL instead of GPL.
- Graphics: fixed draw_rect and fill_rect bug under X11.
- System threads and bytecode threads libraries can be both installed.
- System threads: better implementation of Thread.exit.
- Bytecode threads: fixed two library initialization bugs.
- Unix: make Unix.openfile blocking to account for named pipes;
GC bug in Unix.*stat fixed; fixed problem with Unix.dup2 on Windows.
Ocamllex:
- Can name parts of the matched input text, e.g.
"0" (['0'-'7']+ as s) { ... s ... }
Ocamldebug:
- Handle programs that run for more than 2^30 steps.
Emacs mode:
- Added file caml-types.el to interactively display the type information
saved by option -dtypes.
Win32 ports:
- Cygwin port: recognize \ as directory separator in addition to /
- MSVC port: ocamlopt -pack works provided GNU binutils are installed.
- Graphics library: fixed bug in Graphics.blit_image; improved event handling.
OCamldoc:
- new ty_code field for types, to keep code of a type (with option -keep-code)
- new ex_code field for types, to keep code of an exception
(with option -keep-code)
- some fixes in html generation
- don't overwrite existing style.css file when generating HTML
- create the ocamldoc.sty file when generating LaTeX (if nonexistent)
- man pages are now installed in man/man3 rather than man/mano
- fix: empty [] in generated HTML indexes
Objective Caml 3.06:
--------------------
Type-checking:
- Apply value restriction to polymorphic record fields.
Run-time system:
- Fixed GC bug affecting lazy values.
Both compilers:
- Added option "-version" to print just the version number.
- Fixed wrong dependencies in .cmi generated with the -pack option.
Native-code compiler:
- Fixed wrong return value for inline bigarray assignments.
Libraries:
- Unix.getsockopt: make sure result is a valid boolean.
Tools:
- ocamlbrowser: improved error reporting; small Win32 fixes.
Windows ports:
- Fixed two problems with the Mingw port under Cygwin 1.3.
Objective Caml 3.05:
--------------------
Language features:
- Support for polymorphic methods and record fields.
- Allows _ separators in integer and float literals, e.g. 1_000_000.
Type-checker:
- New flag -principal to enforce principality of type inference.
- Fixed subtle typing bug with higher-order functors.
- Fixed several complexity problems; changed (again) the behaviour of
simple coercions.
- Fixed various bugs with objects and polymorphic variants.
- Improved some error messages.
Both compilers:
- Added option "-pack" to assemble several compilation units as one unit
having the given units as sub-modules.
- More precise detection of unused sub-patterns in "or" patterns.
- Warnings for ill-formed \ escapes in string and character literals.
- Protect against spaces and other special characters in directory names.
- Added interface consistency check when building a .cma or .cmxa library.
- Minor reduction in code size for class initialization code.
- Added option "-nostdlib" to ignore standard library entirely.
Bytecode compiler:
- Fixed issue with ocamlc.opt and dynamic linking.
Native-code compiler:
- Added link-time check for multiply-defined module names.
- Fixed GC bug related to constant constructors of polymorphic variant types.
- Fixed compilation bug for top-level "include" statements.
- PowerPC port: work around limited range for relative branches,
thus removing assembler failures on large functions.
- IA64 port: fixed code generation bug for 3-way constructor matching.
Toplevel interactive system:
- Can load object files given on command line before starting up.
- ocamlmktop: minimized possibility of name clashes with user-provided modules.
Run-time system:
- Minor garbage collector no longer recursive.
- Better support for lazy data in the garbage collector.
- Fixed issues with the heap compactor.
- Fixed issues with finalized Caml values.
- The type "int64" is now supported on all platforms: we use software
emulation if the C compiler doesn't support 64-bit integers.
- Support for float formats that are neither big-endian nor little-endian
(one known example: the ARM).
- Fixed bug in callback*_exn functions in the exception-catching case.
- Work around gcc 2.96 bug on RedHat 7.2 and Mandrake 8.0, 8.1 among others.
- Stub DLLs now installed in subdir stublibs/ of standard library dir.
Standard library:
- Protect against integer overflow in sub-string and sub-array bound checks.
- New module Complex implementing arithmetic over complex numbers.
- New module Scanf implementing format-based scanning a la scanf() in C.
- Module Arg: added alternate entry point Arg.parse_argv.
- Modules Char, Int32, Int64, Nativeint, String: added type "t" and function
"compare" so that these modules can be used directly with e.g. Set.Make.
- Module Digest: fixed issue with Digest.file on large files (>= 1Gb);
added Digest.to_hex.
- Module Filename: added Filename.open_temp_file to atomically create and
open the temp file; improved security of Filename.temp_file.
- Module Genlex: allow _ as first character of an identifier.
- Module Lazy: more efficient implementation.
- Module Lexing: improved performances for very large tokens.
- Module List: faster implementation of sorting functions.
- Module Printf:
added %S and %C formats (quoted, escaped strings and characters);
added kprintf (calls user-specified continuation on formatted string).
- Module Queue: faster implementation (courtesy of François Pottier).
- Module Random: added Random.bool.
- Module Stack: added Stack.is_empty.
- Module Pervasives:
added sub-module LargeFile to support files larger than 1Gb
(file offsets are int64 rather than int);
opening in "append" mode automatically sets "write" mode;
files are now opened in close-on-exec mode;
string_of_float distinguishes its output from a plain integer;
faster implementation of input_line for long lines.
- Module Sys:
added Sys.ocaml_version containing the OCaml version number;
added Sys.executable_name containing the (exact) path of the
file being executable;
Sys.argv.(0) is now unchanged w.r.t. what was provided as 0-th argument
by the shell.
- Module Weak: added weak hash tables.
Other libraries:
- Bigarray:
support for bigarrays of complex numbers;
added functions Genarray.dims,
{Genarray,Array1,Array2,Array3}.{kind,layout}.
- Dynlink: fixed bug with loading of mixed-mode Caml/C libraries.
- LablTK:
now supports also the CamlTK API (no labels);
support for Activate and Deactivate events;
support for virtual events;
added UTF conversion;
export the tcl interpreter as caml value, to avoid DLL dependencies.
- Unix:
added sub-module LargeFile to support files larger than 1Gb
(file offsets are int64 rather than int);
added POSIX opening flags (O_NOCTTY, O_*SYNC);
use reentrant functions for gethostbyname and gethostbyaddr when available;
fixed bug in Unix.close_process and Unix.close_process_full;
removed some overhead in Unix.select.
Tools:
- ocamldoc (the documentation generator) is now part of the distribution.
- Debugger: now supports the option -I +dir.
- ocamllex: supports the same identifiers as ocamlc; warns for
bad \ escapes in strings and characters.
- ocamlbrowser:
recenter the module boxes when showing a cross-reference;
include the current directory in the ocaml path.
Windows port:
- Can now compile with Mingw (the GNU compilers without the Cygwin
runtime library) in addition to MSVC.
- Toplevel GUI: wrong filenames were given to #use and #load commands;
read_line() was buggy for short lines (2 characters or less).
- OCamlBrowser: now fully functional.
- Graphics library: fixed several bugs in event handling.
- Threads library: fixed preemption bug.
- Unix library: better handling of the underlying differences between
sockets and regular file descriptors;
added Unix.lockf and a better Unix.rename (thanks to Tracy Camp).
- LablTk library: fixed a bug in Fileinput
Objective Caml 3.04:
--------------------
Type-checker:
- Allowed coercing self to the type of the current class, avoiding
an obscure error message about "Self type cannot be unified..."
Both compilers:
- Use OCAMLLIB environment variable to find standard library, falls
back on CAMLLIB if not defined.
- Report out-of-range ASCII escapes in character or string literals
such as "\256".
Byte-code compiler:
- The -use-runtime and -make-runtime flags are back by popular demand
(same behavior as in 3.02).
- Dynamic loading (of the C part of mixed Caml/C libraries): arrange that
linking in -custom mode uses the static libraries for the C parts,
not the shared libraries, for maximal robustness and compatibility with
3.02.
Native-code compiler:
- Fixed bug in link-time consistency checking.
Tools:
- ocamlyacc: added parser debugging support (set OCAMLRUNPARAM=p to get
a trace of the pushdown automaton actions).
- ocamlcp: was broken in 3.03 (Sys_error), fixed.
Run-time system:
- More work on dynamic loading of the C part of mixed Caml/C libraries.
- On uncaught exception, flush output channels before printing exception
message and backtrace.
- Corrected several errors in exception backtraces.
Standard library:
- Pervasives: integer division and modulus are now fully specified
on negative arguments (with round-towards-zero semantics).
- Pervasives.float_of_string: now raises Failure on ill-formed input.
- Pervasives: added useful float constants max_float, min_float, epsilon_float.
- printf functions in Printf and Format: added % formats for int32, nativeint,
int64; "*" in width and precision specifications now supported
(contributed by Thorsten Ohl).
- Added Hashtbl.copy, Stack.copy.
- Hashtbl: revised resizing strategy to avoid quadratic behavior
on Hashtbl.add.
- New module MoreLabels providing labelized versions of modules
Hashtbl, Map and Set.
- Pervasives.output_value and Marshal.to_* : improved hashing strategy
for internal data structures, avoid excessive slowness on
quasi-linearly-allocated inputs.
Other libraries:
- Num: fixed bug in big integer exponentiation (Big_int.power_*).
Windows port:
- New GUI for interactive toplevel (Jacob Navia).
- The Graphics library is now available for stand-alone executables
(Jacob Navia).
- Unix library: improved reporting of system error codes.
- Fixed error in "globbing" of * and ? patterns on command line.
Emacs mode: small fixes; special color highlighting for ocamldoc comments.
License: added special exception to the LGPL'ed code (libraries and
runtime system) allowing unrestricted linking, whether static or dynamic.
Objective Caml 3.03 ALPHA:
--------------------------
Language:
- Removed built-in syntactic sugar for streams and stream patterns
[< ... >], now supported via CamlP4, which is now included in the
distribution.
- Switched the default behaviour to labels mode (labels are compulsory),
but allows omitting labels when a function application is complete.
-nolabels mode is available but deprecated for programming.
(See also scrapelabels and addlabels tools below.)
- Removed all labels in the standard libraries, except labltk.
Labelized versions are kept for ArrayLabels, ListLabels, StringLabels
and UnixLabels. "open StdLabels" gives access to the first three.
- Extended polymorphic variant type syntax, allowing union types and
row abbreviations for both sub- and super-types. #t deprecated in types.
- See the Upgrading file for how to adapt to all the changes above.
Type-checker:
- Fixed obscure bug in module typing causing the type-checker to loop
on signatures of the form
module type M
module A: sig module type T = sig module T: M end end
module B: A.T
- Improved efficiency of module type-checking via lazy computation of
certain signature summary information.
- An empty polymorphic variant type is now an error.
Both compilers:
- Fixed wrong code generated for "struct include M ... end" when M
contains one or several "external" declarations.
Byte-code compiler:
- Protect against VM stack overflow caused by module initialization code
with many local variables.
- Support for dynamic loading of the C part of mixed Caml/C libraries.
- Removed the -use-runtime and -make-runtime flags, obsoleted by dynamic
loading of C libraries.
Native-code compiler:
- Attempt to recover gracefully from system stack overflow. Currently
works on x86 under Linux and BSD.
- Alpha: work around "as" bug in Tru64 5.1.
Toplevel environment:
- Revised printing of inferred types and evaluation results
so that an external printer (e.g. Camlp4's) can be hooked in.
Tools:
- The CamlP4 pre-processor-pretty-printer is now included in the standard
distribution.
- New tool ocamlmklib to help build mixed Caml/C libraries.
- New tool scrapelabels and addlabels, to either remove (non-optional)
labels in interfaces, or automatically add them in the definitions.
They provide easy transition from classic mode ocaml 3.02 sources,
depending on whether you want to keep labels or not.
- ocamldep: added -pp option to handle preprocessed source files.
Run-time system:
- Support for dynamic loading of the C part of mixed Caml/C libraries.
Currently works under Linux, FreeBSD, Windows, Tru64, Solaris and Irix.
- Implemented registration of global C roots with a skip list,
runs much faster when there are many global C roots.
- Autoconfiguration script: fixed wrong detection of Mac OS X; problem
with the Sparc, gcc 3.0, and float alignment fixed.
Standard library:
- Added Pervasives.flush_all to flush all opened output channels.
Other libraries:
- All libraries revised to allow dynamic loading of the C part.
- Graphics under X Windows: revised event handling, should no longer lose
mouse events between two calls to wait_next_event(); wait_next_event()
now interruptible by signals.
- Bigarrays: fixed bug in marshaling of big arrays.
Windows port:
- Fixed broken Unix.{get,set}sockopt*
Objective Caml 3.02:
--------------------
Both compilers:
- Fixed embarrassing bug in pattern-matching compilation
(affected or-patterns containing variable bindings).
- More optimizations in pattern-matching compilation.
Byte-code compiler:
- Protect against VM stack overflow caused by functions with many local
variables.
Native-code compiler:
- Removed re-sharing of string literals, causes too many surprises with
in-place string modifications.
- Corrected wrong compilation of toplevel "include" statements.
- Fixed bug in runtime function "callbackN_exn".
- Signal handlers receive the conventional signal number as argument
instead of the system signal number (same behavior as with the
bytecode compiler).
- ARM port: fixed issue with immediate operand overflow in large functions.
Toplevel environment:
- User-definer printers (for #install_printer) now receive as first argument
the pretty-printer formatter where to print their second argument.
Old printers (with only one argument) still supported for backward
compatibility.
Standard library:
- Module Hashtbl: added Hashtbl.fold.
Other libraries:
- Dynlink: better error reporting in add_interfaces for missing .cmi files.
- Graphics: added more drawing functions (multiple points, polygons,
multiple lines, splines).
- Bytecode threads: the module Unix is now thread-safe, ThreadUnix is
deprecated. Unix.exec* now resets standard descriptors to blocking mode.
- Native threads: fixed a context-switch-during-GC problem causing
certain C runtime functions to fail, most notably input_value.
- Unix.inet_addr_of_string: call inet_aton() when available so as to
handle correctly the address 255.255.255.255.
- Unix: added more getsockopt and setsockopt functions to get/set
options that have values other than booleans.
- Num: added documentation for the Big_int module.
Tools:
- ocamldep: fixed wrong dependency issue with nested modules.
Run-time system:
- Removed floating-point error at start-up on some non-IEEE platforms
(e.g. FreeBSD prior to 4.0R).
- Stack backtrace mechanism now works for threads that terminate on
an uncaught exception.
Auto-configuration:
- Updated config.guess and config.sub scripts, should recognize a greater
number of recent platform.
Windows port:
- Fixed broken Unix.waitpid. Unix.file_descr can now be compared or hashed.
- Toplevel application: issue with spaces in name of stdlib directory fixed.
MacOS 9 port:
- Removed the last traces of support for 68k
Objective Caml 3.01:
--------------------
New language features:
- Variables are allowed in "or" patterns, e.g.
match l with [t] | [_;t] -> ... t ...
- "include <structure expression>" to re-export all components of a
structure inside another structure.
- Variance annotation on parameters of type declarations, e.g.
type (+'a,-'b,'c) t (covariant in 'a, contravariant in 'b, invariant in 'c)
New ports:
- Intel IA64/Itanium under Linux (including the native-code compiler).
- Cygwin under MS Windows. This port is an alternative to the earlier
Windows port of OCaml, which relied on MS compilers; the Cygwin
Windows port does not need MS Visual C++ nor MASM, runs faster
in bytecode, and has a better implementation of the Unix library,
but currently lacks threads and COM component support.
Type-checking:
- Relaxed "monomorphic restriction" on type constructors in a
mutually-recursive type definition, e.g. the following is again allowed
type u = C of int t | D of string t and 'a t = ...
- Fixed name-capture bug in "include SIG" and "SIG with ..." constructs.
- Improved implicit subtypes built by (... :> ty), closer to intuition.
- Several bug fixes in type-checking of variants.
- Typing of polymorphic variants is more restrictive:
do not allow conjunctive types inside the same pattern matching.
a type has either an upper bound, or all its tags are in the lower bound.
This may break some programs (this breaks lablgl-0.94).
Both compilers:
- Revised compilation of pattern matching.
- Option -I +<subdir> to search a subdirectory <subdir> of the standard
library directory (i.e. write "ocamlc -I +labltk" instead of
"ocamlc -I /usr/local/lib/ocaml/labltk").
- Option -warn-error to turn warnings into errors.
- Option -where to print the location of the standard library directory.
- Assertions are now type-checked even if the -noassert option is given,
thus -noassert can no longe change the types of modules.
Bytecode compiler and bytecode interpreter:
- Print stack backtrace when a program aborts due to an uncaught exception
(requires compilation with -g and running with ocamlrun -b or
OCAMLRUNPARAM="b=1").
Native-code compiler:
- Better unboxing optimizations on the int32, int64, and nativeint types.
- Tail recursion preserved for functions having more parameters than
available registers (but tail calls to other functions are still
turned off if parameters do not fit entirely in registers).
- Fixed name-capture bug in function inlining.
- Improved spilling/reloading strategy for conditionals.
- IA32, Alpha: better alignment of branch targets.
- Removed spurious dependency on the -lcurses library.
Toplevel environment:
- Revised handling of top-level value definitions, allows reclaimation
of definitions that are shadowed by later definitions with the same names.
(E.g. "let x = <big list>;; let x = 1;;" allows <big list> to be reclaimed.)
- Revised the tracing facility so that for standard library functions,
only calls from user code are traced, not calls from the system.
- Added a "*" prompt when within a comment.
Runtime system:
- Fixed portability issue on bcopy() vs memmove(), affecting Linux RedHat 7.0
in particular.
- Structural comparisons (=, <>, <, <=, >, >=, compare) reimplemented
so as to avoid overflowing the C stack.
- Input/output functions: arrange so that reads and writes on closed
in_channel or out_channel raise Sys_error immediately.
Standard library:
- Module Gc: changed some counters to float in order to avoid overflow;
added alarms
- Module Hashtbl: added Hashtbl.replace.
- Module Int64: added bits_of_float, float_of_bits (access to IEEE 754
representation of floats).
- Module List: List.partition now tail-rec;
improved memory behavior of List.stable_sort.
- Module Nativeint: added Nativeint.size (number of bits in a nativeint).
- Module Obj: fixed incorrect resizing of float arrays in Obj.resize.
- Module Pervasives: added float constants "infinity", "neg_infinity", "nan";
added a "classify_float" function to test a float for NaN, infinity, etc.
- Pervasives.input_value: fixed bug affecting shared custom objects.
- Pervasives.output_value: fixed size bug affecting "int64" values.
- Pervasives.int_of_string, {Int32,Int64,Nativeint}.of_string:
fixed bug causing bad digits to be accepted without error.
- Module Random: added get_state and set_state to checkpoint the generator.
- Module Sys: signal handling functions are passed the system-independent
signal number rather than the raw system signal number whenever possible.
- Module Weak: added Weak.get_copy.
Other libraries:
- Bigarray: added Bigarray.reshape to take a view of the elements of a
bigarray with different dimensions or number of dimensions;
fixed bug causing "get" operations to be unavailable in custom
toplevels including Bigarray.
- Dynlink: raise an error instead of crashing when the loaded module
refers to the not-yet-initialized module performing a dynlink operation.
- Bytecode threads: added a thread-safe version of the Marshal module;
fixed a rare GC bug in the thread scheduler.
- POSIX threads: fixed compilation problem with threads.cmxa.
- Both thread libraries: better tail-recursion in Event.sync.
- Num library: fixed bug in square roots (Nat.sqrt_nat, Big_int.sqrt_big_int).
Tools:
- ocamldep: fixed missing dependencies on labels of record patterns and
record construction operations
Win32 port:
- Unix.waitpid now implements the WNOHANG option.
Mac OS ports:
- Mac OS X public beta is supported.
- Int64.format works on Mac OS 8/9.
Objective Caml 3.00:
--------------------
Language:
- OCaml/OLabl merger:
* Support for labeled and optional arguments for functions and classes.
* Support for variant types (sum types compared by structure).
See tutorial (chapter 2 of the OCaml manual) for more information.
- Syntactic change: "?" in stream error handlers changed to "??".
- Added exception renaming in structures (exception E = F).
- (OCaml 2.99/OLabl users only) Label syntax changed to preserve
backward compatibility with 2.0x (labeled function application
is f ~lbl:arg instead of f lbl:arg). A tool is provided to help
convert labelized programs to OCaml 3.00.
Both compilers:
- Option -labels to select commuting label mode (labels are mandatory,
but labeled arguments can be passed in a different order than in
the definition of the function; in default mode, labels may be omitted,
but argument reordering is only allowed for optional arguments).
- Libraries (.cma and .cmxa files) now "remember" C libraries given
at library construction time, and add them back at link time.
Allows linking with e.g. just unix.cma instead of
unix.cma -custom -cclib -lunix
- Revised printing of error messages, now use Format.fprintf; no visible
difference for users, but could facilitate internationalization later.
- Fixed bug in unboxing of records containing only floats.
- Fixed typing bug involving applicative functors as components of modules.
- Better error message for inconsistencies between compiled interfaces.
Bytecode compiler:
- New "modular" format for bytecode executables; no visible differences
for users, but will facilitate further extensions later.
- Fixed problems in signal handling.
Native-code compiler:
- Profiling support on x86 under FreeBSD
- Open-coding and unboxing optimizations for the new integer types
int32, int64, nativeint, and for bigarrays.
- Fixed instruction selection bug with "raise" appearing in arguments
of strict operators, e.g. "1 + raise E".
- Better error message when linking incomplete/incorrectly ordered set
of .cmx files.
- Optimized scanning of global roots during GC, can reduce total running
time by up to 8% on GC-intensive programs.
Interactive toplevel:
- Better printing of exceptions, including arguments, when possible.
- Fixed rare GC bug occurring during interpretation of scripts.
- Added consistency checks between interfaces and implementations
during #load.
Run-time system:
- Added support for "custom" heap blocks (heap blocks carrying
C functions for finalization, comparison, hashing, serialization
and deserialization).
- Support for finalisation functions written in Caml.
Standard library:
- New modules Int32, Int64, Nativeint for 32-bit, 64-bit and
platform-native integers
- Module Array: added Array.sort, Array.stable_sort.
- Module Gc: added Gc.finalise to attach Caml finalisation functions to
arbitrary heap-allocated data.
- Module Hashtbl: do not bomb when resizing very large table.
- Module Lazy: raise Lazy.Undefined when a lazy evaluation needs itself.
- Module List: added List.sort, List.stable_sort; fixed bug in List.rev_map2.
- Module Map: added mapi (iteration with key and data).
- Module Set: added iterators for_all, exists, filter, partition.
- Module Sort: still here but deprecated in favor of new sorting functions
in Array and List.
- Module Stack: added Stack.top
- Module String: fixed boundary condition on String.rindex_from
- Added labels on function arguments where appropriate.
New libraries and tools:
- ocamlbrowser: graphical browser for OCaml sources and compiled interfaces,
supports cross-referencing, editing, running the toplevel.
- LablTK: GUI toolkit based on TK, using labeled and optional arguments,
easier to use than CamlTK.
- Bigarray: large, multi-dimensional numerical arrays, facilitate
interfacing with C/Fortran numerical code, efficient support for
advanced array operations such as slicing and memory-mapping of files.
Other libraries:
- Bytecode threads: timer-based preemption was broken, works back again;
fixed bug in Pervasives.input_line; exported Thread.yield.
- System threads: several GC / reentrancy bugs fixed in buffered I/O
and Unix I/O; revised Thread.join implementation for strict POSIX
conformance; exported Thread.yield.
- Graphics: added support for double buffering; added, current_x, current_y,
rmoveto, rlineto, and draw_rect.
- Num: fixed bug in Num.float_of_num.
- Str: worked around potential symbol conflicts with C standard library.
- Dbm: fixed bug with Dbm.iter on empty database.
New or updated ports:
- Alpha/Digital Unix: lifted 256M limitation on total memory space
induced by -taso
- Port to AIX 4.3 on PowerPC
- Port to HPUX 10 on HPPA
- Deprecated 680x0 / SunOS port
Macintosh port:
- Implemented the Unix and Thread libraries.
- The toplevel application does not work on 68k Macintoshes; maybe
later if there's a demand.
- Added a new tool, ocamlmkappli, to build an application from a
program written in O'Caml.
Objective Caml 2.04:
--------------------
- C interface: corrected inconsistent change in the CAMLparam* macros.
- Fixed internal error in ocamlc -g.
- Fixed type-checking of "S with ...", where S is a module type name
abbreviating another module type name.
- ocamldep: fixed stdout/stderr mismatch after failing on one file.
- Random.self_init more random.
- Windows port:
- Toplevel application: fixed spurious crash on exit.
- Native-code compiler: fixed bug in assembling certain
floating-point constants (masm doesn't grok 2e5, wants 2.0e5).
Objective Caml 2.03:
--------------------
New ports:
- Ported to BeOS / Intel x86 (bytecode and native-code).
- BSD / Intel x86 port now supports both a.out and ELF binary formats.
- Added support for {Net,Open}BSD / Alpha.
- Revamped Rhapsody port, now works on MacOS X server.
Syntax:
- Warning for "(*)" and "*)" outside comment.
- Removed "#line LINENO", too ambiguous with a method invocation;
the equivalent "# LINENO" is still supported.
Typing:
- When an incomplete pattern-matching is detected, report also a
value or value template that is not covered by the cases of
the pattern-matching.
- Several bugs in class type matching and in type error reporting fixed.
- Added an option -rectypes to support general recursive types,
not just those involving object types.
Bytecode compiler:
- Minor cleanups in the bytecode emitter.
- Do not remove "let x = y" bindings in -g mode; makes it easier to
debug the code.
Native-code compiler:
- Fixed bug in grouping of allocations performed in the same basic block.
- Fixed bug in constant propagation involving expressions containing
side-effects.
- Fixed incorrect code generation for "for" loops whose upper bound is
a reference assigned inside the loop.
- MIPS code generator: work around a bug in the IRIX 6 assembler.
Toplevel:
- Fixed incorrect redirection of standard formatter to stderr
while executing toplevel scripts.
Standard library:
- Added List.rev_map, List.rev_map2.
- Documentation of List functions now says which functions are
tail-rec, and how much stack space is needed for non-tailrec functions.
- Wrong type for Printf.bprintf fixed.
- Fixed weird behavior of Printf.sprintf and Printf.bprintf in case of
partial applications.
- Added Random.self_init, which initializes the PRNG from the system date.
- Sort.array: serious bugs fixed.
- Stream.count: fixed incorrect behavior with ocamlopt.
Run-time system and external interface:
- Fixed weird behavior of signal handlers w.r.t. signal masks and exceptions
raised from the signal handler.
- Fixed bug in the callback*_exn() functions.
Debugger:
- Fixed wrong printing of float record fields and elements of float arrays.
- Supports identifiers starting with '_'.
Profiler:
- Handles .mli files, so ocamlcp can be used to replace ocamlc (e.g. in a
makefile).
- Now works on programs that use stream expressions and stream parsers.
Other libraries:
- Graphics: under X11, treat all mouse buttons equally; fixed problem
with current font reverting to the default font when the graphics
window is resized.
- Str: fixed reentrancy bugs in Str.replace and Str.full_split.
- Bytecode threads: set standard I/O descriptors to non-blocking mode.
- OS threads: revised implementation of Thread.wait_signal.
- All threads: added Event.wrap_abort, Event.choose [].
- Unix.localtime, Unix.gmtime: check for errors.
- Unix.create_process: now supports arbitrary redirections of std descriptors.
- Added Unix.open_process_full.
- Implemented Unix.chmod under Windows.
- Big_int.square_big_int now gives the proper sign to its result.
Others:
- ocamldep: don't stop at first error, skip to next file.
- Emacs mode: updated with Garrigue and Zimmerman's snapshot of 1999/10/18.
- configure script: added -prefix option.
- Windows toplevel application: fixed problem with graphics library
not loading properly.
Objective Caml 2.02:
--------------------
* Type system:
- Check that all components of a signature have unique names.
- Fixed bug in signature matching involving a type component and
a module component, both sharing an abstract type.
- Bug involving recursive classes constrained by a class type fixed.
- Fixed bugs in printing class types and in printing unification errors.
* Compilation:
- Changed compilation scheme for "{r with lbl = e}" when r has many fields
so as to avoid code size explosion.
* Native-code compiler:
- Better constant propagation in boolean expressions and in conditionals.
- Removal of unused arguments during function inlining.
- Eliminated redundant tagging/untagging in bit shifts.
- Static allocation of closures for functions without free variables,
reduces the size of initialization code.
- Revised compilation scheme for definitions at top level of compilation
units, so that top level functions have no free variables.
- Coalesced multiple allocations of heap blocks inside one expression
(e.g. x :: y :: z allocates the two conses in one step).
- Ix86: better handling of large integer constants in instruction selection.
- MIPS: fixed wrong asm generated for String.length "literal".
* Standard library:
- Added the "ignore" primitive function, which just throws away its
argument and returns "()". It allows to write
"ignore(f x); y" if "f x" doesn't have type unit and you don't
want the warning caused by "f x; y".
- Added the "Buffer" module (extensible string buffers).
- Module Format: added formatting to buffers and to strings.
- Added "mem" functions (membership test) to Hashtbl and Map.
- Module List: added find, filter, partition.