Re: residuation for compositional search?

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 15 Jun 2011 02:19:50 +0200

Antonio Regidor García wrote at June 14 (20:12):
> I don't think this is the case here. There is no error message here.

Whether or not an error message is provided is a question
of the programming environment. If I want to compute something
and get no result, I consider this as an error, i.e.,
I have to improve my program. For instance, consider the
expression (head []). In Haskell/GHC you get, as a service of
the run-time system, an error message. In Curry implementations,
this expressions fails and does not produce an error message.
However, if you turn the debugger on, you might get a message
about this failure.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Wed Jun 15 2011 - 07:45:52 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:08 CEST