Here is the smallest program for which I can get it to highlight the wrong function name:

;; BSL:
(require 2htdp/universe)

(define mt (empty-scene 100 100))

(check-expect
 (clack mt 3 2 "leave")
 (place-image (circle 3 "solid" "red") 3 2 mt))

(define (clack ws x y action)
  (cond
    [(mouse=? "leave" action)
     (place-image (circle 3 "solid" "red") x y ws)]))

;; run program run
(define (main s)
  (big-bang s (on-mouse clack)))



On May 11, 2009, at 7:36 AM, Robby Findler wrote:

test coverage works correctly for these three programs:

(define (f x) x)

---

(define (f x) x)
(f 1)

---

(define (f x) x)
(check-expect (f 1) 1)

On Mon, May 11, 2009 at 6:33 AM, Matthias Felleisen
<matth...@ccs.neu.edu> wrote:

How about the coverage bug (point 2, below)?

On May 11, 2009, at 7:14 AM, Robby Findler wrote:

I didn't fix anything, so I'm cc'ing plt-dev in case the person who
did is there.

Robby

On Sunday, May 10, 2009, Matthias Felleisen <matth...@ccs.neu.edu> wrote:

Correct. It went away with an update. (I had thursday's drscheme
running.)

BUT, now I am getting this


[:~/svn/2HtDP/SampleCode] matthias% (display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)
(display-reason #<unequal> #t #f)


in the console from where I launched drscheme.

AND, I am getting the names of the functions colored as if they hadn't
been run, even though my test cases provide complete coverage.



On May 10, 2009, at 5:55 PM, Robby Findler wrote:


I just tried to look into this, but the program you sent (when running
in BSL + universe.ss with a build from a few hours ago) does not
trigger the bug for me.

Robby






_________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to