chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-janitors] #1063: scrutiny-tests-2.scm contains a bad test but i


From: Chicken Trac
Subject: [Chicken-janitors] #1063: scrutiny-tests-2.scm contains a bad test but it passes anyway!
Date: Fri, 15 Nov 2013 19:59:48 -0000

#1063: scrutiny-tests-2.scm contains a bad test but it passes anyway!
-------------------------+--------------------------------------------------
 Reporter:  sjamaan      |       Owner:       
     Type:  defect       |      Status:  new  
 Priority:  critical     |   Milestone:  4.9.0
Component:  scrutinizer  |     Version:  4.8.x
 Keywords:               |  
-------------------------+--------------------------------------------------
 {{{(predicate list? (l n p) (i f))}}}

 This should fail because {{{p}}} is not a proper list. It looks like the
 scrutinizer optimizes away the actual check(?)

 Possibly a duplicate of #1039

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/1063>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]