The Urn Logo

core/demand

(assert-type! arg ty)

Macro defined at lib/core/demand.lisp:64:2

Warning: assert-type! is deprecated: Use desire or demand instead.

Assert that the argument ARG has type TY, as reported by the function type.

(demand condition message)

Macro defined at lib/core/demand.lisp:46:2

Demand that particular CONDITION is upheld. If provided, MESSAGE will be included in the thrown error.

Note that MESSAGE is only evaluated if CONDITION is not met.

(desire condition message)

Macro defined at lib/core/demand.lisp:53:2

Demand that particular CONDITION is upheld if debug assertions are on (-fstrict-checks). If provided, MESSAGE will be included in the thrown error.

Note that MESSAGE is only evaluated if CONDITION is not met. Neither will be evaluated if debug assertions are disabled.