#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.
Note: See
TracTickets for help on using
tickets.
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