Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

a bunch of failing tests as refactoring prep #81

Merged
merged 4 commits into from
May 3, 2021
Merged

a bunch of failing tests as refactoring prep #81

Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
7a330b5
taste: add conditionals splitting tests
alaviss May 2, 2021
7c3f1e1
taste: add scope transistion tests
alaviss May 2, 2021
5dde3e7
taste: add generics test
alaviss May 2, 2021
0e3acac
fix run count for defer test
alaviss May 3, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
195 changes: 195 additions & 0 deletions tests/taste.nim
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -656,3 +656,198 @@ suite "tasteful tests":
check i == 4

trampoline foo()

block:
## simple if-else split
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
if true:
noop()
inc r
else:
fail "this branch should not run"
inc r

trampoline foo()
check r == 3

block:
## case-statement splits
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
case true:
of true:
noop()
inc r
of false:
fail "this branch should not run"
inc r

trampoline foo()
check r == 3

block:
## try-except-statement splits
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
try:
noop()
inc r
except:
fail "this branch should not run"
inc r

trampoline foo()
check r == 3

block:
## try-except splits with raise
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
try:
noop()
inc r
raise newException(CatchableError, "")
fail "statement run after raise"
except:
inc r
inc r

trampoline foo()
check r == 4

block:
## try-finally-statement splits
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
try:
noop()
inc r
finally:
inc r

trampoline foo()
check r == 3

block:
## try-except-finally splits with raise
when true:
skip "not working, see #78"
else:
r = 0
proc foo() {.cps: Cont.} =
inc r
try:
noop()
inc r
raise newException(CatchableError, "")
fail "statement run after raise"
except:
inc r
finally:
inc r
inc r

trampoline foo()
check r == 5

block:
## block control flow after split
skip "not working, see #76"
r = 0
proc foo() {.cps: Cont.} =
inc r
block:
inc r
noop()
inc r
inc r

trampoline foo()
check r == 4

block:
## if control flow after split
skip "not working, see #76"
r = 0
proc foo() {.cps: Cont.} =
inc r
if true:
inc r
noop()
inc r
inc r

trampoline foo()
check r == 4

block:
## defer with split
skip "not working, see #80"
r = 0
proc foo() {.cps: Cont.} =
defer:
check r == 2, "defer run before end of scope"
inc r

inc r
noop()
inc r

trampoline foo()
check r == 2
alaviss marked this conversation as resolved.
Show resolved Hide resolved

block:
## implicit generics
when true:
skip "not working, ref #51"
else:
proc foo(v: auto) {.cps: Cont.} =
discard $v
inc r

r = 0
trampoline foo(42)
check r == 1

r = 0
trampoline foo("string")
check r == 1

block:
## explicit generics
when true:
skip "not working, ref #51"
else:
proc foo[T](v: T) {.cps: Cont.} =
discard $v
inc r

r = 0
trampoline foo(42)
check r == 1

r = 0
trampoline foo("string")
check r == 1