Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!m.cs.uiuc.edu!lakshman
From: lakshman@n.cs.uiuc.edu (T.K. Lakshman)
Newsgroups: comp.lang.prolog
Subject: Re: A Type checking/reconstruction procedure for Typed-Prolog
Keywords: Typed Prolog, Type Checking, Type Reconstruction
Message-ID: <1991Mar3.054948.2310@m.cs.uiuc.edu>
Date: 3 Mar 91 05:49:48 GMT
References: <1991Feb25.180837.24161@m.cs.uiuc.edu>
Sender: lakshman@m.cs.uiuc.edu (T.K. Lakshman)
Followup-To: article 217 of comp.lang.prolog
Organization: University of Illinois, Dept. of Comp. Sci., Urbana, IL
Lines: 28
In-Reply-To: <MATTIAS.91Mar1070321@sylvester.csd.uu.se>

In article <MATTIAS.91Mar1070321@sylvester.csd.uu.se> you write:
>To: lakshman@n.cs.uiuc.edu (T.K. Lakshman)
>In-reply-to: lakshman@n.cs.uiuc.edu's message of 25 Feb 91 18:08:37 GMT
>Subject: A Type checking/reconstruction procedure for Typed-Prolog
>BCC: mattias

--text follows this line--

<STUFF DELETED>

Thanks the suggestions. I've incorporated the suggested changes. The modified
file Types.tar.Z is (as before) available by anonymous ftp from a.cs.uiuc.edu.

>
>2) Funny (erroneous) behaviour: 

A check for overloaded symbols was omitted from the 
type-checking/reconstruction procedure. It has now been incorporated.

We appreciate your comments.

regards,

tk
-- 
INTERNET   : lakshman@cs.uiuc.edu
OFFICE    : 217-244-5973        MAIL    : Dept. of C.S., DCL, 
				1304 W Springfield Ave, Urbana, Il 61801.