Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
Well probably check-equal?, check-match, check-pred, check, and check-exn would be the main ones, with check-equal? probably being the most important, but what would be really cool would be something that could generalize over all rackunit checks, so that even checks defined with define-check, d

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Mira Leung
On Sunday, April 26, 2015 at 6:18:41 AM UTC-7, Alex Knauth wrote: > Wow this is awesome! > Can you get to support rackunit too? Thanks Alex. Which rackunit test variants would you prioritize? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To

Re: off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Matthias Felleisen
Yes, at least one. See Racket manifesto. Any takers? Start with Shriram's dissertation perhaps we need to go back there. On Apr 26, 2015, at 4:43 PM, Neil Toronto wrote: > On 04/26/2015 02:39 PM, Matthias Felleisen wrote: >> >> Once again, this is an instance where you'd really like to abst

Re: off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Neil Toronto
On 04/26/2015 02:39 PM, Matthias Felleisen wrote: Once again, this is an instance where you'd really like to abstract the library over the language into which its exports are imported. This is a constant struggle for me, and I'd like to solve it. Typed Racket has a good solution in the small

Re: off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Matthias Felleisen
On Apr 26, 2015, at 3:13 PM, Alexander D. Knauth wrote: > > On Apr 26, 2015, at 2:39 PM, Matthias Felleisen wrote: > >> >> On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote: >> >>> I wanted to see if it could work for tests within (module+ test …), and it >>> does (even though check-ex

Re: off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
On Apr 26, 2015, at 2:39 PM, Matthias Felleisen wrote: > > On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote: > >> I wanted to see if it could work for tests within (module+ test …), and it >> does (even though check-expect doesn’t, which is weird for check-expect but >> awesome for thi

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Matthias Felleisen
ALex, Mira might be best served if you submitted all these things as issues via github. -- Matthias On Apr 26, 2015, at 1:04 PM, Alexander D. Knauth wrote: > Also DrRacket doesn’t seem to want to quit. I click on the quit option in > the menu, it asks me if I really want to quit, I say I do

off-topic --- Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Matthias Felleisen
On Apr 26, 2015, at 9:18 AM, Alexander D. Knauth wrote: > I wanted to see if it could work for tests within (module+ test …), and it > does (even though check-expect doesn’t, which is weird for check-expect but > awesome for this) Keep in mind that check-expect is supposed to work well for BS

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
Also DrRacket doesn’t seem to want to quit. I click on the quit option in the menu, it asks me if I really want to quit, I say I do, and then it closes the window, but doesn’t quit the application. I tell it to quit again, nothing happens, and then if I tell my computer to force quit DrRacket,

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
I just opened a new tab and the box went away and everything was back to normal again, and stayed normal when I closed the tab. On Apr 26, 2015, at 12:19 PM, Alexander D. Knauth wrote: > I just noticed a light grey box above the #lang line that wasn’t there > before, and if I click in that gre

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
I just noticed a light grey box above the #lang line that wasn’t there before, and if I click in that grey box it behaves as if I clicked in the #lang line. It seems like DrRacket is displaying the grey box but pretending it’s not there. The check-syntax arrows also behave as if my mouse was o

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
I was playing around with this a bit and I noticed something weird and I’m not sure what happened. Now it seems like when I click the cursor somewhere, DrRacket behaves as if I had clicked one line below where I actually clicked. On Apr 25, 2015, at 8:10 PM, Mira Leung wrote: > Racketeer is a

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-26 Thread Alexander D. Knauth
Wow this is awesome! Can you get to support rackunit too? I wanted to see if it could work for tests within (module+ test …), and it does (even though check-expect doesn’t, which is weird for check-expect but awesome for this), but while this works: #lang racket (require test-engine/racket-tests)

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Mira Leung
Issues fixed and added to catalog, thanks Matthias! On Saturday, April 25, 2015 at 6:58:22 PM UTC-7, Matthias Felleisen wrote: > Mira, you exist. I just submitted a bug report after installing the package > and playing with it. -- Also once you get the tool to work on HEAD, please > enter it in

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Mira Leung
Needed a DrRacket upgrade to notice that, thanks Robby! On Saturday, April 25, 2015 at 5:29:29 PM UTC-7, Robby Findler wrote: > This looks very nice, thanks!  > > > You may wish to use "raco pkg install racketeer" to install and "raco pkg > remove racketeer" to remove it. These are both availab

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Matthias Felleisen
Mira, you exist. I just submitted a bug report after installing the package and playing with it. -- Also once you get the tool to work on HEAD, please enter it into the catalog so it is easier to install. Thanks, this is really neat and great to have -- Matthias On Apr 25, 2015, at 9:43 PM,

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Matthias Felleisen
NICE! On Apr 25, 2015, at 8:10 PM, Mira Leung wrote: > Racketeer is a plugin for DrRacket that integrates continuous testing with > Racket development. This is aimed primarily at the context of usage within > university-level programming courses, and has been tested on computer science > f

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Robby Findler
This looks very nice, thanks! You may wish to use "raco pkg install racketeer" to install and "raco pkg remove racketeer" to remove it. These are both available via drracket's menus. Robby On Saturday, April 25, 2015, Mira Leung wrote: > Racketeer is a plugin for DrRacket that integrates conti

[racket-users] Racketeer - Continuous Testing Plugin for DrRacket

2015-04-25 Thread Mira Leung
Racketeer is a plugin for DrRacket that integrates continuous testing with Racket development. This is aimed primarily at the context of usage within university-level programming courses, and has been tested on computer science freshmen and senior students. Source and more info available at ht