Opened 11 years ago

Closed 11 years ago

Last modified 10 years ago

#708 closed defect (fixed)

condition-predicate's result is too picky

Reported by: johnwcowan Owned by:
Priority: major Milestone: 4.9.0
Component: unknown Version: 4.7.x
Keywords: Cc:
Estimated difficulty:

Description

The result of (condition-predicate 'foo) http://wiki.call-cc.org/man/4/Exceptions is documented to accept any argument and return #t iff it is a condition of kind foo. In fact, if its argument is not a condition, it raises an exception.

This can be resolved by a doc fix or a code fix. Since basic predicates generally accept any object, I think these should too.

Change History (2)

comment:1 Changed 11 years ago by Christian Kellermann

Resolution: fixed
Status: newclosed

The code has been fixed to return #t only if the condition kind is matched #f on all other arguments. Comitted in master with commit fcff2bc347a95259907de78e019cf70252e31d49

comment:2 Changed 10 years ago by felix winkelmann

Milestone: 4.8.04.9.0

Milestone 4.8.0 deleted

Note: See TracTickets for help on using tickets.