Files
Nim/tests/init/tproveinit.nim
metagn b97d603cd0 some test cleanups & category reorganization (#22010)
* clean up some test categories

* mention exact slice issue

* magics into system

* move trangechecks into overflow

* move tmemory to system

* try fix CI

* try fix CI

* final CI fix
2023-06-06 06:54:07 +02:00

19 lines
409 B
Nim

discard """
joinable: false
"""
{.warningAsError[ProveInit]:on.}
template main() =
proc fn(): var int =
discard
discard fn()
doAssert not compiles(main())
# bug #9901
import std/[sequtils, times]
proc parseMyDates(line: string): DateTime =
result = parse(line, "yyyy-MM-dd")
var dateStrings = @["2018-12-01", "2018-12-02", "2018-12-03"]
var parsed = dateStrings.map(parseMyDates)
discard parsed