lakshman@n.cs.uiuc.edu (T.K. Lakshman) (03/04/91)
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 <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.