kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/ocaml/PLIST.opt
jaapb b3f84848fb Update to ocaml 4.02.0. Main changes (apart from ocamldoc and bugfixes, see 
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.
2014-10-09 19:08:28 +00:00

204 lines
6 KiB
Text
Raw Blame History

@comment $NetBSD: PLIST.opt,v 1.22 2014/10/09 19:08:28 jaapb Exp $
bin/ocamlbuild.native
bin/ocamlc.opt
bin/ocamldep.opt
bin/ocamldoc.opt
bin/ocamllex.opt
bin/ocamlopt
bin/ocamloptp
bin/ocamlopt.opt
lib/ocaml/arg.cmx
lib/ocaml/arith_flags.cmx
lib/ocaml/arith_status.cmx
lib/ocaml/array.cmx
lib/ocaml/arrayLabels.cmx
lib/ocaml/big_int.cmx
lib/ocaml/bigarray.a
lib/ocaml/bigarray.cmx
lib/ocaml/bigarray.cmxa
lib/ocaml/buffer.cmx
lib/ocaml/bytes.cmx
lib/ocaml/bytesLabels.cmx
lib/ocaml/callback.cmx
lib/ocaml/camlinternalFormat.cmx
lib/ocaml/camlinternalLazy.cmx
lib/ocaml/camlinternalMod.cmx
lib/ocaml/camlinternalOO.cmx
lib/ocaml/char.cmx
lib/ocaml/complex.cmx
lib/ocaml/compiler-libs/arch.cmi
lib/ocaml/compiler-libs/asmgen.cmi
lib/ocaml/compiler-libs/asmlibrarian.cmi
lib/ocaml/compiler-libs/asmlink.cmi
lib/ocaml/compiler-libs/asmpackager.cmi
lib/ocaml/compiler-libs/clambda.cmi
lib/ocaml/compiler-libs/closure.cmi
lib/ocaml/compiler-libs/cmm.cmi
lib/ocaml/compiler-libs/cmmgen.cmi
lib/ocaml/compiler-libs/cmx_format.cmi
lib/ocaml/compiler-libs/coloring.cmi
lib/ocaml/compiler-libs/comballoc.cmi
lib/ocaml/compiler-libs/compilenv.cmi
lib/ocaml/compiler-libs/debuginfo.cmi
lib/ocaml/compiler-libs/emit.cmi
lib/ocaml/compiler-libs/emitaux.cmi
lib/ocaml/compiler-libs/interf.cmi
lib/ocaml/compiler-libs/linearize.cmi
lib/ocaml/compiler-libs/liveness.cmi
lib/ocaml/compiler-libs/mach.cmi
lib/ocaml/compiler-libs/main.cmx
lib/ocaml/compiler-libs/main.o
lib/ocaml/compiler-libs/ocamlbytecomp.a
lib/ocaml/compiler-libs/ocamlbytecomp.cmxa
lib/ocaml/compiler-libs/ocamlcommon.a
lib/ocaml/compiler-libs/ocamlcommon.cmxa
lib/ocaml/compiler-libs/ocamloptcomp.a
lib/ocaml/compiler-libs/ocamloptcomp.cmxa
lib/ocaml/compiler-libs/optcompile.cmi
lib/ocaml/compiler-libs/opterrors.cmi
lib/ocaml/compiler-libs/optmain.cmi
lib/ocaml/compiler-libs/optmain.cmo
lib/ocaml/compiler-libs/optmain.cmx
lib/ocaml/compiler-libs/optmain.o
lib/ocaml/compiler-libs/printclambda.cmi
lib/ocaml/compiler-libs/printcmm.cmi
lib/ocaml/compiler-libs/printlinear.cmi
lib/ocaml/compiler-libs/printmach.cmi
lib/ocaml/compiler-libs/proc.cmi
lib/ocaml/compiler-libs/reg.cmi
lib/ocaml/compiler-libs/reload.cmi
lib/ocaml/compiler-libs/reloadgen.cmi
lib/ocaml/compiler-libs/schedgen.cmi
lib/ocaml/compiler-libs/scheduling.cmi
lib/ocaml/compiler-libs/selectgen.cmi
lib/ocaml/compiler-libs/selection.cmi
lib/ocaml/compiler-libs/spill.cmi
lib/ocaml/compiler-libs/split.cmi
lib/ocaml/compiler-libs/arch.cmi
lib/ocaml/compiler-libs/asmgen.cmi
lib/ocaml/compiler-libs/asmlibrarian.cmi
lib/ocaml/compiler-libs/asmlink.cmi
lib/ocaml/compiler-libs/asmpackager.cmi
lib/ocaml/compiler-libs/clambda.cmi
lib/ocaml/compiler-libs/closure.cmi
lib/ocaml/compiler-libs/cmm.cmi
lib/ocaml/compiler-libs/cmmgen.cmi
lib/ocaml/compiler-libs/cmx_format.cmi
lib/ocaml/compiler-libs/coloring.cmi
lib/ocaml/compiler-libs/comballoc.cmi
lib/ocaml/compiler-libs/compilenv.cmi
lib/ocaml/compiler-libs/debuginfo.cmi
lib/ocaml/compiler-libs/emit.cmi
lib/ocaml/compiler-libs/emitaux.cmi
lib/ocaml/compiler-libs/interf.cmi
lib/ocaml/compiler-libs/linearize.cmi
lib/ocaml/compiler-libs/liveness.cmi
lib/ocaml/compiler-libs/mach.cmi
lib/ocaml/compiler-libs/main.cmx
lib/ocaml/compiler-libs/main.o
lib/ocaml/compiler-libs/ocamlbytecomp.a
lib/ocaml/compiler-libs/ocamlbytecomp.cmxa
lib/ocaml/compiler-libs/ocamlcommon.a
lib/ocaml/compiler-libs/ocamlcommon.cmxa
lib/ocaml/compiler-libs/ocamloptcomp.a
lib/ocaml/compiler-libs/ocamloptcomp.cmxa
lib/ocaml/compiler-libs/optcompile.cmi
lib/ocaml/compiler-libs/opterrors.cmi
lib/ocaml/compiler-libs/optmain.cmi
lib/ocaml/compiler-libs/optmain.cmo
lib/ocaml/compiler-libs/optmain.cmx
lib/ocaml/compiler-libs/optmain.o
lib/ocaml/compiler-libs/printclambda.cmi
lib/ocaml/compiler-libs/printcmm.cmi
lib/ocaml/compiler-libs/printlinear.cmi
lib/ocaml/compiler-libs/printmach.cmi
lib/ocaml/compiler-libs/proc.cmi
lib/ocaml/compiler-libs/reg.cmi
lib/ocaml/compiler-libs/reload.cmi
lib/ocaml/compiler-libs/reloadgen.cmi
lib/ocaml/compiler-libs/schedgen.cmi
lib/ocaml/compiler-libs/scheduling.cmi
lib/ocaml/compiler-libs/selectgen.cmi
lib/ocaml/compiler-libs/selection.cmi
lib/ocaml/compiler-libs/spill.cmi
lib/ocaml/compiler-libs/split.cmi
lib/ocaml/digest.cmx
lib/ocaml/filename.cmx
lib/ocaml/format.cmx
lib/ocaml/gc.cmx
lib/ocaml/genlex.cmx
lib/ocaml/hashtbl.cmx
lib/ocaml/int32.cmx
lib/ocaml/int64.cmx
lib/ocaml/int_misc.cmx
lib/ocaml/lazy.cmx
lib/ocaml/lexing.cmx
lib/ocaml/libasmrun.a
lib/ocaml/libasmrunp.a
lib/ocaml/libthreadsnat.a
lib/ocaml/list.cmx
lib/ocaml/listLabels.cmx
lib/ocaml/map.cmx
lib/ocaml/marshal.cmx
lib/ocaml/moreLabels.cmx
lib/ocaml/nat.cmx
lib/ocaml/nativeint.cmx
lib/ocaml/num.cmx
lib/ocaml/nums.a
lib/ocaml/nums.cmxa
lib/ocaml/obj.cmx
lib/ocaml/ocamlbuild/ocamlbuild.cmx
lib/ocaml/ocamlbuild/ocamlbuild.o
lib/ocaml/ocamlbuild/ocamlbuild_executor.cmx
lib/ocaml/ocamlbuild/ocamlbuild_executor.o
lib/ocaml/ocamlbuild/ocamlbuild_pack.cmx
lib/ocaml/ocamlbuild/ocamlbuild_plugin.cmx
lib/ocaml/ocamlbuild/ocamlbuild_plugin.o
lib/ocaml/ocamlbuild/ocamlbuild_unix_plugin.cmx
lib/ocaml/ocamlbuild/ocamlbuild_unix_plugin.o
lib/ocaml/ocamlbuild/ocamlbuildlib.a
lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa
lib/ocaml/ocamldoc/odoc_info.a
lib/ocaml/ocamldoc/odoc_info.cmxa
lib/ocaml/oo.cmx
lib/ocaml/parsing.cmx
lib/ocaml/pervasives.cmx
lib/ocaml/printexc.cmx
lib/ocaml/printf.cmx
lib/ocaml/profiling.cmx
lib/ocaml/profiling.o
lib/ocaml/queue.cmx
lib/ocaml/random.cmx
lib/ocaml/ratio.cmx
lib/ocaml/scanf.cmx
lib/ocaml/set.cmx
lib/ocaml/sort.cmx
lib/ocaml/stack.cmx
lib/ocaml/stdLabels.cmx
lib/ocaml/std_exit.cmx
lib/ocaml/std_exit.o
lib/ocaml/std_exit.p.cmx
lib/ocaml/std_exit.p.o
lib/ocaml/stdlib.a
lib/ocaml/stdlib.cmxa
lib/ocaml/stdlib.p.a
lib/ocaml/stdlib.p.cmxa
lib/ocaml/str.a
lib/ocaml/str.cmx
lib/ocaml/str.cmxa
lib/ocaml/stream.cmx
lib/ocaml/string.cmx
lib/ocaml/stringLabels.cmx
lib/ocaml/sys.cmx
lib/ocaml/threads/condition.cmx
lib/ocaml/threads/event.cmx
lib/ocaml/threads/mutex.cmx
lib/ocaml/threads/thread.cmx
lib/ocaml/threads/threadUnix.cmx
lib/ocaml/threads/threads.a
lib/ocaml/threads/threads.cmxa
lib/ocaml/unix.a
lib/ocaml/unix.cmx
lib/ocaml/unix.cmxa
lib/ocaml/unixLabels.cmx
lib/ocaml/weak.cmx
Reference in a new issue View git blame Copy permalink