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

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

Branch: CURRENT, Version: 4.02.3nb1, Package name: ocaml-4.02.3nb1, 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: e68ffd2b5bb491a6345f46b27675e1361a49b274
RMD160: 3946204b9396a7fb81ae1042ce67a494579c151b
Filesize: 3036.027 KB

Version history: (Expand)

CVS history: (Expand)

   2015-08-22 12:45:13 by Jaap Boender | Files touched by this commit (4)
Log message:
Patch for OS X 32-bit ABI, as supplied by Mansour Moufid. See also
http://mail-index.netbsd.org/pkgsrc-use … 21910.html
   2015-08-09 15:31:18 by Jaap Boender | Files touched by this commit (2)
Log message:
Added patch for x11/ocaml-graphics. This does not change any functionality,
but is necessary for a Makefile substitution in that package.
   2015-08-07 13:16:30 by Jaap Boender | Files touched by this commit (6) | Package updated
Log message:
This is an update of lang/ocaml to its latest version, 4.02.3. Changes

Bug fixes:
- Top-level custom printing for GADTs: interface change in 4.02.2
  (Grégoire Henry, report by Jeremy Yallop)
- corrupted final_table (ygrek)
- R#6926: Regression: ocamldoc lost unattached comment
  (Damien Doligez, report by François Bobot)
- Aliased result type of GADT constructor results in assertion failure
  (Jacques Garrigue)

Feature wishes:
- PR#6691: install .cmt[i] files for stdlib and compiler-libs
  (David Sheets, request by Gabriel Radanne)
- New primitive: caml_alloc_dummy_function
  (Hugo Heuzard)
   2015-07-04 11:29:48 by Jaap Boender | Files touched by this commit (2)
Log message:
Removed a superfluous (and breakage-causing) -p from a patch. Thanks to
BulkTracker for pointing me to this bug.
   2015-06-30 13:08:47 by Jaap Boender | Files touched by this commit (19) | Package updated
Log message:
Updated lang/ocaml to newest version 4.02.2. Changes apart from bugfixes
- #6583: add a new class of binary operators with the same syntactic
  precedence as method calls; these operators start with # followed
  by a non-empty sequence of operator symbols (for instance #+, #!?).
  It is also possible to use '#' as part of these extra symbols
  (for instance ##, or #+#); this is rejected by the type-checker,
  but can be used e.g. by ppx rewriters.
* #6016: add a "nonrec" keyword for type declarations
- #6600: make -short-paths faster by building the printing map
- #6642: replace $CAMLORIGIN in -ccopt with the path to cma or cmxa
  to output an object file with included runtime and autolink libraries
- #6845: -no-check-prims to tell ocamlc not to check primitives in runtime
- G#149: Attach documentation comments to parse tree
- G#159: Better locations for structure/signature items
- #5958: generalized polymorphic #install_printer
- #6237: explicit "infer" tag to control or disable menhir --infer
- #6625: pass -linkpkg to files built with -output-obj.
- #6712: Ignore common VCS directories
- #6720: pass -g to C compilers when tag 'debug' is set
- #6733: add .byte.so and .native.so targets to pass
  -output-obj -cclib -shared.
- #6733: "runtime_variant(X)" to pass -runtime-variant X option.
- #6774: new menhir-specific flags "only_tokens" and \ 
- #6285: Add support for nanosecond precision in Unix.stat()
- #6781: Add higher baud rates to Unix termios
- #6834: Add Obj.{first,last}_non_constant_constructor_tag
- #6078: Release the runtime system when calling caml_dlopen
- #6675: GC hooks
- #5418 (comments) : generate dependencies with $(CC) instead of gcc
- #6266: Cross compilation for iOs, Android etc
- Update instructions for x86-64 PIC mode and POWER architecture builds
- #6452, G#140: add internal suport for custom printing formats
- #6641: add -g, -ocamlcflags, -ocamloptflags options to ocamlmklib
- #6693: also build libasmrun_shared.so and lib{asm,caml}run_pic.a
- #6842: export Typemod.modtype_of_package
- G#139: more versatile specification of locations of .annot
- G#157: store the path of cmos inside debug section at link time
- G#191: Making gc.h and some part of memory.h public
   2015-04-17 11:12:12 by Jaap Boender | Files touched by this commit (3)
Log message:
Extended gdt's i386 ucontext signal handler patch to amd64. This shouldn't
affect anything that isn't NetBSD/amd64.
   2015-04-03 00:40:09 by Tobias Nygren | Files touched by this commit (6)
Log message:
Avoid using the "3o" man page section, since plist-man.awk can't handle it.
Instead treat ocaml like we do with lang/perl5 and install the man pages in
the "3" section in /usr/pkg/lib/ocaml/man/man3.
   2015-03-17 15:14:43 by Jonathan Perkin | Files touched by this commit (2)
Log message:
Detect 64-bit SunOS.