[ library(mercury) | Reference Manual | Alphabetic Index ]
report_lookup_error(++Message, ++Key, ?Value)
Report a lookup error and abort.
- Message
- A string giving the error message to display
- Key
- The key that wasn't found
- Value
- The corresponding value, if supplied
Description
Corresponds to Mercury's require:report_lookup_error/3 predicate.
Fail Conditions
Never fails.
Resatisfiable
no