Subject: Re: [SWIPL] type checking / inference for SWI

From: Jan Wielemaker <[email-masked]>
Date: Tue, 20 Mar 2001 10:43:38 +0100

> is there any implementation of the Mycroft/O'Keefe type inference which
> works for (full) SWI? Or any other good type checker / inference system?
> Do these beasts handle all the nasty stuff as =.. and call?

Not that I know of.  I would definitely be interested in serious
compile-time analysis stuff.

There is a cross-referencer that does a fairly good job on modules
that is used by the PceEmacs colouring in
xpce/prolog/lib/emacs/prolog_xref.pl

	--- Jan