[racket-users] Re: problem with :user-error-message in handin server

2020-01-08 Thread David Bremner
David Bremner writes: > > (lambda (msg) > (add-header-line! "Erroneous submission!") > (add-header-line! (format " --> ~a" msg)) > (message (string-append > "You have an error in your program -- please hit" > " \"Run\" and debug your code.\n" > "Email

Re: [racket-users] POPLmark Retrospective Panel at POPL: Come, and send us your questions!

2020-01-08 Thread Robby Findler
Hi folks: for those of you who appreciate tools like Redex, your thoughts (in the form of questions or in participation on the day) are most welcome. Robby On Tue, Jan 7, 2020 at 1:54 PM Talia Ringer wrote: > > Hi all, > > > As many of you book your tickets to New Orleans for POPL, I’d like to