substring/3

From: josh singer <josh.singer_at_parc-technologies.com>
Date: Tue 24 Jul 2001 10:23:43 AM GMT
Message-ID: <0B9686DD2E83D411B67200508B9A9DA220A728@LON-SRV2>
It seems to me that the goal below should just fail. It is unclear from
the documentation whether it is supposed to or not.

josh

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.3 #11, Mon Jul 23 02:52 2001
[eclipse 1]: substring("", "a", 1).
out of range in substring("", "a", 1)
Abort

Incidentally, substring("", "a", X) correctly fails.

Developer, Parc Technologies Limited
josh.singer@parc-technologies.com
http://www.parc-technologies.com

This e-mail message is for the sole use of the intended recipient(s)
-its contents are the property of Parc Technologies Limited (or its
licensors) and are confidential. Please do not copy, review, use
(except for the intended purposes), disclose or distribute the e-mail
or its contents (or allow anyone else to do so) without our prior
permission. Parc Technologies Limited does not guarantee that this
e-mail has not been intercepted and amended nor that it is
virus-free. You should carry out your own virus checks before opening
any attachment.  Any opinions expressed in this e-mail message are
those of the author and not necessarily Parc Technologies Limited.
Received on Tue Jul 24 11:23:45 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:08 PM GMT GMT