Path: utzoo!attcan!uunet!munnari.oz.au!metro!usage.csd.unsw.oz.au!usage.csd!lambert
From: lambert@spectrum.cs.unsw.oz.au (Tim Lambert)
Newsgroups: comp.lang.functional
Subject: Re: Miranda FTP sites
Message-ID: <LAMBERT.91Jan13004321@nankeen.spectrum.cs.unsw.oz.au>
Date: 12 Jan 91 13:43:20 GMT
References: <22307@rouge.usl.edu> <1991Jan10.111559.12440@odin.diku.dk>
	<27793.278c3bb0@kuhub.cc.ukans.edu>
	<1991Jan11.100048.3121@odin.diku.dk>
Sender: news@usage.csd.unsw.oz.au
Organization: EE & CS, Uni of NSW, Australia
Lines: 13
In-reply-to: sestoft@diku.dk's message of 11 Jan 91 10:00:48 GMT

>>>>> On 11 Jan 91 10:00:48 GMT, sestoft@diku.dk (Peter Sestoft) said:

>  But the [Miranda]
> compiler gives much better (more comprehensible) type error messages
> than the Chalmers Lazy ML compiler.

My God!  What must Chalmers error messages be like!

Miranda abs -3
type error in expression
cannot unify num->num with num

Tim