search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

testing framework unhelpful context #9

Closed dvanhorn closed 8 years ago

dvanhorn commented 8 years ago

When tests fail in the new testing framework they always report an unhelpful location of the test.rkt file:

Check failure
--------------------
Did not compute expected result:
as: 120
σ:  #<set: (x 0) (f ((lam x (ifz (vbl x) (num 1) (op2 * (vbl x) (app (vbl f) (op2 - (vbl x) (num 1)))))) . ((f . f_6)))) (x 4) (x 2) (x 1) (x 5) (x 3)>
--------------------
FAILURE
name:       check-true
location:   (#<path:/Users/dvanhorn/git/monadic-eval/racket/monadic-eval/tests/tests.rkt> 126 17 4631 40)
expression: (check-true (empty? unexpected-results))
params:     (#f)
labichn commented 8 years ago

Fixed in 6cb67ceb0169df6ed2e1a152f277022451fc4174.