Re: Curry Report Vers. 0.8.2

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Tue, 21 Mar 2006 16:35:39 +0100

Bernd Brassel wrote:

> Thus, why not agree to Sebastians suggestion and express all the
> primitives, including (==) by compare?

Because the important difference between (==) and compare remains
regardless
of whether compare is a total function as Michael suggested or
whether it fails
at runtime as in the current MCC implementation. For instance,
   const 0 == const 0
yields True, but
   const 0 `compare` const 0
either fails at runtime or causes a runtime error.

Regards
Wolfgang


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Tue Mar 21 2006 - 18:17:09 CET

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:06 CEST