« Return to Thread: CLP(FD): Option list for labeling/2

Re: CLP(FD): Option list for labeling/2

by Markus Triska-2 :: Rate this Message:

Reply to Author | View in Thread

Fernando Sáenz Pérez <fernan@...> writes:

> As a user, with respect to those default options, I'd expect not to
> mix incompatible options when I state them and, if mixed, I would
> expect an exception. I dislike to allow to state incompatible or
> overridable options and let the system decide in terms of a given
> criteria (e.g., selecting the rightmost option). For instance:
> [ff,ffc] would raise an exception.

Yes, this sounds good. It is only left to decide which error this is. A
domain error seems sensible, but what should be the culprit? The whole
list, just the two contradicting options, or something else? A
representation error would be justified too since we can regard [ff,ffc]
as a system defined limit: We currently cannot handle such contradicting
options, but something sensible could be done with them. Opinions?
Examples of other predicates that handle contradicting options sensibly?

All the best,
Markus

------------
For further info, please visit http://www.swi-prolog.org/

To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to majordomo@...

 « Return to Thread: CLP(FD): Option list for labeling/2

LightInTheBox - Buy quality products at wholesale price