Changes include:
- More fixes to build in Windows with zlib (mingw and msvc).
- Build .cmxs with C bindings (Closes: #1303)
- Use advapi32 on Windows (Close: #1055)
- Allow to define --zlib-include and --zlib-libdir if zlib is not installed in
the standard location.
- Added SHA-3 hash function.
clarity. Package uses ocaml.mk framework.
Changes:
* Revert old commit which broke notify signals
* Quote $(FLINSTALLDIR) in Makefile
* Update applications/browser for 4.02
* Make Float_val an alias for Double_val, since it was used
wrongly anyway (Felix Ruess)
* Make GObj.misc_ops#add_accelerator polymorphic in the widget of
the signal (Erkki Seppala)
* Use properties in GtkAdjustment, rather than direct accessors
* fix GtkTree.IconView.get_path_at_pos (Thomas Leonard)
* add gtksourceview2 to windows binaries
* netstring-pcre: removing dependency on camlp4 (an oversight).
* Fixing bad format strings (Damien Doligez)
* Windows: various fixes, including int sizes for 64-bit Windows,
the invocation of cppo, and CR characters. Also, unixsupport.h
is now used instead of declaring the prototypes directly.
(Andreas Hauptmann)
* C99: use int64_t instead of int64 in C code. The latter is gone
in OCaml-4.02. (Richard Jones)
* Build: no longer requiring camlp4 (as it is not distributed with
ocaml-4.02)
* Fixing some unit tests
* Netexn: new exception representation in ocaml-4.02
* Build: renaming file for a configure test to avoid a
naming conflict (Richard Jones)
* Https_client and aggressive connection caching: In previous
versions there was a problem with the reinitialization of the
SSL socket when a former connection was reused. The fix requires
an API change of connection_cache: The SSL socket can now be
stored with the inactive connection.
* Http_client: fixing a bug with connection caching: Address
resolution was not taken into account for computing the key
in the connection cache.
* ssl_exts_stubs.c: releasing global lock on shutdown error
(T<F6>r<F6>k Edwin)
* Uq_ssl: Fix error path when SSL connection fails during the
handshake
- Fix bug in dynamic creation of S.{diff,changes} (#8).
- Fix bug in dynamic creation of S.switch (#7).
- Add support for toplevel: automatically `open React` on `#require "react"`.
- Add `S.Bool.{flip,edge,fall,rise}`.
- Fix `S.switch` rank's initialisation.
- Add `E.l{1,2,3,4,5,6}`, lifting combinators on events.
- Add `E.Option.{some,value}`.
- Add `S.{Float,Int}.{zero,one,minus_one}`.
- Add `S.Bool.{zero,one}`.
- Add `S.Option.{none,some,value}`.
- Add `{S,E}.on` equivalent to `{S,E}.when_`.
- Deprecate `{S,E}.when_` (syntax error prone).
- Fix `S.bind`.
- Use package builder topkg for distribution.
- Add support for update steps, see the `React.Step` module. Allows to
specify simultaneous primitive signal updates and event occurences.
The functions returned by `{S,E}.create` now have an optional
`?step` argument; if unused the previous semantics is preserved.
- Add support for strong stops, can be used on platforms where weak
arrays are not to prevent leaks. The function `{E,S}.stop` now have
an optional `?strong` argument; if unused the previous semantics is
preserved.
- Change signature of `S.switch`. Any existing call `S.switch ~eq s es` can
be replaced by `S.(switch ~eq (hold ~eq:( == ) s es))`.
- Enum: bugfix in clamp
- Stream: add concat_map
- List: fix a stack-overflow bug in transpose
- List: add unfold_exc : (unit -> a) -> 'a list * exn
- List: add fold_righti and fold_lefti
- Substring : fix fold_left, add fold_lefti, fold_righti
- String : add fold_lefti and fold_righti
- Set.Make: add of_list
- AvlTree: add (check : 'a tree -> bool) to check well-formedness
- Hashtbl: make modify_opt/def resize the table to preserve amortized costs
- Enum: fix combine's count in presence of infinite enums
- Makefile: add a qtest-byte target
- List: add modify_opt_at: int -> ('a -> 'a option) -> 'a list -> 'a list
- List: add modify_at: int -> ('a -> 'a) -> 'a list -> 'a list
- List: add remove_at: int -> 'a list -> 'a list
- Int: add copysign
- Deque: add rotate_forward, rotate_backward : 'a dq -> 'a dq
- Int: fix overflow checking in Safe_int.mul
- add a local OPAM description, allows to use
opam pin add batteries git@github.com:ocaml-batteries-team/batteries-included.git
- Queue: add map : ('a -> 'b) -> 'a t -> 'b t
- compatibility with 4.02:
+ Printf: remove CamlinternalPr for OCaml versions >= 4.02
+ Printf: legacy code assumed (string = fmt)
+ new 4.02 functions:
String.mapi (String.init was already in Batteries)
List.sort_uniq (List.sort_unique existed before)
Array.make_float (less efficient implementation provided for <4.02 versions)
a BatBytes module relying on ocamlfind's compatibility module
bytes-related functions in Buffer,Digest,Marshal,Printexc,Stream,Unix
new Printexc callstack interface (not available for <4.02 versions)
- cartesian product in batSet
- Enum.concat_map alias
- UChar.is_ascii
- equality and enumeration (from, to UChar enum) in batText
- String.find_all function
- Seq.iteri, mapi, iter2, map2 (see issue #417)
- cartesian product of enums (issue #442)
- List.subset
- Array.bsearch dichotomic search (issue #433)
- Enum.print_at_most (issue #425)
- BatOption.ord instance, (issue #393)
- Fix infinite loop in BitSet
- Levenshtein distance on strings
- Seq.{of_list, equal}
- basic .merlin file for merlin users
- BatDeque.eq function to compare Deques by content
- BatteriesExceptionless
- More explicit overridding of ocamlbuild rules, use batteries.mllib
- Add Kahan summation (numerically-accurate sum of floats) to List,Array,Enum
- Add BatOption.some
- (text) improve element indexing in BatList's mli documentation
- Add BatList.filteri_map
- Compatibility with ocaml 4.01
- Add BatList.filteri
- Levenshtein distance on strings
- Seq.{of_list, equal}
- basic .merlin file for merlin users
- BatDeque.eq function to compare Deques by content
- BatteriesExceptionless
- More explicit overridding of ocamlbuild rules, use batteries.mllib
- Add Kahan summation (numerically-accurate sum of floats) to List,Array,Enum
- Add BatOption.some
- (text) improve element indexing in BatList's mli documentation
- Add BatList.filteri_map
- Compatibility with ocaml 4.01
- Add BatList.filteri
- Add Set.split_lt and split_le
- Add split_opt wherever there is split
- Add List.range
- Add the new O_CLOEXEC flag to Unix.open_flag in version 4.01
- Fix BatMutex.DebugMutex.id is always 0.
- Simplify List.partition code
- Add List.ntake and List.takedrop
- Added List.Acc.create and use it
- Add a LazyList.eager_fold_right alias to LazyList.fold_right, with sane argument order
- and many tests and documentation
- cleanup of whitespace
There are many changes since the latest version, most important are:
** Compiler: SourceMap improvement
** Compiler: remove registration of unused named value (wrt runtime)
** Compiler: Smarter inlining, Constant sharing, Switch generation
** Lib: Dom binding: *AttributeNS, *AttributeNode*, borderRadius
** Runtime: improve performence of string, array allocation
* Misc: enable safestring for OCaml 4.02
* Commandline: switch to Cmdliner. Better -help + manpage
** Runtime: support for num (Ryan Goulden)
** Lib: initial support for Dom_svg
** Lib: introduce Jsonp module
** Lib: introduce JSON object binding
** Lib: introduce DomContentLoaded
** lib: introduce eventSource
** Lib: introduce js_of_ocaml.toplevel package
** Lib: various improvement: textContent,outerHTML,unload event,css properties
** Lib: complete binding of Js.array
** Lib: change signature of Sys_js.register_autoload
** Lib: sync js_of_ocaml.tyxml with latest tyxml
** Tools: helpers to build toplevel: jsoo_mktop, jsoo_mkcmis
** Lib: remove deprecated Event_arrow
** Lib: introduce js_of_ocaml.tyxml
** Lib: introduce js_of_ocaml.weak (that loads weak.js)
and remove predicate joo_weak
** Lib: introduce js_of_ocaml.log (Lwt logger)
** Lib: Dom_html.{range,selection} (Enguerrand Decorne)
** Runtime: improve blit_string perf
** Compiler: option to warn about unused js variable
** Lib: audio/videoElement
** Runtime: bigarray comparison
** Compiler: allow to embed directory with -file dir_name=ext1,ext2:dest_path
** Compiler: can now output embeded files in a differant js file
** Lib: js_of_ocaml.graphics
** Lib: Js.Unsafe.expr to embed JavasScript expression
to be used instead of Js.Unsafe.variable (or eval_string)
** Lib: Sys_js.js_of_ocaml_version && Sys_js.file_content
** OCamlbuild plugin: Add the OASIS support, document the API and add the tags
sourcemap (included in the meta-tag debug) and tailcall (#148)
(by Jacques-Pascal Deplaix)
** Compiler: generate shorter variable names
** Parsing and minifying of external javascript file (ie: runtime)
(by Hugo Heuzard)
** Compiler: JavaScript strict mode enabled
** Runtime: add support for recursive module (by Hugo Heuzard)
** Compiler: use trampoline to implement tailcall optim (by Hugo Heuzard)
** Improved OCaml toplevel UI (by Hugo Heuzard)
** Toplevel: support dynamic loading of cmo and cma files
** Runtime: add Bigarray support (contributed by Andrew Ray)
** Library: switch from "float Js.t" to just "float" for typing
JavaScript numbers
** Compiler: Add javascript file lookup using findlib
(+mypkg/myfile.js will read myfile.js from mypkg findlib directory)
(by Hugo Heuzard)
** Compiler: improve missing primitives & reserved name detection
(by Hugo Heuzard)
** Compiler: static evaluation of constant ("staticeval" optimisation)
(by Hugo Heuzard)
** Compiler: share constants (by Hugo Heuzard)
** Compiler: alias primitives (by Hugo Heuzard)
** Compiler: complete javacript ast (by Hugo Heuzard)
** Compiler: 'caml_format_int %d x' compiles to ""+x (by Hugo Heuzard)
** Add JavaScript file in META (to be used with ocamlfind)
(by Hugo Heuzard)
** Add Ocamlbuild plugin js_of_ocaml.ocamlbuild
(by Jacques-Pascal Deplaix)
** Add/Install classlist.js, weak.js
** Add Url.Current.protocol (by Vicent Balat)
** Dependency: deriving instead of deriving-ocsigen
** Runtime: log wrong string encoding issues to the console (by Hugo Heuzard)
** Add compiler_libs (by Pierre Chambart)
** Compile syntax extension to native code as well (by Hugo Heuzard)
** Add a JavaScript parser (extracted from facebook/pfff)
** Compiler: remove redundant 'var' (by Hugo Heuzard)
** Compiler: improve compact mode, remove unnecessary space, semicolon
** Runtime: Support in_channel and out_channel (by Hugo Heuzard)
** Compiler: option to embed files into the generated js
such files can be read using open_in (by Hugo Heuzard)
** Runtime: add cache for method lookup (by Hugo Heuzard)
** Compiler: experimental sourcemap support (by Hugo Heuzard)
** JavaScript Errors are now wrapped inside OCaml exceptions (by Hugo Heuzard)
** Add missing primitives for OCaml 4.01
** Improved Dom bindings (Hugo Heuzard and many other contributors)
** Add -linkall option to keep all provided primitives (Pierre Chambard)
** Improved tail-call optimization (Hugo Heuzard)
** Added optimization levels: -o {1,2,3} (Hugo Heuzard)
Changes:
* Lwt_ssl: expand API to allow setting socket options with Ssl
functions
* fix for camlp4 trunk
* support for React 1.0.0
* add Lwt_sequence.find_node_* functions
* Lwt_log: get backtrace early to overcome exns in
Printexc.to_string
* fix potential deadlock in lwt_unix_recv_notifications
* lwt.glib fixes:
- handle HUP
- fix for BSD/OSX
* do not raise an exception in Lwt_log if argv[0] is blank
* add Android support
* fix issues in stubs for Lwt_unix jobs
* fix compatibility issue with OCaml 4.01
* fix the stub for ev_timer_init
* add Lwt.log containing Lwt_log_core, the Unix-free part of Lwt_log
* add Lwt_ssl.get_fd
* fix stdout/stderr redirections in Lwt_daemon.daemonize
* add Lwt_list.{map,iter}i{_s,_p}
Changes:
* Add support for TLS1.1 and TLS1.2 (thanks Thomas Calderon).
* Add function to initialize Diffie-Hellman and elliptic curve parameters
(thanks Thomas Calderon and Edwin Török).
* Add set_client_SNI_hostname to specify client-side SNI hostname (thanks
Mauricio Fernandez).
* Fix double leave of blocking section in ocaml_ssl_accept (thanks Edwin Török).
* Check for errors in SSL_connect/SSL_accept (thanks Jérôme Vouillon).
* Clear the error queue before calling SSL_read and similar functions;
SSL_get_error does not work reliably otherwise (thanks Jérôme Vouillon).
* Allow static linking on Mingw64 (thanks schadinger).
framework, and the buildlink wrapper has been modified to deal with
quoted arguments properly.
Changes:
- 1.5.3: The installation of "bytes" respects now $prefix and the configured
destination.
New option -pp for "ocamlfind query", to get preprocessor packages.
Updated the compatibility Bytes module to support extend, init, mapi,
blit_string (Gabriel Scherer).
- 1.5.2: support for the query formats "%+a" and "%+A".
Fix: the "ppx" property is now also path-expanded when interpreted in a
toploop.
Fix: implicit "ppx" is not path-expanded anymore.
Fix: Build bytes.cmxs only if natdynlink is enabled (Andy Ray).
- 1.5.1: includes a file that was missing in 1.5
- 1.5: Including the "bytes" package that is either a compat package for ocaml
< 4.02 or a fake package for ocaml >= 4.02. The package aims at helping to
support the transition to the new "bytes" type for mutable strings.
Also installing findlib.cmxs if OCaml supports it.
Allowing to disable camlp4 (in prep for OCaml-4.02).
The "ppx" package property can be specified for constructing ppx-type
preprocessors (patches from Peter Zotov).
Changes are mostly bugfixes, and major changes:
* Switched to Oasis for packaging
* Switched to OCamlBuild for the build process
* Added stricter compilation flags
- findlib no longer standard
- added OASIS_BUILD_ARGS parameter
- force native code compilation (or not) according to options
- moved things around so that OASIS implies FINDLIB
also upstream changelog):
Language features:
- Attributes and extension nodes
- Generative functors
- Module aliases
* Alternative syntax for string literals {id|...|id} (can break comments)
- Separation between read-only strings (type string) and read-write byte
sequences (type bytes). Activated by command-line option -safe-string.
Build system for the OCaml distribution:
- Use -bin-annot when building.
- Use GNU make instead of portable makefiles.
- Updated build instructions for 32-bit Mac OS X on Intel hardware.
Shedding weight:
* Removed Camlp4 from the distribution, now available as third-party software.
* Removed Labltk from the distribution, now available as a third-party library.
Type system:
* Keep typing of pattern cases independent in principal mode
- Allow opening a first-class module or applying a generative functor
in the body of a generative functor. Allow it also in the body of
an applicative functor if no types are created
* Module aliases are now typed in a specific way, which remembers their
identity. In particular this changes the signature inferred by
"module type of"
- Slight change in the criterion to distinguish private
abbreviations and private row types: create a private abbreviation for
closed objects and fixed polymorphic variants.
* Compare first class module types structurally rather than
nominally. Value subtyping allows module subtyping as long as the internal
representation is unchanged.
Compilers:
- More aggressive constant propagation, including float and
int32/int64/nativeint arithmetic. Constant propagation for floats
can be turned off with option -no-float-const-prop, for codes that
change FP rounding modes at run-time.
- New back-end optimization pass: common subexpression elimination (CSE).
(Reuses results of previous computations instead of recomputing them.)
- New back-end optimization pass: dead code elimination.
(Removes arithmetic and load instructions whose results are unused.)
- Optimization of sequences of string patterns
- Experimental native code generator for AArch64 (ARM 64 bits)
- Optimization of integer division and modulus by constant divisors
- Add "-open" command line flag for opening a single module before typing
* "-o" now sets module name to the output file name up to the first "."
(it also applies when "-o" is not given, i.e. the module name is then
the input file name up to the first ".")
* better sharing of structured constants
- new flag to keep locations in cmi files
- issue warning 3 when referring to a value marked with
the [@@ocaml.deprecated] attribute
- a new format implementation based on GADTs
* Constant exception constructors no longer allocate
- avoid unnecessary boxing in let
- Better compilation of optional arguments with default values
- ocamlopt -opaque option for incremental native compilation
Toplevel interactive system:
- New "#show_*" directives
Runtime system:
- New configure option "-no-naked-pointers" to improve performance by
avoiding page table tests during block darkening and the marking phase
of the major GC. In this mode, all out-of-heap pointers must point at
things that look like OCaml values: in particular they must have a valid
header. The colour of said headers should be black.
- Fixed bug in native code version of [caml_raise_with_string] that could
potentially lead to heap corruption.
- Blocks initialized by [CAMLlocal*] and [caml_alloc] are now filled with
[Val_unit] rather than zero.
- Fixed a major performance problem on large heaps (~1GB) by making heap
increments proportional to heap size by default
- Structural equality treats exception specifically
- efficient comparison/indexing of exceptions
- avoid using unsafe C library functions (strcpy, strcat, sprintf)
- An ISO C99-compliant C compiler and standard library is now assumed.
(Plus special exceptions for MSVC.) In particular, emulation code for
64-bit integer arithmetic was removed, the C compiler must support a
64-bit integer type.
Standard library:
* Add new modules Bytes and BytesLabels for mutable byte sequences.
- add List.sort_uniq and Set.of_list
- a faster version of "raise" which does not maintain the backtrace
- support "Unix.kill pid Sys.sigkill" under Windows
- speed improvement for Buffer
- efficient creation of uninitialized float arrays
- Improve documentation regarding finalisers and multithreading
- Trigger warning 3 for all values marked as deprecated in the documentation.
