./lang/ocaml, The latest implementation of the Caml dialect of ML

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 4.02.1, Package name: ocaml-4.02.1, Maintainer: jaapb

Objective Caml is the latest implementation of the Caml dialect of ML. The main
novelties compared with its ancestor, Caml Light, are:

* Full support for objects and classes -- here combined for the first time
with ML-style type reconstruction.
* A powerful module calculus in the style of Standard ML (but retaining
separate compilation).
* A high-performance native code compiler (in addition to a Caml
Light-style bytecode compiler).


Master sites:

SHA1: 6af8c67f2badece81d8e1d1ce70568a16e42313e
RMD160: fcb30200e9675d92e402b4b7101a032f918f80c1
Filesize: 2991.681 KB

Version history: (Expand)


CVS history: (Expand)


   2015-01-20 15:12:25 by Jaap Boender | Files touched by this commit (16) | Package updated
Log message:
This is an update of OCaml to 4.02.1. Changes are listed below. There is also
a new patch to include a -pkgsrc-runtime compilation option. This option is
needed to compile devel/pcre-ocaml due to buildlink shenanigans
(see http://mail-index.netbsd.org/pkgsrc-use … 20800.html )

Changes:
(Changes that can break existing programs are marked with a "*")

Standard library:
* Add optional argument ?limit to Arg.align.
- Bug in Makefile.nt: won't stop on error
- Improve MSVC build
- Configure doesn't detect features correctly on Haiku
- Non-exhaustive matching warning message for open types is confusing
- fix quadratic-time algorithm in Consistbl.extract.
- Add stack overflow handling for native code (OpenBSD i386 and amd64)
- broken semantics of %(%) when substitued by a box
- legacy support for %.10s
- better documentation of flag # in format strings
- Bytes and CamlinternalFormat missing from threads stdlib.cma
- -dsource omits parens for `List ((`String "A")::[]) in patterns
- __MODULE__ aborts the compiler if the module name cannot be inferred
- Debug section is sometimes not readable when using -pack
- Missing command line options for ocamldoc
- fix race condition when retrieving backtraces
- String.sub throws Invalid_argument("Bytes.sub")
- Fix ocamldebug module source lookup
- Inclusion of packs failing to run module initializers
- infinite loop in Mtype.remove_aliases
- compilation fails with Env.Error(_)
- -short-paths and signature inclusion errors
- Fatal error with recursive modules
- Recursive module containing alias causes Segmentation fault
- Some bugs in generative functors
- ocamldep support for "-open M"
- Code generation errors for ARM
- Improve Windows (MSVC and mingw) build
- ocamlbuild: add -bin-annot when using -pack
- Fatal error when tracing a function with abstract type
- ocamlbuild: add an -ocamlmklib option to change the ocamlmklib command
   2014-12-15 12:46:36 by Jonathan Perkin | Files touched by this commit (23)
Log message:
The "rename" rule is a published synonym for the "opt" \ 
transform rule, however
only the latter is supported by cwrappers.  Change them all to "opt" \ 
rules for
consistency and to gain compatibility with cwrappers.
   2014-11-25 12:09:51 by OBATA Akio | Files touched by this commit (1)
Log message:
linker flag hack is required on Darwin prior to 9 too.

PR pkg/49417 by Sevan Janiyan.
   2014-11-21 15:15:20 by Joerg Sonnenberger | Files touched by this commit (2)
Log message:
ARM assembler glue needs either Thumb or ARMv6 with emulation for one
Thumb instruction. Go with FreeBSD and use the latter.
   2014-11-20 16:24:57 by Joerg Sonnenberger | Files touched by this commit (1)
Log message:
Really match all ARM variants.
   2014-11-20 16:22:44 by Joerg Sonnenberger | Files touched by this commit (1)
Log message:
Match all ARM variants.
   2014-11-01 09:51:32 by OBATA Akio | Files touched by this commit (1)
Log message:
add some missing files for 4.02.0.
   2014-10-13 15:24:45 by Jaap Boender | Files touched by this commit (2)
Log message:
Extra patch - syntactical change only, but needed for x11/ocaml-graphics