[mercury-users] [ANNC]: Updated libraries from logicaltypes.com

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Mon Mar 19 05:24:47 AEDT 2007


>From the newspost of March 18, 2007 at http://www.logicaltypes.com:

A new library and several improvements can be found in the shared repository:

* The xml library provided in the Mercury extras distribution is out-of-date; 
  it no longer compiles. I have fixed the compile errors and added several 
  modules (to assist in XML transformations and pretty-printing) and tests.
  
* Several improvements are available for qcheck2:
  1. I have modified the qcheck2 library so that it now uses the RNG protocol 
     as proposed in the Mercury users' maillist. I have also modified the 
     reporting feature to accept a polymorphic type for module.predicate unit 
     tests ... this improvement 'upgrades' qcheck2 to be an independent library 
     (qcheck was also an independent library).
  2. The program qcpt that generates the module.predicate test points for a 
     system has also been updated to use the new qcheck2 reporting protocol. 
     qcpt is bundled with ltq.
* I have entirely changed the utils library:
  1. Although useful for a small number of repetitions, the peano module 
     becomes unweildly for large cycles (1,000,000 is represented as 1,000,001 
     cons cells!). So, I have discarded it in favor of a slightly more 
     sophisticated counting algorithm (where 1,000,000 is represented by 7 cons 
     cells) in the utils.series module that now also includes loop abstraction 
     with func unfold/3 and pred svunfold/6 (the latter being used when one must 
     also update a dependent state variable).
  2. Julian Fondrant on the Mercury Users maillist proposed a RNG typeclass and 
     protocol, and published a module implementation using the tausworthe3 
     algorithm. I have incorporated this module (as utils.random) with a simplified 
     fa├žade and other minor corrections.


--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the users mailing list