[m-dev.] Drop SICStus & NU-Prolog support?

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Nov 23 14:27:07 AEDT 1998


On 23-Nov-1998, Thomas Charles Conway <conway at cs.mu.OZ.AU> wrote:
> On Sat, Nov 21, 1998 at 06:30:45AM EST, Fergus Henderson wrote:
> > Since we now have a working Mercury debugger, there seems to be
> > little point in compiling Mercury programs using a Prolog system.
> > Therefore I propose that we drop the existing support for SICStus
> > and NU-Prolog.
> > 
> > Comments?
> 
> This seems like a generally good idea.

OK, it looks like we have general agreement there.

> What is the status of generating Prolog code?

Note that generating Prolog is a bit of a different issue than
just trying to run unmodified Mercury code directly.
Generating Prolog might be quite useful (for example,
to speed up the edit-compile-debug cycle).

>From the WORK_IN_PROGRESS file:

 | Work not in progress
 | --------------------
 | 
 | The compiler also contains some code for the following features,
 | but work on them has stopped, since finishing them off would be
 | quite a bit more work, and our current priorities lie elsewhere.
 | Still, these would make interesting and worthwhile projects
 | if someone has the time for it.
...
 | * There is a `--generate-prolog' option for a new back-end
 |   that generates Prolog code.
 |   Not very much progress has really been made on this.

A quick grep through the source code shows that the `--generate-prolog'
option currently has no effect at all.

Basically the only progress that has been made is compiler/dnf.m.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.



More information about the developers mailing list