disable_function_contracts


disable_function_contracts()          
      

Disable checks for function pre/post conditions. Return void.

Examples:


function f(x) where is_number(x) -> is_string(%)
  string_append("hello ", number_to_string(x))

f(10)
// hello 10
f('abc)
//> error: precondition_failed, f, (is_number x)

disable_function_contracts()
f('abc)
//> error: (Argument 1) NUMBER expected
//> (number->string 'abc)
      

Also see:

enable_function_contracts


Core Module Index | Contents