Re: Miranda FTP sites

Article View: comp.lang.functional

Article #770

Back to comp.lang.functional Previous Next

#770

From: Tim Lambert
Date: Sat, 12 Jan 1991 13:43

13 lines
956 bytes

>>>>> 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

Technical Details

Message-ID: <LAMBERT.91Jan13004321@nankeen.spectrum.cs.unsw.oz.au>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!munnari.oz.au!metro!usage.csd.unsw.oz.au!usage.csd!lambert

References:

<22307@rouge.usl.edu> <1991Jan10.111559.12440@odin.diku.dk> <27793.278c3bb0@kuhub.cc.ukans.edu> <1991Jan11.100048.3121@odin.diku.dk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message