Some of the highlights in release 3.12 are:
* Polymorphic recursion is supported, using explicit type
declarations on the recursively-defined identifiers.
* First-class modules: module expressions can be embedded as
values of the core language, then manipulated like any other
first-class value, then projected back to the module level.
* New operator to modify a signature a posteriori: S with type
t := tau denotes signature S where the t type component is
removed and substituted by the type tau elsewhere.
* New notations for record expressions and record patterns:
{ lbl } as shorthand for { lbl = lbl }, and { ...; _ } marks
record patterns where some labels were intentionally omitted.
* Local open let open ... in ... now supported by popular demand.
* Type variables can be bound as type parameters to functions;
such types are treated like abstract types within the
function body, and like type variables (possibly generalized)
outside.
* The module type of construct enables to recover the module
type of a given module.
* Explicit method override using the method! keyword, with
associated warnings and errors.
dist Snowball-Swedish) into textproc/p5-Snowball-Swedish as dependency
for scheduled import of Lingua::Stem.
The stem function takes a scalar as a parameter and stems the word
according to Martin Porters Swedish stemming algorithm, which can be
found at the Snowball website: http://snowball.tartarus.org/.
It also supports caching if the use_cache option is passed when
constructing a new L:S:S:N object.
(CPAN distribution Snowball-Norwegian) into textproc/p5-Snowball-Norwegian.
The stem function takes a scalar as a parameter and stems the word
according to Martin Porters Norwegian stemming algorithm, which can be
found at the Snowball website: http://snowball.tartarus.org/.
It also supports caching if the use_cache option is passed when
constructing a new L:S:S:N object.
dependency of scheduled import of Lingua::Stem 0.84.
The stem function takes a scalar as a parameter and stems the word
according to Martin Porters Danish stemming algorithm, which can be found
at the Snowball website: http://snowball.tartarus.org/.
It also supports caching if the use_cache option is passed when
constructing a new L:S:S:D object.
of scheduled import for Lingua::Stem.
This module applies the Porter Stemming Algorithm to its parameters,
returning the stemmed words.
The algorithm is implemented exactly as described in:
* http://snowball.tartarus.org/russian/stemmer.html
The code is carefully crafted to work in conjunction with the Lingua::Stem
module by Benjamin Franz. This stemmer is also based on the work of Aldo
Capini, see Lingua::Stem::It.
textproc/p5-Lingua-Stem-It as dependency for Lingua::Stem, which is a
dependency of the scheduled update of DBIx::Class::Schema::Loader
This module applies the Porter Stemming Algorithm to its parameters,
returning the stemmed words.
The algorithm is implemented exactly (I hope :-) as described in:
http://snowball.tartarus.org/algorithms/italian/stemmer.html
The code is carefully crafted to work in conjunction with the
Lingua::Stem module by Benjamin Franz, from which I've also borrowed
some functionalities (caching and exception list).
textproc/p5-Lingua-Stem-Fr as dependency of scheduled import of
Lingua::Stem as dependency of scheduled update of DBIx::Class::Schema::Loader
This module use the a modified version of the Porter Stemming Algorithm
to return a stemmed words.
The algorithm is implemented as described in:
* http://snowball.tartarus.org/french/stemmer.html
with some improvement.
The code is carefully crafted to work in conjunction with the Lingua::Stem
module by Benjamin Franz. This french version is based too, on the work
of Aldo Calpini (Italian Version)
of Lingua::Stem 0.84 import (for DBIx::Class::Schema::Loader update).
Implements a Portuguese stemming algorithm proposed in the paper A
Stemming Algorithm for the Portuguese Language by Moreira, V. and
Huyck, C.
Galician is an endangered language spoken in northwest region of Spain.
Galician is morphologically similar to Portuguese but phonetics differs
greatly. Due to the morphological similarity between Portuguese and
Galician, Portuguese stemming algorithm can be adopted to stem Galician
texts.
See http://bvg.udc.es/recursos_lingua/stemming.html for stemming rules.
Changes in 5.11.4:
* ADDED: library coinduction.pl, after discussion with Gopal Gupta.
* CLEANUP: Share more of the Makefiles between Windows and the rest
* FIXED: destruction of a queue if a thread is waiting to write
* FIXED: error by current_blob/2.
* MODIFIED: incorrect handling of (^)/2 in setof/3 and bagof/3.
The new version should now fully comply to ISO. As of now,
- The predicate ^/2 no longer exists
- ^ is only handled by bagof/setof if it appears
directly at the toplevel of the 2nd argument.
E.g., the following is NOT allowed:
setof(X, (foo(X); Y^foo(Y)), L).
Code must be rewritten. At runtime, problems are signalled
by ^/2 being undefined. compile-time analysis can be achieved using
gxref/0 (or check/0 for quick-and-dirty).
* FIXED: GC error when nesting (if->then/*no-else*/) inside \+.
Thanks to test-case by Keri Harris.
* FIXED: retractall(x(X,X)). Roberto Tiella.
Changes in 5.11.3:
* FIXED: Top level now performs expand_goal/2 *after* correcting the
goal.
* MODIFIED: PL_CUTTED -> PL_PRUNED. Kept PL_CUTTED as a #define for
compatibility.
* FIXED: Correctly read RDF/XML that is in UTF-8 on Windows.
* ENHANCED: Faster enumeration of subjects for writing small RDF gaphs
* ENHANCED: Better sizing of the hash-tables.
* CLEANUP: Use size_t in many places for RDF-DB
* ADDED: RDF-DB index on +,+,+. This provides a significant speedup in
loading databases with multiple objects on the same SP.
* ADDED: Syntax closer to ISO with set_prolog_flag(iso,true).
See Prolog flag iso for a detailed description.
* MAINT: Fix compilation under -DO_DEBUG. Andy Valencia.
* FIXED: Syntax: proper bracketing of arguments
* MODIFIED: Simpler syntax within { }.
According to 6.3.6 the term within curly brackets is read with
priority 1201, so no extra parentheses are needed.
Changes in 5.11.2:
* ADDED: lang_equal/2 to RDF library to test language equality. Jacco
van Ossenbruggen
* FIXED: Error from http_absolute_location/3 if an alias is not
defined.
* FIXED: Avoid error in edit/1 hook if an HTTP path-alias is undefined.
* ADDED: Just-in-time creation of thread-pools for the HTTP server
using the new hook
http:create_pool/1. Cleanup of the code for faster spawning of
worker-threads.
* MODIFIED: Threaded server defaults: keep-alive-timeout is now 2
seconds (was 5)
and the worker-count is now 5 (was 2). Worker-count is increased
because many
servers need it as since version 5.9.x there is hardly a price for
more workers.
* ADDED: option hide_children(Bool) to make prefix handlers hide their
children
and allow http_delete_handler to delete a handler-by-id.
* PORT: Realise set_end_of_file in Windows version
* ENHANCED: Implement safe-locking of the RDF persistent database
* ADDED: set_end_of_stream/1.
* PORT: Fix for MS VS2010 compilation. Degski.
* ADDED: lang_matches/2 to library(rdf_db)
* FIXED: url_to_filename/2 in rdf_persistency was broken due to
steadfastness
fix in DCG (commit 1a1a5699). Jacco van Ossenbruggen.
* FIXED: list_settings/0. Li Li.
* FIXED: handling of = and contains in xpath. Carsten van Weelden.
* ADDED: library(semweb/sparql_client) providing a SPARQL client API.
* ENHANCED: Layout for listing where the body resides in another
module.
* ENHANCED: Provide style pldoc(Id) with each PlDoc handler
* ADDED: reply_html_page/3: re-stylable HTML pages
* FIXED: Possible crash in cleanup handlers.
See comment above discardChoicesAfter() for more details.
* ENHANCED: Make it possible to give syntax-warnings with exact
positions.
* ADDED: Warnings for missing quotes for , and |
* MODIFIED: Stricter list syntax. E.g. [a,b|c,d] or [a|b|c] are now
illegal.
In the unlikely case this was intended, the term after the bar (|)
must be
enclosed in brackets. I.e. [a,b|(c,d)] or [a|(b|c)].
* FIXED: Syntax: proper quoting of | and ,
* PORT: Improve behavioral consistency between 32-bit and 64-bit
allocation
* FIXED: Memory leak for threads allocating chunks of 512 bytes. Matt
Lilley.
* ADDED: computing SHA incrementally. Ivan Shmakov
* INSTALL: Item#567: make check of xpce loading user's .plrc
* FIXED: steadfastness in DCG translation. Item#379
* FIXED: Item#559: hanging system in GC. Only affects 32-bit platforms
when doing GC on large stacks that have >8Mb chunks of continuous
garbage. Ulrich Neumerkel.
* DOC: errors for atom_length/2. Ulrich Neumerkel.
* ADDED: Library(http/js_write) to embed JavaScript calls into HTML
pages
* FIXED: Processing of stack-limit options in thread_create/3. Jacco.
* FIXED: Avoid direct access to private predicates of module error.
* ADDED: rdf_reachable/5, providing a distance limit and returning the
distance.
* ADDED: rdf_is_resource/1 and rdf_is_literal/1 for completeness.
* FIXED: Thread-creation if ulimit -s == infinite.
* FIXED: Do not skip character after . in turtle parser. Lourens van
der Meij.
* PORT: Windows snprintf --> _snprintf
* MODIFIED: On systems that provide getrlimit(), the default
C-stack-size of
created threads is the same as that of the main thread. This was
already
the default on Linux, but not on e.g. MacOS.
* ADDED: statistics(c_stack, StackSize) to query the system (C-)stack
limit.
For consistency, thread_create now also accepts c_stack as parameter.
This patch also cleans some type-issues with regard to stack-size
specification and removes 2Gb limit for Win64 due to the use of long.
* ADDED: Skos prefix
* ADDED: http_server_property/2. This patch also does some cleanup to
the meta-predicate declarations for the multi-threaded HTTP server.
* FIXED: Check for integer overflows in numeric-arguments for
format-specifiers
* FIXED: Possible buffer overflow on format('~200f', [1]). Mike
Elston.
* ADDED: library(http/http_openid), supporting OpenID consumers and a
server.
* ADDED: library(http/http_host) to obtain the public hostname of our
HTTP service
* CLEANUP: Stricter type-checking in load_files/2. Discussion on
comp.lang.prolog.
* FIXED: Old naming conventions. Julian Zubek.
* FIXED: Atom-GC for blobs that do not have PL_BLOB_UNIQUE. Samer
Abdallah.
* ADDED: Allow for selective importing of operators in use_module/2.
After discussion with Vitor.
* PORT: Do not use chrpath if the kernel is not a shared object
* PORT: Some type-issues in socket libs (nonblockio.c)
I do not think any of these could have been fatal. They just produce
alarming messages from the compiler.
Changes in 5.11.1:
* PORT: Windows: make fake EWOULDBLOCK error compatible with new def in
VS2010
* PORT: Fix download of Windows prerequisites for Windows 7. Degski.
* ADDED: Support for "406 Not Acceptable" responses in the HTTP server.
* INSTALL: make prepare check all checked-out modules, regardless of
-a.
* FIXED: Cleanup after uncaught stack-overflow exceptions. Paul
Singleton.
* DOC: Fixed code for skeleton client. Mike Elston.
* FIXED: ?= for cases where the arguments do not unify. Marco Montali.
* FIXED: Possible crash on stack-shift in cleanup handler. Jochem
Liem.
* FIXED: Possibly wrong association of $and in frozen/2. Samer
Abdallah.
* FIXED: Handling option register_namespaces(true) in rdf_load/2.
Vangelis Vassiliadis.
* MODIDIED: rdf_assert/4 now discards *complete* duplicates (incl
source).
* PORT: Avoid including termios.h into pl-os.h to localise the
dependencies
and (hopefully) make the system compile on Solaris.
* PORT: Get prototype for posix_openpt(), avoiding warning
* PORT: Move time-dependencies where they are needed; use POSIX
clock_gettime() if it is provided.
* DOC: Enhance comments of rb_insert/4 and rb_insert_new/4.
* MODIFIED: Make rdf_meta/1 module-aware. This means that calls are
only expanded if they resolve to the exact predicate that is declared
using rdf_meta. This might break code relying on the old behaviour
that expansion took place regardless of the module.
It is possible to get a warning on calls that used to be expanded
and are now not using this call before *loading* the program:
?- debug(rdf_meta).
The new code also expands NS:Local appearing literally in the head
of rdf_meta-declared clauses.
same poppler version. So make the BUILDLINK_API_DEPENDS.poppler
an exact match.
(Noticed pkgconfig error when building evince with a poppler
and poppler-glib with different versions.)
Correct homepage.
Include hicolor-icon-theme.
Add descriptive description.
Increased version to 0.5.1. Sorry I can't find the changelog.
This provides a manual page.
Update okayed by maintainer, Roy (but over a month ago).
Based on PR#43757 by Kamel Derouiche.
Tue, Sep 22, 2009: Released Check 0.9.8
based on r559 (2009-09-23 21:00).
* Fix CHECK_MICRO_VERSION, left at 6 in 0.9.7 by mistake.
Tue, Sep 22, 2009: Released Check 0.9.7
based on r552 (2009-09-22 09:26).
* Added CK_SUBUNIT support for outputting test information in the subunit wire
protocol. See the check manual for more information. (Contributed by Robert
Collins).
* Added code and tests for timeout scaling via environment variable.
Feature requested in tracker item #1549835 on sourceforge.
* Added documentation for testing exit values with tcase_add_exit_test().
* Add make_macros perl script from somebody (who?)
* add type to check_type error message
* add contrib dir with xslt transform
* function exist testing support (patch #1726574).
* introduce HAVE_WORKING_SETENV to protect tc_timeout_env usage
* support running tests with multiple pthreads (Daniel Gollub, closes 1391527)
* partial MSYS/MinGW support
Mon, Dec 29, 2008: Released Check 0.9.6
based on r453 (2008-12-01 22:14:15).
* 'make distcheck' does not work out of the box. Disable the two
top lines in doc/Makefile.am and it shall pass. Will have to
be fixed later.
* add call to AC_REPLACE_FUNCS([strsignal])
* add new rpl_strsignal following rpl_(re)malloc template, body
of function due to Roland Illig
-- hopefully closes 1629755
* add missing NULL argument to fail* varargs macro calls
* define incorrect tests for __GNUC__ only
-- both per Roland Illig in bug 1677391
* define CK_ATTRIBUTE_UNUSED for GCC >= 2.95, closing:
[ 1674626 ] compile error with non defined __attribute__ compiler
* Fixed error in documentation example Makefile.am, bug #1888237
* Fixed spelling (patch #1652630)
* Handle NULL in srunner_add_suite(). Fixes#1624887
* add CK_FORK_GETENV to enum fork_status and delete CK_FORK_UNSPECIFIED
* call strdup on result from strsignal to avoid clobbering it
* add Torok Edwin to AUTHORS
* add CK_TEST_RESULT_INVALID to enum test_result
* add CK_CTX_INVALID to ck_result_ctx and don't use -1 anymore
* count checks in setup() as well; patch due to Roland Stigge
* use int __attribute__((unused)) _i instead of
int _i __attribute__((unused))
per gcc-3.3.5 request from Sebastian Trahm
* rename signal to _signal in _tcase_add_test to avoid a
symbol clash with /usr/include/sys/signal.h on OS X.
* define rpl_malloc and rpl_realloc for platforms where
!malloc(0) and !realloc(0,0), such as AIX, because configure
goes and redefines malloc/realloc in this case...
* SVNChangeLog patch from Robert Collins
* Incorporated patch from Debian for debian bug #395466. This fixes
'AM_PATH_CHECK causes "possibly undefined macro" errors'.
* Added new Check fail API. Implemented on top of fail_unless. Future
versions will reverse this so fail_unless is implemented on top of the
ck_assert API. This API is not documented yet, will probably not be fully
released until 0.9.8, when it will be possible to choose API.
