samth/test-bugs — Issue #135: check-equal? test-problem with booleans
Author: racket-bug-submit
Created: 2012-03-09 02:59:23+00:00
State: open
Labels: anon-submit, gnats-migrated

###### Originally submitted by Dimitrios Kanoulas on: Mon Oct 03 15:32:01 -0400 2011

If I have the following code:

```racket
(require rackunit)

(define (fn a)
(cond
[(number? a) 1]
{else 2}))

(check-equal? (fn "D") 1)
```
and run it, then correctly the number 1 is highlighted black, since I never test it.

But if instead of 1 I return a false (boolean):

```racket
(require rackunit)

(define (fn a)
(cond
[(number? a) false]
{else 2}))

(check-equal? (fn "D") 1)
```
then false is not highlighted black and it should be because we never test it. Is this a bug?

##### Release:

```
5.1.3
```

##### Environment:

```
macosx "Darwin localhost 10.8.0 Darwin Kernel Version 10.8.0: Tue Jun 7 16:33:36 PDT
2011; root:xnu-1504.15.3~1/RELEASE_I386 i386 i386" (i386-macosx/3m) (get-display-depth) =
32
Human Language: english
(current-memory-use) 181676576

Collections:
("/Users/dkanou/Library/Racket/5.1.3/collects"
(non-existent-path))
("/Applications/Racket v5.1.3/collects"
("2htdp" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data"
"datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl"
"errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "help"
"hierlist" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger"
"make" "mred" "mrlib" "mysterx" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools"
"picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs"
"racket" "racklog" "rackunit" "raco" "reader" "readline" "redex" "rnrs" "s-exp" "scheme"
"schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "slatex" "slideshow"
"srfi" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack"
"test-box-recovery" "test-engine" "tex2page" "texpict" "trace" "typed" "typed-scheme"
"unstable" "version" "web-server" "wxme" "xml"))

Computer Language: (("Teaching Languages" "How to Design Programs" "Beginning Student")
(#(#t constructor repeating-decimal #f #t none) #f ()))
```

###### This bug was converted from Gnats bug [12253](http://bugs.racket-lang.org/old/12253).

[anon-submit dkanou AT ccs.neu.edu]