The dynamic syntax compiler
Types Quicksilver") and
qcpt(the QuickCheck type
generator) have been modified to work with the new structure
of Melbourn's Mercury
opsmodule. The new
system has been updated and is available in our
qcheck2library has been updated to
work with the current
ltq; it includes two
sample modules with different reportage options. It can
be found in the shared repository.
peanomodule has received some new
counting functions to simplify the user's task of
constructing small peano numbers.
We present a very tiny foreign interface to
tiffany allows reading and writing
simple RGBA TIFFs with two-dimensional arrays. As the
matrix module matures, we will use that
protocol for more comprehensive image filtering. This
interface is presented with some samples and (currently)
no documentation (other than code comments) as is available
from our shared repository.
Both libtiff and the
matrix protocol must be
available to run the samples.
Per the suggestions of the Mercury
team, I have updated the foreign protocol calls
from the old C-specific interface to the generic and
supported interface. Also, made the library "more"
threadsafe by eliminating the global file pointers
and subsuming those values into the image structure.
(again) to avoid the old C-style foreign
interface and also to eliminate unnecessary
warnings about int-to-pointer casts.