Home > Archive > Prolog > March 2008 > Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Re: Reqest for Contributors: Hindley-Milner type checker library for Prolog
|
|
|
| On Mon, 11 Feb 2008 09:59:31 -0800 (PST), tomenannemie@gmail.com
wrote:
>On 11 feb, 16:57, A.L. <alewa...@zanoza.com> wrote:
>
>It's pretty portable, I guess. The changes necessary for SICStus are:
>
> :- module(type_check,
>- [ op(1150, fx, type)
>- , op(1130, xfx, ---> )
>- , op(1150, fx, pred)
>- ]
>+ []
> ).
>
>+:- use_module(library(lists),[append/3]).
>
Have you ever tried this on SICStus 4?... Somehow cannot make it
working...
A.L.
| |
|
| On Fri, 14 Mar 2008 08:51:26 +0100, Bart Demoen
<bmd@cs.kuleuven.ac.be> wrote:
>A.L. wrote:
>
>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.
| |
| bart demoen 2008-03-14, 7:29 pm |
| On Fri, 14 Mar 2008 07:40:56 -0500, A.L wrote:
>
> Yes, I know, But stuill getting about 50 errors...
It was written for SWI - too many incompatibilities with SICStus I am
afraid.
Cheerws
Bart Demoen
| |
|
| On Fri, 14 Mar 2008 20:52:20 +0100, bart demoen <bmd@cs.kuleuven.be>
wrote:
>On Fri, 14 Mar 2008 07:40:56 -0500, A.L wrote:
>
>
>It was written for SWI - too many incompatibilities with SICStus I am
>afraid.
>
I am afraid, too... Anyway, will try to fix, time permits...
A.L.
|
|
|
|
|