Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
- From: Bart Demoen <bmd@xxxxxxxxxxxxxxxxx>
- Date: Fri, 14 Mar 2008 08:51:26 +0100
A.L. wrote:
On Mon, 11 Feb 2008 09:59:31 -0800 (PST), tomenannemie@xxxxxxxxx+:- use_module(library(lists),[append/3]).
Have you ever tried this on SICStus 4?... Somehow cannot make it
working...
append/3 has become a built-in since SICStus 4
delete the line - even with it, it seems to work, apart from a warning
that says ...
* predicate append/3 imported by user from lists is built_in
cheers
Bart Demoen
.
- Follow-Ups:
- References:
- Prev by Date: Unification
- Next by Date: Re: CLP(FD): what is necessary?
- Previous by thread: Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
- Next by thread: Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
- Index(es):
