Files
Nim/tests/assert/tassert_c.nim
Andreas Rumpf a0eca75182 sink parameter inference for types that have destructors (#13544)
* ensure capitalize doesn't take an inferred sink parameter

* sink parameter inference: first version, for now disabled. Changed that sink parameters can be consumed multiple times in order to adhere to our spec.

* sink inference can now be disabled with .nosinks; sometimes for proc type interop this is required

* fixes yet another critical DFA bug

* better implementation that also understands if expressions etc

* document sink parameter inference and allow for global disabling
2020-03-04 14:28:53 +01:00

40 lines
887 B
Nim

discard """
cmd: "nim $target $options --excessiveStackTrace:off $file"
output: '''true'''
"""
const expected = """
tassert_c.nim(35) tassert_c
tassert_c.nim(34) foo
assertions.nim(29) failedAssertImpl
assertions.nim(22) raiseAssert
fatal.nim(55) sysFatal"""
proc tmatch(x, p: string): bool =
var i = 0
var k = 0
while i < p.len:
if p[i] == '*':
let oldk = k
while k < x.len and x[k] in {'0'..'9'}: inc k
# no digit skipped?
if oldk == k: return false
inc i
elif k < x.len and p[i] == x[k]:
inc i
inc k
else:
return false
while k < x.len and x[k] in {' ', '\L', '\C'}: inc k
result = i >= p.len and k >= x.len
try:
proc foo() =
assert(false)
foo()
except AssertionError:
let e = getCurrentException()
let trace = e.getStackTrace
echo tmatch(trace, expected)