Re: [racket-users] Regarding plt/racket PR#948 (net/url-string)

2015-08-12 Thread Tim Brown
Thank you Vincent. Tim On 12/08/15 15:19, Vincent St-Amour wrote: Hi Tim, It looks like your PR accidentally fell through the cracks. Sorry about that. I'll have a look at it today. Thanks again for your contributions! Vincent -- Tim Brown CEng MBCS tim.br...@cityc.co.uk

Re: [racket-users] HTTPS connection through proxy (CONNECT HTTP Method)

2015-08-12 Thread Sean Kemplay
On Wednesday, August 12, 2015 at 12:54:10 PM UTC+1, Jay McCarthy wrote: On Tue, Aug 11, 2015 at 10:24 AM, Sean Kemplay sean.kemp...@gmail.com wrote: Hi All, Sending an http request through our corporate proxy works as follows for http requests - (define-values (x y z)

Re: [racket-users] Typesetting Racket code

2015-08-12 Thread Benjamin Greenman
I'm not sure about squarer, but using `\boldsymbol` will get you bolder. \usepackage{amsmath} \RktSym{$\boldsymbol\lambda$} (But I think the right answer is to use a font family with a lambda symbol. I bet that's what Scribble does.) On Wed, Aug 12, 2015 at 2:38 PM, Paul van der Walt

Re: [racket-users] Export indentation preferences in a package's info.rkt?

2015-08-12 Thread Alexis King
IMO, the truly Racket-y way would be to attach a syntax property to the exported identifier that has information about how it should be indented. This is actually a major improvement over the current way DrRacket handles indentation because it would handle forms by their syntactic binding

[racket-users] Regarding plt/racket PR#948 (net/url-string)

2015-08-12 Thread Tim Brown
Dear team, I raised PR#948 at the end of May, splitting net/url into net/url and net/url-strings; and after a bit of discussion changed it to net/url and net/url-string (on the 1st July). I know Greg urges patience in his “Guide for infrequent contributors”; I know it’s summer holidays and all;

Re: [racket-users] Export indentation preferences in a package's info.rkt?

2015-08-12 Thread Robby Findler
I agree this would be nice but I think the right way to approach it would be to have metadata cached (via some more generic library supporting such metadata) with exported libraries in a file near the .zo and .dep files. Then drracket can figure out what is imported and then read those files for

Re: [racket-users] Typesetting Racket code

2015-08-12 Thread Vincent St-Amour
Paul, FWIW, many of us use Scribble for papers and theses, which does a great job at typesetting Racket code. It's also (IMO) a much more pleasant document authoring language than TeX. For example, my dissertation [1] is written using Scribble and a wrapper over the classicthesis style [2]. If

Re: [racket-users] Typesetting Racket code

2015-08-12 Thread Jens Axel Søgaard
How does Scribble typeset the lambda? /Jens Axel 2015-08-12 18:15 GMT+02:00 Vincent St-Amour stamo...@eecs.northwestern.edu : Paul, FWIW, many of us use Scribble for papers and theses, which does a great job at typesetting Racket code. It's also (IMO) a much more pleasant document

Re: [racket-users] Regarding plt/racket PR#948 (net/url-string)

2015-08-12 Thread Tim Brown
On 12/08/15 17:20, Vincent St-Amour wrote: Pull request merged. Super! Thanks again for your contributions, and sorry again for the delay. They're nothing compared to what you guys are doing all the time. :-) Tim -- Tim Brown CEng MBCS tim.br...@cityc.co.uk

Re: [racket-users] Regarding plt/racket PR#948 (net/url-string)

2015-08-12 Thread Vincent St-Amour
Pull request merged. Thanks again for your contributions, and sorry again for the delay. Vincent On Wed, 12 Aug 2015 09:56:11 -0500, Tim Brown wrote: Thank you Vincent. Tim On 12/08/15 15:19, Vincent St-Amour wrote: Hi Tim, It looks like your PR accidentally fell through the

[racket-users] How to use new 6.2.1 feature for true instead of #true, etc. ?

2015-08-12 Thread Charles Rich
Hi, in the release notes for 6.2.1 it says: * For the How to Design Programs teaching languages, DrRacket offers an option to use the old style for printing the constants `true`, `false`, and `empty` instead of `#true`, `#false`, and `'()`. But after searching a while, I could not find out

Re: [racket-users] HTTPS connection through proxy (CONNECT HTTP Method)

2015-08-12 Thread Jay McCarthy
On Tue, Aug 11, 2015 at 10:24 AM, Sean Kemplay sean.kemp...@gmail.com wrote: Hi All, Sending an http request through our corporate proxy works as follows for http requests - (define-values (x y z) (http-sendrecv 10.0.0.200 http://www.example.com; #:port 8080

Re: [racket-users] How to use new 6.2.1 feature for true instead of #true, etc. ?

2015-08-12 Thread Matthias Felleisen
Open the language dialogue. Click 'choose details'. On the right side, you will see a radio button for true/false/empty vs #true/#false/'(). On Aug 12, 2015, at 8:43 AM, Charles Rich wrote: Hi, in the release notes for 6.2.1 it says: * For the How to Design Programs teaching

Re: [racket-users] How to use new 6.2.1 feature for true instead of #true, etc. ?

2015-08-12 Thread Leif Andersen
You can copy your DrRacket preferences file to the defaults collection. There is some documentation on this here: http://docs.racket-lang.org/drracket/drracket-files.html?q=Preference%20Files#%28part._.Preference_.Files%29 ~Leif Andersen On Wed, Aug 12, 2015 at 9:14 AM, Charles Rich

Re: [racket-users] Regarding plt/racket PR#948 (net/url-string)

2015-08-12 Thread Vincent St-Amour
Hi Tim, It looks like your PR accidentally fell through the cracks. Sorry about that. I'll have a look at it today. Thanks again for your contributions! Vincent On Wed, 12 Aug 2015 05:03:07 -0500, Tim Brown wrote: Dear team, I raised PR#948 at the end of May, splitting net/url into

Re: [racket-users] How to use new 6.2.1 feature for true instead of #true, etc. ?

2015-08-12 Thread Charles Rich
Hi Matthias, Thanks for the quick reply. We're installing this on all teaching lab and campus machines for students in our courses. Is there any way to make true, etc., the default, so students don't have to make this change every time the start up Racket? -Chuck On Wed, Aug 12, 2015 at 8:51

[racket-users] Typesetting Racket code

2015-08-12 Thread Paul van der Walt
Hello Racketeers, Of course, i should be doing something useful, like writing my thesis. Instead, i am obsessing over typesetting details. I use fixed-width fonts (the LaTeX package beramono, to be precise) for my code snippets. I use the listings package too. This allows me to mark words such

Re: [racket-users] Typesetting Racket code

2015-08-12 Thread Paul van der Walt
On 2015-08-12 at 18:29, quoth Jens Axel Søgaard: How does Scribble typeset the lambda? I was curious about that too. As far as i can see, it's something like my first option was. \newcommand{\RktSym}[1]{\inColor{IdentifierColor}{#1}} ... \RktSym{$\lambda$} Unfortunately, that

[racket-users] Re: Memory tuning of standalone executable?

2015-08-12 Thread Brian Adkins
On Wednesday, August 12, 2015 at 1:02:00 PM UTC-4, Juan Francisco Cantero Hurtado wrote: On 08/12/2015 05:24 AM, Brian Adkins wrote: I just installed 6.2.1 on a Linux VPS via the Unix Source + Built Packages, and the install went smoothly. I created a standalone executable of a simple