[racket-dev] scope-sets-5 section 2.2 Bindings

2015-08-28 Thread Anthony Carrico
> 2.2 Bindings > > When macro expansion encounters a binding form, it > > * creates a new scope; > > * adds the scope to every identifier in binding position, as well as to > the region where the bindings apply; and > > * extends a global table that maps a ⟨symbol, scope set⟩ pair to a > repres

Re: [racket-dev] Handin-Server Grading Utilities: write-report's start-timer

2015-08-28 Thread 'John Clements' via dev-redirect
> On Aug 27, 2015, at 3:16 PM, Matthew Saponaro wrote: > > Here's the diff for the documentation online. I did it with an online tool > since it's just text from online: https://www.diffchecker.com/qolqblvq > > Attached is the diff I generated using git on the repository. Many thanks

Re: [racket-dev] Handin-Server Grading Utilities: write-report's start-timer

2015-08-28 Thread Jay McCarthy
I do not. I'll ask around. Jay On Fri, Aug 28, 2015 at 5:48 PM, 'John Clements' via dev-redirect wrote: > >> On Aug 28, 2015, at 1:07 PM, Jay McCarthy wrote: >> >> Sorry for the delay in my response... this seems right to me. Is that >> commit pushed? Can I do anything to help? > > There’s a P

Re: [racket-dev] Handin-Server Grading Utilities: write-report's start-timer

2015-08-28 Thread 'John Clements' via dev-redirect
> On Aug 28, 2015, at 1:07 PM, Jay McCarthy wrote: > > Sorry for the delay in my response... this seems right to me. Is that > commit pushed? Can I do anything to help? There’s a PR open against plt/handin: https://github.com/plt/handin/pull/18 It turns out I don’t have write access to the “p

Re: [racket-dev] Handin-Server Grading Utilities: write-report's start-timer

2015-08-28 Thread Matthew Saponaro
I was under the impression it should be @test since it's penalizing the score and updating the report. The example code has a section already dedicated to acceptance testing. On Fri, Aug 28, 2015 at 1:08 PM, John Clements wrote: > > > On Aug 27, 2015, at 3:16 PM, Matthew Saponaro wrote: > > > >

Re: [racket-dev] Handin-Server Grading Utilities: write-report's start-timer

2015-08-28 Thread 'John Clements' via dev-redirect
> On Aug 27, 2015, at 3:16 PM, Matthew Saponaro wrote: > > On Thu, Aug 27, 2015 at 4:10 PM, John Clements > wrote: > > > On Aug 27, 2015, at 12:12 PM, Matthew Saponaro wrote: > > > > This is correct. If you modify the grading-utilities to incorporate the > > (start-timer-manager) call this