Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!caen!ox.com!emv From: lakshman@n.cs.uiuc.edu (T.K. Lakshman) Newsgroups: comp.archives Subject: [comp.lang.prolog] Re: A Type checking/reconstruction procedure for Typed-Prolog Keywords: Typed Prolog, Type Checking, Type Reconstruction Message-ID: <1991Mar4.141219.21258@ox.com> Date: 4 Mar 91 14:12:19 GMT References: <1991Feb25.180837.24161@m.cs.uiuc.edu> <1991Mar3.054948.2310@m.cs.uiuc.edu> Sender: emv@ox.com (Edward Vielmetti) Reply-To: lakshman@n.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: 34 Approved: emv@ox.com (Edward Vielmetti) X-Original-Newsgroups: comp.lang.prolog Archive-name: languages/prolog/typed-prolog/1991-03-03 Archive: a.cs.uiuc.edu:/pub/reddy/typed-prolog/Types.tar.Z [128.174.252.1] Original-posting-by: lakshman@n.cs.uiuc.edu (T.K. Lakshman) Original-subject: Re: A Type checking/reconstruction procedure for Typed-Prolog Reposted-by: emv@ox.com (Edward Vielmetti) In article 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-- 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.