[m-dev.] trivial diff: SICStus compatibility in typecheck.m
fjh at cs.mu.OZ.AU
Thu Aug 6 16:24:40 AEST 1998
On 06-Aug-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> Remove occurrences of the "all" binary prefix operator, since SICStus
> doesn't understand them.
If you use the syntax
all [Vars] Goal
then SICStus does understand them.
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 184.108.40.206 | -- the last words of T. S. Garp.
More information about the developers