New in Yap-6.2.0:
YAP now includes the ProbLog language, developed at Leuven.
Better compatibility with SWI-Prolog, YAP now includes most
of the SWI web stuff, the constraint solvers, the plunit code,
and the Java and python interfaces.
The MYDDAS SQL and odbc interfaces are now integrated and
enabled by default.
YAP also now includes support for rational numbers, a lot of new
math operations, lots of bug fixes, a few engine optimisations.
New libraries include Neumerkel's lambda library, a first step
at coinduction support, and Nicos excellent R-interface.
The co-routing code has been totally cleaned up.
Changes in Yap-6.0.7:
NEW: YAP_SetYAPFlag (request from Theo Mantadelis).
NEW: support div/2 as per WG17.
FIXED: restore from / file should just try that file.
FIXED: bad things can happen to P when user code is called (obs from Ingo Thon).
NEW: coinduction.yap.
FIXED: remove leftover files including two lib*.a (obs from Bernd Gutmann).
FIXED: Make clean should result in recompiling all *.o (obs from Bernd Gutmann).
NEW: Ulrich Neumerkel's lambda library.
DELETE: ^/2 and ^/3 as grammar built-ins.
FIXED: make install in clpqr was broken if we used local install_sh .
DELETE: atan/2 arithmetic function, use atan2/2 instead (WG17).
FIXED: compilation in Solaris was broken because of conflict in declaration of gethostname.
FIXED: acyclic_term/1 is now built-in (WG17).
NEW: subsumes_term/2 (WG17).
Pkgsrc changes:
o Adapt to changes in the set of installed files.
Upstream changes:
Parrot 2.9.1 News:
- This is a bugfix release to address an excessive slowdown in
the Rakudo Perl 6 build. If you run out of memory on a box with
< 512 MB physical RAM, please report it to us.
Parrot 2.9.0 News:
- Core
+ Parrot and Rakudo's build and tests can now be run under the profiling
runcore
+ IPv6 is now detected, laying the groundwork for future networking
improvements
+ mk_language_shell.pl and create_language.pl no longer require an
installed parrot
+ String PMC's 'reverse' method is now faster and supports all encodings
+ improvements and simplifications in internal string processing
+ Added API for adding STRINGs to the gc root set
+ Speed up ord, substr, index and string comparison opcodes
- Testing
+ "make smoke" supports parallel testing by honoring TEST_JOBS
+ Added tests for Socket PMC, StringBuilder PMC, ByteBuffer PMC,
mk_language_shell.pl, create_language.pl
+ Fixed "Configure.pl" about missing tests
+ Parrot and Rakudo Perl 6 now have access to the GCC Compile Farm
+ Testing on Darwin/PPC
- Git Migration
+ Most developer tools have been ported to Git
+ Majority of developer docs have been written for Git
- Platforms
+ Parrot can now be built on Minix
* libc++ and LLDB are major new additions to the LLVM collective.
* LLVM 2.8 now has pretty decent support for debugging optimized code.
You should be able to reliably get debug info for function arguments,
assuming that the value is actually available where you have stopped.
* A new 'llvm-diff' tool is available that does a semantic diff of .ll files.
* The MC subproject has made major progress in this release. Direct .o file
writing support for darwin/x86[-64] is now reliable and support for other
targets and object file formats are in progress.
* The memcpy, memmove, and memset intrinsics now take address space qualified
pointers and a bit to indicate whether the transfer is "volatile" or not.
* Per-instruction debug info metadata is much faster and uses less memory by
using the new DebugLoc class.
* LLVM IR now has a more formalized concept of "trap values", which allow the
optimizer to optimize more aggressively in the presence of undefined behavior,
while still producing predictable results.
* LLVM IR now supports two new linkage types (linker_private_weak and
linker_private_weak_def_auto) which map onto some obscure MachO concepts.
* The optimizer now has support for updating debug information as it goes.
A key aspect of this is the new llvm.dbg.value intrinsic. This intrinsic
represents debug info for variables that are promoted to SSA values
(typically by mem2reg or the -scalarrepl passes).
* The JumpThreading pass is now much more aggressive about implied value
relations, allowing it to thread conditions like "a == 4" when a is known to
be 13 in one of the predecessors of a block. It does this in conjunction with
the new LazyValueInfo analysis pass.
* The new RegionInfo analysis pass identifies single-entry single-exit regions
in the CFG. You can play with it with the "opt -regions analyze" or "opt
-view-regions" commands.
* The loop optimizer has significantly improved strength reduction and analysis
capabilities. Notably it is able to build on the trap value and signed
integer overflow information to optimize <= and >= loops.
* The CallGraphSCCPassManager now has some basic support for iterating within
an SCC when a optimizer devirtualizes a function call. This allows inlining
through indirect call sites that are devirtualized by store-load forwarding
and other optimizations.
* The new -loweratomic pass is available to lower atomic instructions into
their non-atomic form. This can be useful to optimize generic code that
expects to run in a single-threaded environment.
This version is compatible with the ocaml 3.12.0 in tree
Fix pkg/43956 and pkg/43957
Changes:
Camlp5 Version 5.15:
* [09 Aug 10] Updated compatibility for OCaml current version 3.12.1.
* [09 Aug 10] Upgraded compatibility for OCaml released version 3.12.0.
* [29 Jul 10] Added ability to write AST quotations with a colon before
the '<' (e.g. "<:expr:< foo >>") which, in pattern position, generates
a binding of the variable "loc" at the top node:
1/ normal usage (still working):
"fun [ <:expr< x >> -> 0 ]"
which is equivalent to:
"fun [ MLast.ExLid _ (Ploc.VaVal "x") -> 0 ]
2/ new usage:
"fun [ <:expr:< x >> -> 0 ]"
which is equivalent to:
"fun [ MLast.ExLid loc (Ploc.VaVal "x") -> 0 ]
* [21 Jun 10] Added compatibility for OCaml trunk version 3.13.0.
* [29 Apr 10] Fixed bug in pr_depend.cmo: a.B.c did not add module B.
Camlp5 Version 5.14:
* [28 Apr 10] Updated compatibility for OCaml current version 3.12.0.
* [31 Mar 10] Fixed bug in pr_o.cmo: error message when using "#use"
Pkgsrc changes:
o Adapt to new package contents.
Upstream changes:
- Core
+ Inlined hashing and comparison functions
+ Hash memory allocation moved from system malloc to lazy allocated
+ Avoided infinite catching of exceptions while dying from exception
+ Some svn fixes
+ Added a check for duplicate vtable entries in PMCs
+ Building Parrot with Perl 5.12 and gcc-4.5 / g++-4.5
+ Eliminated cruft left over after dynops_mapping
+ Improved charset and string encoding
+ Better organisation of programs by reposition it to "tools/build"
and "tools/release"
+ Implemented Exception clone vtable function
+ Added experimental function Parrot_getpid and getpid method
+ --gc-threshold command line argument added, which controls the %
of memory wasted by the GC
+ Closed a lot of tickets
- Testing
+ Added more core pmc tests
+ Rearranged some tests with C coverage
+ We now have Smolder back, at http://smolder.parrot.org . Submit
reports with "make smoke"
+ skip_all implementation in Parrot's Test::More completed
- GitMigration
+ Set up a test site for github trac plugin at http://mksig.org/trac/
+ Code of Trac plugin at github is on http://github.com/cotto/github-trac
+ Parrot is now mirrored on github at http://github.com/parrot/parrot
- Compilers
+ Fixed problem with imcc HLL in load_bytecode difference between
loading a pbc and compiling a pir
pkgsrc changes:
- updating bundled modules
* threads from 1.75 to 1.78
* threads::shared from 1.32 to 1.33
* Math::BigInt from 1.89_01 to 1.95 (without test merges)
Upstream changes of avove modules
>>> threads <<<
1.78 Wed Sep 22 17:21:22 2010
- Handle missing signal handler in thread (threads bug #60460)
1.77 Fri Mar 26 13:36:33 2010
- Fix race condition in t/threads.t (threads bug #55633)
1.76 Tue Mar 9 14:02:43 EST 2010
- Handle magic on arg to ->object() (bug #73330)
- Make ->object(threads->tid()) work like ->self() (bug #73330)
- Noted memory consumption issue in POD
- Added reusable thread pool example
>>> threads::shared <<<
1.33 Tue Mar 9 14:03:47 EST 2010
- Handle shared object reference during global destruction
- Document that changing array length via $#array doesn't work
>>> Math::BigInt <<<
2010-09-03 v1.90 rafl
* fix bnok() for k==0 and k==n-1
2010-09-10 v1.91 rafl
* fix various documentation bugs
2010-09-10 v1.92 rafl
* re-upload v1.91 with a fixed SIGNATURE
2010-09-13 v1.93 rafl
* Depend on perl >= 5.6.2
* Remove obsolete core test directory boilerplate
* Convert from Test to Test::More
2010-09-13 v1.94 rafl DEVELOPMENT RELEASE
* Attempt to fix Math::BigInt::Lite failures
2010-09-14 v1.95 rafl
* Re-upload v1.94 as a stable release
* fix a typo in patch-am
* MESSAGE.SunOS is not required since the previous bump,
because "sunaudiodev" module will not be installed anymore.
* install 2to3 script with version suffix (and ALTERNATIVES)
to avoid conflict with future python version.
Bump PKGREVISION.
Pkgsrc changes:
o Adapt to changes in installed files, and a new perl script.
Upstream changes:
- Core
+ cleanups in packfile and freeze/thaw handling
+ Hash optimizations that improve HLL startup and run time
+ As always, many bug fixes and other optimizations
- Runtime
+ some runtime library cleanups
- Testing
+ added more tests to improve coverage
+ new codingstd test for documentation in .pmc files
- Documentation
+ added documentation to .pmc files (some still missing but headers in place)
+ general documentation improvements and bringing up-to-date
- NQP-rx
+ Updated version included from http://github.com/perl6/nqp-rx includes
speed improvements
Contributed by Peter Bex via IRC.
Changes in 4.6.0
- the licenses used in all components of the core system have
been collected in the LICENSE file (Thanks to Peter Bex)
- Added new compiler option `-no-module-registration' which
omits generation of module registration code, even when
generation of import libraries has not been enabled
- running `chicken' without arguments now hints at the
existence of `csi' and `csc'
- `caar', `cdar' and `cddr' generate faster code
- calls to `list', `vector' and the internal structure
allocation primitive that take 1 to 8 arguments generate
faster code
- `chicken-install' now checks the version of the setup
configuration file `setup.defaults'
- added option `-exact' to `chicken-status' and `chicken-uninstall',
which treats the pattern argument as the literal name of the
extension to be listed/deinstalled
- `assert' shows line-number information, if available
(suggested by Alejandro Forero Cuervo)
- interpreted code records the lexical-environment at call-
sites, which can in case of an error be inspected with the
new `,c', `,f' and `,g' csi toplevel commands
- the evaluation-result history in `csi' can be inspected and
cleared (to reduce memory load) with the toplevel commands
`,h' and `,ch'
- unit `data-structures': deprecated `left-section' and
`right-section'
- fixed bug that caused the static syntax-environment of
syntax exported by a module to be incomplete
- module `setup-api': Documented the `version>=?' and
`extension-name-and-version' proceedures
- unit `posix': `utc-time->seconds' is considerably
faster on Mac OS X (thanks to Jim Ursetto);
added new procedure `file-type'
- the `time' macro now shows the correct number of minor
garbage collections
- the immediate-object check inside the marking procedure
of the garbage collector has been manually inlined which
results in a significant GC speedup, depending on memory
load
- unit `srfi-18' and `scheduler': various bugfixes (thanks
to Joerg Wittenberger)
- unit `srfi-4': bugfix in 8-bit vector allocation routines
(thanks to Kon Lovett)
- added `-:H' runtime option to dump heap state on exit
- fixed missing change in Makefile.cygwin (thanks to John Cowan)
- fixed bug in `let-optionals' macro that caused problems when the
rest-variable was actually named `rest' (thanks to Alejandro
Forero Cuervo)
- when Scheme files are translated to C++ or Objective-C, `csc'
will register the feature-identifiers `chicken-scheme-to-c++'/
`chicken-scheme-to-objc' ar compile-time
- fixed bug in expansion of `#!key' parameters in lambda-lists
- debug-output for forcing finalizers on exit goes to stderr now
(thanks to Joerg Wittenberger)
- the installation routines for extensions automatically add
version-number information if none is given in the extension
property list (suggested by Alejandro Forero Cuervo)
- `standard-extension' accepts `#f' now for the version number
and will use the version that has been obtained via
`chicken-install'
- `fifo?', `symbolic-link?', `directory?', `regular-file?', `socket?',
`character-device?' and `block-device?' now accepts file-descriptors
or filenames
- `find-files' takes keyword arguments, now (including the options
to process dotfiles and ignore symbolic links); the old argument
signature is still supported but deprecated
- removed dependency on `symbol-append' in some macros used in
srfi-4.scm to be able to compile the system with older chickens
- fixed bug in script that generates development snapshot
- added build-variable `TARGET_FEATURES', which can be used to pass
extra options enabling or disabling fetures for a system configured
for cross-compilation
- added compiler and interpreter option `-no-feature FEATURENAME' that
disables predefined feature identifiers
- code compiled with interrupts disabled will not emit inline files
for global inlining since they may execute in a context where
interrupts are enabled
- the `setup.defaults' file that holds download sources for
`chicken-install' now allows aliases for locations
- CHICKEN systems build from cross-compilation now by default
transparently build and install extensions for both the host
and target parts of the cross-compilation setup; the options
`-host' and `-target' can now be used to selectively build
an extensions for the host- and the target system, respectively
- also added `-host' and `-target' options to `chicken-status' and
`chicken-uninstall'
- `chicken-install' now respects the `http_proxy' environment variable
(contributed by Stephen Eilert)
- the `srfi-4' library unit has been heavily cleaned up and optimized
- optimization-level 3 now enables global inlining
- fixed the case that declarations listing global identifiers did not
correctly rename them
- deprecated `-N' option shortcut for `-no-usual-integrations' option in
`csc'
- `csi' now offers a toplevel command `,e' for invoking an external
editor (suggested by Oivind Binde)
- the `describe' command in `csi' now detects many circular lists
(contributed by Christian Kellermann)
- `csi' doesn't depend on the `srfi-69' library unit anymore
- when a closing sequence delimiter is missing or incorrect, the
reader also reports the starting line of the sequence
- the reader signals an error when a file contains certain characters
that indicate that it is a binary file
- procedure-information shown by the printer for procedures is now
corrected for some library procedures that where missing the correct
information; `getter-with-setter' copies procedure-information objects
into the newly created accessor procedure, if available
- calls to some known pure standard- or extended procedures are removed, if
the procedures are called with side-effect free arguments and the
result is not used (this can also by enabled for user procedures with
the `constant' declaration)
- fixed some build-system bugs related to installation
- fixed a problem in the C runtime code that prevented it to be compileable
without a configuration header-file
- the makefile-target to build a bootstrapping `chicken' executable
performs multi-stage build now
- changed error message when required extension is out of date (thanks to
Mario Goulart)
- documented library units loaded by default in `csi' (thanks to Moritz
Heidkamp)
- added `boot-chicken' makefile target to simplify bootstrapping
the system from sources and documented this in the README
(suggested by Jim Ursetto)
- CHICKEN can now be built on haiku (contributed by Chris Roberts)
- on Solaris, the system can be compiled with the SunPro C compiler
(thanks to Semih Cemiloglu)
- removed the `-disable-warnings' compiler option and `disable-warnings'
declaration specifier
- `fx/' and `fxmod' generate now faster code in safe mode
- cleaned up manual pages
- slightly optimized variable- and procedure-access
- in the compiler `-debug-level 2' implies `-scrutinize'
- internal compiler-transformation for `for-each' and `map'
apply now with any expression as the procedure argument
- the compiler warns about non-intrinsic exported toplevel variables
which are declared to be safe
- `csc' didn't handle the `-verbose' option (thanks to Mario Goulart)
- the `,d' command in `csi' now detects circular lists (thanks to
Christian Kellermann)
- strings passed to C runtime functions and which are converted to
0-terminated C strings are now checked for not containing embedded
`\0' characters (thanks to Peter Bex)
- errors in user-defined record printers are caught and shown in the
output instead of throwing an error to avoid endless recursion when
an error message is printed
- a feature identifier named `chicken-MAJOR.MINOR' is now defined
to simplify conditionalization of code on the CHICKEN version
- `getter-with-setter' copies the lambda-information (if available) from
the getter to the generated procedure
- `time' uses a somewhat more concise output format and outputs timing
information to stderr instead of stdout
- added a new chapter on cross-development to the manual
- added the `safe-globals' declaration specifier
- split up manual chapter `Modules and macros' into two chapters
(named `Modules' and `Macros', respectively - suggested by
Mario Goulart)
- the last 5 non-precompiled regular expressions are now internally
cached in compiled form, which speeds up repeated matching of
the same uncompiled regular expression dramatically
- added the new procedure `yes-or-no?' to the `utils' library unit
- added a `bench' makefile target that runs some non-trivial
benchmark programs
- added `install-target' and `install-dev' makefile target for
installing only target system libraries in cross-mode and
development files (static libraries and headers)
- added `[-]no-procedure-checks-for-toplevel-bindings' compiler
option and declaration
- usage of unimported syntax in modules gives more usable
error messages; in particular, used but unimported FFI forms are
now detected
- invalid syntactic forms (mostly `()') encountered by the compiler
or interpreter show the contextual form containing the expression,
or, if indicated by the context warns about missing imports
- simplified manual pages of all core tools - they now refer to
the output shown by invoking `<tool> -help'
- added new option `-feature FEATURE' to `chicken-install' tool
to pass feature-identifiers to invocations of `csc'
- removed deprecated `-host-extension' option from `chicken-install'
- `chicken-status' in a system built for cross-compilation now
lists extensions installed in the target prefix, unless the
new `-host' option is given on the command line
- `chicken-uninstall' in a system built for cross-compilation now
removes extensions installed in the target prefix, unless the
new `-host' option is given on the command line
- added missing entry for `finite?' to the `chicken' module
exports
- added new procedure `port-closed?' to the `library' unit
(contributed by Peter Bex)
- added new procedure `symbol-append' to the library unit
- the compiler-option `-optimize-level 0' is equivalent to
`-no-compiler-syntax -no-usual-integrations`
- internal rewritings of `map' and `for-each' ensure correct
evaluation order of the arguments and does a better job
at detecting non-list arguments (thanks to Jim Ursetto)
- `void' now takes arbitrary arguments and ignores them
- deprecated `noop' (from the `data-structures' unit) which
is now replaced by `void'
- the `time' macro now performs a major garbage collection
before executing the contained expressions and writes
the timings in a more compact format to the port given
by `(current-error-port)' instead of the standard output
port
- definitions of the form `(define define ...)' and
`(define-syntax define-syntax ...)' now trigger an error,
as required by R5RS (thanks to Jeronimo Pellegrini and Alex
Shinn)
- deprecated `random-seed' from the `extras' unit, since it
is identical to `randomize'
- added new procedure `create-temporary-directory' to the
`files' unit
- deprecated the optional path separator argument to
`make-pathname'
- slightly improved the performance of keyword argument
processing
- removed the deprecated `canonical-path' and `current-environment'
procedures from the `posix' unit
- warnings that mostly refer to programming style issues are
now coined `notes' and are only shown in the interpreter
or when debug-mode is enabled or when scrutiny is enabled
when compiling
ruby18-base-1.8.7.302
ruby19-base-1.9.2pl0
* Now patches of ruby-gdm, ruby-curses, ruby-readline and ruby-tk
are gathered to lang/ruby18-base and lang/ruby19-base.
