assert macro for non-release

[will]

I've been working on some numeric code that benefits from a lot of invariant checks while developing and testing. However having them all run in release mode is not necessary.

I made a macro that has been helpful. Is this something that you all would want in the language itself?

~ ➤ cat assert.cr
macro assert(exp, file = __FILE__, line = __LINE__)
  {% if !flag?(:release) %}
    unless {{exp}}
      raise "Assertion Failed #{{{file}}}:#{{{line}}}"
    end
  {% end %}
end

def test
  puts "evaulated"
  false
end

assert test
~ ➤ crystal run assert.cr
evaulated
Assertion Failed /Users/will/assert.cr:14 (Exception)
0x10750b685: *CallStack::unwind:Array(Pointer(Void)) at ??
0x10750b621: *CallStack#initialize:Array(Pointer(Void)) at ??
0x10750b5f8: *CallStack::new:CallStack at ??
0x107505881: *raise<Exception>:NoReturn at ??
0x107505861: *raise<String>:NoReturn at ??
0x1075053b8: __crystal_main at ??
0x10750a858: main at ??
~ ➤ crystal run --release assert.cr
~ ➤

[Sija]

@asterite @oprypin how about adding assert macro to stdlib?

[oprypin]

Yep, I'm definitely all for it

[oprypin]

The proposal is not very convincing though.
This is not for unittests.
The assert can be sprinkled throughout the code for sanity checks. "This definitely should be true, if it's not, something went totally wrong". Checks that you don't necessarily have to write and that are good for leaving out in release mode.

[al6x]

+1, would be nice to have in stdlib, and during release too. Maybe leave ability to disable it in special circumstances

{% unless flag?(:ludicrous_speed) %}

[konovod]

There is a little need in macro if it used in release - you can just do raise "My custom assertion message" if exp.
And using it only in debug is a bad practice imho - release is a place where extra checks won't hurt (except small portion of time-critical code).

Another thing is that it can modify control flow (type of exp was T? without check and T with check). It is unlikely that it can cause bugs though, most likely code would just throw compile-time error.