[m-dev.] for review: create new web pages for 0.10 release

Peter Ross peter.ross at miscrit.be
Wed Feb 21 22:19:44 AEDT 2001


On Wed, Feb 21, 2001 at 09:51:00PM +1100, Fergus Henderson wrote:
> On 21-Feb-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> > There are several other changes we should mention.
> 
> OK, but those changes should be made to the NEWS file too.
> 
> > - The declarative debugger has been improved in several respects:
> >   - It has a greatly improved user interface.
> >   - It can now handle the debugging of very large computations.
> 
> The official status of the declarative debugger is still "work in progress". 
> It remains undocumented, except for a brief mention in the
> WORK_IN_PROGRESS file.  It has never been officially released.
> It doesn't make sense to talk about improvements to something
> that was never officially released in the first place.
> 
> It should not be officially released (i.e. announced in the NEWS file
> rather than the WORK_IN_PROGRESS file) until it is documented, IMHO.
> 
> > - The compiler now recognizes assertions for associativity and for
> >   order-independent update, and uses them to introduce accumulators.
> 
> The comment about using them to introduce accumulators a little
> misleading, since the current compiler does not do that unless you
> explicitly use the `--introduce-accumulators' option -- it is not
> enabled at any `-O' level.
> 
> That is because of the following code in options.m:
> 
>         % Disabled until a bug in extras/trailed_update/var.m is resolved.
> 	%introduce_accumulators -       bool(yes),
> 
> I think that bug may have been resolved by now, so maybe that could be
> re-enabled, but currently it isn't.  
> 
Yes that bug was fixed (1.14 of accumulator.m).

However when trying to compile the extras/trailed_update directory I get
the following error

EUCLID:~/merc/workspaces/version_0_10_y/extras/trailed_update
$ mmake EXTRA_MCFLAGS="--introduce-accumulators --intermodule-optimization" GRADE=none.gc check
cd samples && mmake  check
make[1]: Entering directory
`/cygdrive/d/users/petdr/merc/workspaces/version_0_10_y/extras/trailed_update/samples'
mgnuc --grade none.gc --use-trail     -g -I..        -c vqueens.c /Fovqueens.obj
Command line warning D4002 : ignoring unknown option '-g'
vqueens.c
../var.opt(133) : error C2065: 'TypeInfo_for_T' : undeclared identifier
make[1]: *** [vqueens.obj] Error 2
make[1]: Leaving directory
`/cygdrive/d/users/petdr/merc/workspaces/version_0_10_y/extras/trailed_update/samples'
make: *** [check] Error 2
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list