I'm sorry: that was a bit too telegraphic. I'm asking if the program
below counts as one or some other number of uncovered regions. And
things like that. I'm going to go with 1 here but another approach
would be to show a percentage covered based on characters or
something.
Robby
#lang racket
(define-syntax (m stx)
(syntax-case stx ()
[(_ a b c)
#`(void (λ () #,(datum->syntax #'here '(void) stx))
#,(datum->syntax #'here '(void) #'b))]))
(m abcdef
ghijkl
mnopqr)
On Tue, Feb 16, 2016 at 7:59 AM, Robby Findler
<[email protected]> wrote:
> How do you do this count? (what algorithm?)
>
> Robby
>
> On Tue, Feb 16, 2016 at 6:56 AM, Greg Hendershott
> <[email protected]> wrote:
>> FWIW when you run tests with coverage in racket-mode (C-u C-c C-t)
>> displays in the echo area either "Coverge complete" or "Missing
>> coverage in N places". In the latter case, point moves to the first
>> place. All such places are colored in red.
>>
>> One thing racket-mode should probably also do is have next-error to
>> jump to later spots (if any). However I figured people would add
>> coverage one spot at a time, so it didn't seem super compelling.
>>
>>
>> On Tue, Feb 16, 2016 at 6:21 AM, Eli Barzilay <[email protected]> wrote:
>>> Re leaving the coverage colors: for the purpose of my class that would
>>> do fine, but for actual use, the lack of full coverage indication means
>>> that you'll need to scroll through the text to find out if you have it
>>> or not...
>>>
>>> So something like a status bar message would be better, either with
>>> leaving the coverage colors or not. Even better if it "jumps up" as
>>> John said, so that it draws attention to it.
>>>
>>> --
>>> ((x=>x(x))(x=>x(x))) Eli Barzilay:
>>> http://barzilay.org/ Maze is Life!
>>>
>>> --
>>> 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 [email protected].
>>> For more options, visit https://groups.google.com/d/optout.
--
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 [email protected].
For more options, visit https://groups.google.com/d/optout.
