Re: [racket-users] desired behavior on error-during expected for check-expect?

[Matthias Felleisen]

> On Oct 19, 2017, at 5:21 PM, 'John Clements' via users-redirect 
>  wrote:
> 
> I was debugging some student code today, and I was momentarily thrown by a 
> message that said “both tests passed!” when most of the code was not getting 
> run. It turned out that there was an error being signalled during the 
> evaluation of the expected value. To see this, try this code in beginner:
> 
> (check-expect (+ 1 2) 3)
> (check-expect (+ 3 4) 7)
> (check-expect (+ 4 4) (/ 1 0))
> (check-expect (+ 4 5) (/ 1 0))
> 
> (+ 4 129387)
> 
> You’ll see a message indicating “both tests passed!”, which is pretty 
> misleading. Is this the desired behavior? Is this a known bug that’s waiting 
> for the return of Kathy Gray?


I think this is a bug that snuck back in recently. I eliminated this at some 
point and my own students have been bitten by this. Sadly I don’t have time to 
repair it now. 

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] desired behavior on error-during expected for check-expect?

['John Clements' via users-redirect]

I was debugging some student code today, and I was momentarily thrown by a 
message that said “both tests passed!” when most of the code was not getting 
run. It turned out that there was an error being signalled during the 
evaluation of the expected value. To see this, try this code in beginner:

(check-expect (+ 1 2) 3)
(check-expect (+ 3 4) 7)
(check-expect (+ 4 4) (/ 1 0))
(check-expect (+ 4 5) (/ 1 0))

(+ 4 129387)

You’ll see a message indicating “both tests passed!”, which is pretty 
misleading. Is this the desired behavior? Is this a known bug that’s waiting 
for the return of Kathy Gray?

John



-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.