PR/5572 CVS commit: pkgsrc/lang/ocaml

["Jaap Boender" <jaapb%netbsd.org@localhost>]

The following reply was made to PR pkg/5572; it has been noted by GNATS.

From: "Jaap Boender" <jaapb%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/5572 CVS commit: pkgsrc/lang/ocaml
Date: Mon, 8 Oct 2012 15:05:34 +0000

 Module Name:   pkgsrc
 Committed By:  jaapb
 Date:          Mon Oct  8 15:05:33 UTC 2012
 
 Modified Files:
        pkgsrc/lang/ocaml: Makefile Makefile.common PLIST PLIST.natdynlink
            PLIST.opt PLIST.stub buildlink3.mk distinfo
        pkgsrc/lang/ocaml/patches: patch-bytecomp_bytelink.ml
 Added Files:
        pkgsrc/lang/ocaml/patches: patch-Makefile patch-asmcomp_power_emit.mlp
            patch-asmrun_Makefile patch-asmrun_power-bsd.S
            patch-asmrun_signals_osdep.h patch-byterun_Makefile
            patch-camlp4_man_Makefile patch-configure
            patch-debugger_Makefile.shared patch-man_Makefile
            patch-ocamldoc_Makefile patch-otherlibs_Makefile.shared
            patch-otherlibs_dynlink_Makefile
            patch-otherlibs_labltk_browser_Makefile.shared
            patch-otherlibs_labltk_camltk_Makefile
            patch-otherlibs_labltk_compiler_Makefile
            patch-otherlibs_labltk_frx_Makefile
            patch-otherlibs_labltk_jpf_Makefile
            patch-otherlibs_labltk_labltk_Makefile
            patch-otherlibs_labltk_lib_Makefile
            patch-otherlibs_labltk_support_Makefile
            patch-otherlibs_systhreads_Makefile
            patch-otherlibs_threads_Makefile patch-stdlib_Makefile
            patch-stdlib_Makefile.shared patch-tools_Makefile.shared
 Removed Files:
        pkgsrc/lang/ocaml/patches: patch-at patch-au patch-av patch-aw patch-ax
            patch-ay patch-az patch-bb patch-bc patch-bd patch-be patch-bf
            patch-bg patch-bh patch-bi patch-bo patch-bp patch-bq patch-br
            patch-bs patch-bt patch-bu patch-bv patch-bw patch-bx
 
 Log Message:
 Update to version 4.00.1. Renamed patches from two-letter system and added
 comments.
 
 Updated buildlink3.mk to default to a full dependency (more pertinent in most
 cases; usually the standard library needs to be installed for an ocaml
 program to run)
 
 Changes from 3.12 to 4.00.1 include:
 OCaml 4.00.1:
 -------------
 Various bug fixes.
 
 OCaml 4.00.0:
 -------------
 
 (Changes that can break existing programs are marked with a "*")
 
 - The official name of the language is now OCaml.
 
 Language features:
 - Added Generalized Algebraic Data Types (GADTs) to the language.
   See chapter "Language extensions" of the reference manual for documentation.
 - It is now possible to omit type annotations when packing and unpacking
   first-class modules. The type-checker attempts to infer it from the context.
   Using the -principal option guarantees forward compatibility.
 - New (module M) and (module M : S) syntax in patterns, for immediate
   unpacking of a first-class module.
 
 Compilers:
 - Revised simplification of let-alias (PR#5205, PR#5288)
 - Better reporting of compiler version mismatch in .cmi files
 * Warning 28 is now enabled by default.
 - New option -absname to use absolute paths in error messages
 - Optimize away compile-time beta-redexes, e.g. (fun x y -> e) a b.
 - Added option -bin-annot to dump the AST with type annotations.
 - Added lots of new warnings about unused variables, opens, fields,
   constructors, etc.
 * New meaning for warning 7: it is now triggered when a method is overridden
   with the "method" keyword.  Use "method!" to avoid the warning.
 
 Native-code compiler:
 - Optimized handling of partially-applied functions (PR#5287)
 - Small improvements in code generated for array bounds checks (PR#5345,
   PR#5360).
 * New ARM backend (PR#5433):
     . Supports both Linux/EABI (armel) and Linux/EABI+VFPv3 (armhf).
     . Added support for the Thumb-2 instruction set with average code size
       savings of 28%.
     . Added support for position-independent code, natdynlink, profiling and
       exception backtraces.
 - Generation of CFI information, and filename/line number debugging (with -g)
   annotations, enabling in particular precise stack backtraces with
   the gdb debugger. Currently supported for x86 32-bits and 64-bits only.
   (PR#5487)
 - New tool: ocamloptp, the equivalent of ocamlcp for the native-code compiler.
 
 OCamldoc:
 - PR#5645: ocamldoc doesn't handle module/type substitution in signatures
 - PR#5544: improve HTML output (less formatting in html code)
 - PR#5522: allow refering to record fields and variant constructors
 - fix PR#5419 (error message in french)
 - fix PR#5535 (no cross ref to class after dump+load)
 * Use first class modules for custom generators, to be able to
   load various plugins incrementally adding features to the current
   generator
 * PR#5507: Use Location.t structures for locations.
 - fix: do not keep code when not told to keep code.
 
 Standard library:
 - Added float functions "hypot" and "copysign" (PR#3806, PR#4752, PR#5246)
 * Arg: options with empty doc strings are no longer included in the usage 
string
   (PR#5437)
 - Array: faster implementations of "blit", "copy", "sub", "append" and "concat"
   (PR#2395, PR#2787, PR#4591)
 * Hashtbl:
     . Statistically-better generic hash function based on Murmur 3 (PR#5225)
     . Fixed behavior of generic hash function w.r.t. -0.0 and NaN (PR#5222)
     . Added optional "random" parameter to Hashtbl.create to randomize
       collision patterns and improve security (PR#5572, CVE-2012-0839)
     . Added "randomize" function and "R" parameter to OCAMLRUNPARAM
       to turn randomization on by default (PR#5572, CVE-2012-0839)
     . Added new functorial interface "MakeSeeded" to support randomization
       with user-provided seeded hash functions.
     . Install new header <caml/hash.h> for C code.
 - Filename: on-demand (lazy) initialization of the PRNG used by "temp_file".
 - Marshal: marshalling of function values (flag Marshal.Closures) now
   also works for functions that come from dynamically-loaded modules (PR#5215)
 - Random:
      . More random initialization (Random.self_init()), using /dev/urandom
        when available (e.g. Linux, FreeBSD, MacOS X, Solaris)
      * Faster implementation of Random.float (changes the generated sequences)
 - Scanf: new function "unescaped" (PR#3888)
 - Set and Map: more efficient implementation of "filter" and "partition"
 - String: new function "map" (PR#3888)
 
 Installation procedure:
 - Compiler internals are now installed in `ocamlc -where`/compiler-libs.
   The files available there include the .cmi interfaces for all compiler
   modules, plus the following libraries:
       ocamlcommon.cma/.cmxa     modules common to ocamlc, ocamlopt, ocaml
       ocamlbytecomp.cma/.cmxa   modules for ocamlc and ocaml
       ocamloptcomp.cma/.cmxa    modules specific to ocamlopt
 
 camltoplevel.cma         modules specific to ocaml
    (PR#1804, PR#4653, frequently-asked feature).
 * Some .cmi for toplevel internals that used to be installed in
   `ocamlc -where` are now to be found in  `ocamlc -where`/compiler-libs.
   Add "-I +compiler-libs" where needed.
 * toplevellib.cma is no longer installed because subsumed by
   ocamlcommon.cma ocamlbytecomp.cma ocamltoplevel.cma
 - Added a configuration option (-with-debug-runtime) to compile and install
   a debug version of the runtime system, and a compiler option
   (-runtime-variant) to select the debug runtime.
 
 and various bug fixes.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.79 -r1.80 pkgsrc/lang/ocaml/Makefile
 cvs rdiff -u -r1.33 -r1.34 pkgsrc/lang/ocaml/Makefile.common
 cvs rdiff -u -r1.23 -r1.24 pkgsrc/lang/ocaml/PLIST
 cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/ocaml/PLIST.natdynlink
 cvs rdiff -u -r1.18 -r1.19 pkgsrc/lang/ocaml/PLIST.opt
 cvs rdiff -u -r1.5 -r1.6 pkgsrc/lang/ocaml/PLIST.stub
 cvs rdiff -u -r1.26 -r1.27 pkgsrc/lang/ocaml/buildlink3.mk
 cvs rdiff -u -r1.63 -r1.64 pkgsrc/lang/ocaml/distinfo
 cvs rdiff -u -r0 -r1.1 pkgsrc/lang/ocaml/patches/patch-Makefile \
     pkgsrc/lang/ocaml/patches/patch-asmcomp_power_emit.mlp \
     pkgsrc/lang/ocaml/patches/patch-asmrun_Makefile \
     pkgsrc/lang/ocaml/patches/patch-asmrun_power-bsd.S \
     pkgsrc/lang/ocaml/patches/patch-asmrun_signals_osdep.h \
     pkgsrc/lang/ocaml/patches/patch-byterun_Makefile \
     pkgsrc/lang/ocaml/patches/patch-camlp4_man_Makefile \
     pkgsrc/lang/ocaml/patches/patch-configure \
     pkgsrc/lang/ocaml/patches/patch-debugger_Makefile.shared \
     pkgsrc/lang/ocaml/patches/patch-man_Makefile \
     pkgsrc/lang/ocaml/patches/patch-ocamldoc_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_Makefile.shared \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_dynlink_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_browser_Makefile.shared \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_camltk_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_compiler_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_frx_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_jpf_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_labltk_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_lib_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_labltk_support_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_systhreads_Makefile \
     pkgsrc/lang/ocaml/patches/patch-otherlibs_threads_Makefile \
     pkgsrc/lang/ocaml/patches/patch-stdlib_Makefile \
     pkgsrc/lang/ocaml/patches/patch-stdlib_Makefile.shared \
     pkgsrc/lang/ocaml/patches/patch-tools_Makefile.shared
 cvs rdiff -u -r1.28 -r0 pkgsrc/lang/ocaml/patches/patch-at
 cvs rdiff -u -r1.4 -r0 pkgsrc/lang/ocaml/patches/patch-au \
     pkgsrc/lang/ocaml/patches/patch-ax pkgsrc/lang/ocaml/patches/patch-az \
     pkgsrc/lang/ocaml/patches/patch-bh pkgsrc/lang/ocaml/patches/patch-bq \
     pkgsrc/lang/ocaml/patches/patch-br
 cvs rdiff -u -r1.2 -r0 pkgsrc/lang/ocaml/patches/patch-av \
     pkgsrc/lang/ocaml/patches/patch-bb pkgsrc/lang/ocaml/patches/patch-bg
 cvs rdiff -u -r1.9 -r0 pkgsrc/lang/ocaml/patches/patch-aw
 cvs rdiff -u -r1.3 -r0 pkgsrc/lang/ocaml/patches/patch-ay \
     pkgsrc/lang/ocaml/patches/patch-bc pkgsrc/lang/ocaml/patches/patch-bd \
     pkgsrc/lang/ocaml/patches/patch-be pkgsrc/lang/ocaml/patches/patch-bf \
     pkgsrc/lang/ocaml/patches/patch-bi pkgsrc/lang/ocaml/patches/patch-bo \
     pkgsrc/lang/ocaml/patches/patch-bp pkgsrc/lang/ocaml/patches/patch-bu
 cvs rdiff -u -r1.8 -r0 pkgsrc/lang/ocaml/patches/patch-bs
 cvs rdiff -u -r1.5 -r0 pkgsrc/lang/ocaml/patches/patch-bt \
     pkgsrc/lang/ocaml/patches/patch-bv
 cvs rdiff -u -r1.1 -r0 pkgsrc/lang/ocaml/patches/patch-bw \
     pkgsrc/lang/ocaml/patches/patch-bx
 cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/ocaml/patches/patch-bytecomp_bytelink.ml
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.