mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 12:01:16 +00:00
16 lines
183 B
C
16 lines
183 B
C
module debugstuff;
|
|
|
|
|
|
/**
|
|
* @ensure return > 0
|
|
**/
|
|
macro check(int a)
|
|
{
|
|
if (a > 0) return 1;
|
|
if (a < 0) return -1; // #error: @ensure
|
|
return 100;
|
|
}
|
|
fn void! main()
|
|
{
|
|
check(43);
|
|
} |