2006-01
31 : | Quicksilver version 0.12.2 for Mac OS-X.4 is available along with installation instructions. |
Update ( I have removed all distributions from this repository. | |
31 : | Quicksilver version 0.12.2 for Solaris 8 is available along with installation instructions. |
31 : | Logical Types, LLC is no longer producing binary distributions of Mercury that do not support op/3 declarations.Quicksilver (Mercury with op/3 support)is a strict superset of Mercury and what Logical Types produces. |
16 : | I've posted a review of the PADL-2006. |
06 : | Here is a module that prints out a parsed term in its canonical form (write_canonical.m; useful for inspecting terms with op/3 syntax) anda test module (test_op.m) that exercises write_canonical. This can be used with the regular Mercury compiler, but is designed for Quicksilver compiling modules with embedded op/3 declarations. |
04 : | Mercury compiler enhanced with op/3 declarations for both PowerPC architecture Mac OS-X.4 systems (with installation instructions) and Sparc architecture Solaris 8 systems (with its own installation instructions) available for download. The compiler executable is named " lqc "for " L ogical Types Q uicksilverC ompiler". A supporting document, detailing thechanges to the compiler to permit users to insert op/3 declarations (followed eventually by the typedoperators in context) into module implementations, will follow in short order. |
Update ( These distributions (and the ones mentioned below) are |