forked from ocaml/ocaml
/
Changes
1975 lines (1622 loc) · 80.3 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.09.0:
----------------------
(Changes that can break existing programs are marked with a "*" )
Language features:
- Introduction of private row types, for abstracting the row in object
and variant types.
Type checking:
- Polymorphic variants with at most one constructor [< `A of t] are no
longer systematically promoted to the exact type [`A of t]. This was
more confusing than useful, and created problems with private row
types.
Both compilers:
- Added warnings 'Y' and 'Z' for local variables that are bound but
never used.
- Added warning for some uses non-returning functions (e.g. raise), when they are
passed extra arguments, or followed by extra statements.
- Pattern matching: more prudent compilation in case of guards; fixed PR#3780.
- Compilation of classes: reduction in size of generated code.
- Compilation of "module rec" definitions: fixed a bad interaction with
structure coercion (to a more restrictive signature).
Native-code compiler (ocamlopt):
* Revised implementation of the -pack option (packing of several compilation
units into one). The .cmx files that are to be packed with
"ocamlopt -pack -o P.cmx" must be compiled with "ocamlopt -for-pack P".
In exchange for this additional constraint, ocamlopt -pack is now
available on all platforms (no need for binutils).
* Fixed wrong evaluation order for arguments to certain inlined functions.
- Modified code generation for "let rec ... and ..." to reduce compilation
time (which was quadratic in the number of mutually-recursive functions).
- x86 port: support tail-calls for functions with up to 21 arguments.
- AMD64 port, Linux: recover from system stack overflow.
- Sparc port: more portable handling of out-of-bound conditions
on systems other than Solaris.
Standard library:
- Pervasives: faster implementation of close_in, close_out.
set_binary_mode_{out,in} now working correctly under Cygwin.
- Printf: better handling of partial applications of the printf functions.
- Scanf: new function sscanf_format to read a format from a
string. The type of the resulting format is dynamically checked and
should be the type of the template format which is the second argument.
- Scanf: no more spurious lookahead attempt when the end of file condition
is set and a correct token has already been read and could be returned.
Other libraries:
- System threads library: added Thread.sigmask; fixed race condition
in signal handling.
- Bigarray library: fixed bug in Array3.of_array.
- Unix library: use canonical signal numbers in results of Unix.wait*;
hardened Unix.establish_server against EINTR errors.
Run-time system:
- Support platforms where sizeof(void *) = 8 and sizeof(long) = 4.
- Improved and cleaned up implementation of signal handling.
Replay debugger:
- Improved handling of locations in source code.
OCamldoc:
- extensible {foo } syntax
- user can give .txt files on the command line, containing ocamldoc formatted
text, to be able to include bigger texts out of source files
- -o option is now used by the html generator to indicate the prefix
of generated index files (to avoid conflict when a Index module exists
on case-insensitive file systems).
Miscellaneous:
- Configuration information is installed in `ocamlc -where`/Makefile.config
and can be used by client Makefiles or shell scripts.
Objective Caml 3.08.4:
----------------------
New features:
- configure: find X11 config in some 64-bit Linux distribs
- ocamldoc: (**/**) can be canceled with another (**/**) PR#3665
- graphics: added resize_window
- graphics: check for invalid arguments to drawing primitives PR#3595
- ocamlbrowser: use windows subsystem on mingw
Bug fixes:
- ocamlopt: code generation problem on AMD64 PR#3640
- wrong code generated for some classes PR#3576
- fatal error when compiling some OO code PR#3745
- problem with comparison on constant constructors PR#3608
- camlp4: cryptic error message PR#3592
- camlp4: line numbers in multi-line antiquotations PR#3549
- camlp4: problem with make depend
- camlp4: parse error with :> PR#3561
- camlp4: ident conversion problem with val/contents/contents__
- camlp4: several small parsing problems PR#3688
- ocamldebug: handling of spaces in executable file name PR#3736
- emacs-mode: problem when caml-types-buffer is deleted by user PR#3704
- ocamldoc: extra backslash in ocamldoc man page PR#3687
- ocamldoc: improvements to HTML display PR#3698
- ocamldoc: escaping of @ in info files
- ocamldoc: escaping of . and \ in man pages PR#3686
- ocamldoc: better error reporting of misplaced comments
- graphics: fixed .depend file PR#3558
- graphics: segfault with threads and graphics PR#3651
- nums: several bugs: PR#3718, PR#3719, others
- nums: inline asm problems with gcc 4.0 PR#3604, PR#3637
- threads: problem with backtrace
- unix: problem with getaddrinfo PR#3565
- stdlib: documentation of Int32.rem and Int64.rem PR#3573
- stdlib: documentation of List.rev_map2 PR#3685
- stdlib: wrong order in Map.fold PR#3607
- stdlib: documentation of maximum float array length PR#3714
- better detection of cycles when using -rectypes
- missing case of module equality PR#3738
- better error messages for unbound type variables
- stack overflow while printing type error message PR#3705
- assert failure when typing some classes PR#3638
- bug in type_approx
- better error messages related to type variance checking
- yacc: avoid name capture for idents of the Parsing module
Objective Caml 3.08.3:
----------------------
New features:
- support for ocamlopt -pack under Mac OS X (PR#2634, PR#3320)
- ignore unknown warning options for forward and backward compatibility
- runtime: export caml_compare_unordered (PR#3479)
- camlp4: install argl.* files (PR#3439)
- ocamldoc: add -man-section option
- labltk: add the "solid" relief option (PR#3343)
Bug fixes:
- typing: fix unsoundness in type declaration variance inference.
Type parameters which are constrained must now have an explicit variant
annotation, otherwise they are invariant. This is not backward
compatible, so this might break code which either uses subtyping or
uses the relaxed value restriction (i.e. was not typable before 3.07)
- typing: erroneous partial match warning for polymorphic variants (PR#3424)
- runtime: handle the case of an empty command line (PR#3409, PR#3444)
- stdlib: make Sys.executable_name an absolute path in native code (PR#3303)
- runtime: fix memory leak in finalise.c
- runtime: auto-trigger compaction even if gc is called manually (PR#3392)
- stdlib: fix segfault in Obj.dup on zero-sized values (PR#3406)
- camlp4: correct parsing of the $ identifier (PR#3310, PR#3469)
- windows (MS tools): use link /lib instead of lib (PR#3333)
- windows (MS tools): change default install destination
- autoconf: better checking of SSE2 instructions (PR#3329, PR#3330)
- graphics: make close_graph close the X display as well as the window (PR#3312)
- num: fix big_int_of_string (empty string) (PR#3483)
- num: fix big bug on 64-bit architecture (PR#3299)
- str: better documentation of string_match and string_partial_match (PR#3395)
- unix: fix file descriptor leak in Unix.accept (PR#3423)
- unix: miscellaneous clean-ups
- unix: fix documentation of Unix.tm (PR#3341)
- graphics: fix problem when allocating lots of images under Windows (PR#3433)
- compiler: fix error message with -pack when .cmi is missing (PR#3028)
- cygwin: fix problem with compilation of camlheader (PR#3485)
- stdlib: Filename.basename doesn't return an empty string any more (PR#3451)
- stdlib: better documentation of Open_excl flag (PR#3450)
- ocamlcp: accept -thread option (PR#3511)
- ocamldep: handle spaces in file names (PR#3370)
- compiler: remove spurious warning in pattern-matching on variants (PR#3424)
- windows: better handling of InterpreterPath registry entry (PR#3334, PR#3432)
Objective Caml 3.08.2:
----------------------
Bug fixes:
- runtime: memory leak when unmarshalling big data structures (PR#3247)
- camlp4: incorrect line numbers in errors (PR#3188)
- emacs: xemacs-specific code, wrong call to "sit-for"
- ocamldoc: "Lexing: empty token" (PR#3173)
- unix: problem with close_process_* (PR#3191)
- unix: possible coredumps (PR#3252)
- stdlib: wrong order in Set.fold (PR#3161)
- ocamlcp: array out of bounds in profiled programs (PR#3267)
- yacc: problem with polymorphic variant types for grammar entries (PR#3033)
Misc:
- export <caml/printexc.h> for caml_format_exception (PR#3080)
- clean up caml_search_exe_in_path (maybe PR#3079)
- camlp4: new function "make_lexer" for new-style locations
- unix: added missing #includes (PR#3088)
Objective Caml 3.08.1:
----------------------
Licence:
- The emacs files are now under GPL
- Slightly relaxed some conditions of the QPL
Bug fixes:
- ld.conf now generated at compile-time instead of install-time
- fixed -pack on Windows XP (PR#2935)
- fixed Obj.tag (PR#2946)
- added support for multiple dlopen in Darwin
- run ranlib when installing camlp4 libraries (PR#2944)
- link camlp4opt with -linkall (PR#2949)
- camlp4 parsing of patterns now conforms to normal parsing (PR#3015)
- install camlp4 *.cmx files (PR#2955)
- fixed handling of linefeed in string constants in camlp4 (PR#3074)
- ocamldoc: fixed display of class parameters in HTML and LaTeX (PR#2994)
- ocamldoc: fixed display of link to class page in html (PR#2994)
- Windows toplevel GUI: assorted fixes (including PR#2932)
Misc:
- added -v option to ocamllex
- ocamldoc: new -intf and -impl options supported (PR#3036)
Objective Caml 3.08.0:
----------------------
(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.