Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
- From: A.L. <alewando@xxxxxxxxxx>
- Date: Fri, 14 Mar 2008 07:40:56 -0500
On Fri, 14 Mar 2008 08:51:26 +0100, Bart Demoen
<bmd@xxxxxxxxxxxxxxxxx> wrote:
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
Yes, I know, But stuill getting about 50 errors...
A.L.
.
- Follow-Ups:
- References:
- Prev by Date: Re: CLP(FD): what is necessary?
- 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):
Relevant Pages
|
|
