Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
On Tue, Aug 18, 2015 at 11:52 AM, Paul van der Walt paul.vanderw...@inria.fr wrote: Hey Matthew, On 2015-08-18 at 18:16, quoth Matthew Flatt: The change was probably the switch from using homemade white-brackets to using the white-bracket Unicode character. OK, two questions: a) this

Re: [racket-users] Re: Garbage Collection of Places

2015-08-18 Thread Matthew Flatt
At Tue, 18 Aug 2015 10:40:14 -0400, George Neuner wrote: On Mon, 17 Aug 2015 10:07:11 -0600, Matthew Flatt mfl...@cs.utah.edu wrote: The problem is in the clean-up of OS-level locks. A lock is allocated using a combination of malloc() and pthread_mutex_init(), for example. The clean up was

Re: [racket-users] Garbage Collection of Places

2015-08-18 Thread Matthew Flatt
At Mon, 17 Aug 2015 12:21:41 -0700 (PDT), Jack Firth wrote: On Monday, August 17, 2015 at 9:07:15 AM UTC-7, Matthew Flatt wrote: That's an especially basic mistake, and it slipped by because low-level locks are rarely allocated in the run-time system. Place channels are probably the

Re: [racket-users] Unexpected behaviour using (render-metafunctions...)

2015-08-18 Thread Robby Findler
Thanks. I've pushed a fix to this. If you don't want to use a git-based build, you can use the keyword #:filename, to work around the bug. Robby On Tue, Aug 18, 2015 at 2:41 PM, Paul van der Walt paul.vanderw...@inria.fr wrote: Hello again, I have a minor issue, i want to render a

[racket-users] Using DrRacket behind a proxy

2015-08-18 Thread Vimal K
Hi, I am not a DrRacket user. I only it because sometime ago i tried using it to do programming examples from the book SICP. recently i came to know there is a 'plugin' which can be added to DrRacket to support SICP scheme. instructions to install the plugin are to include #lang planet

Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
(add users@ back) On Tue, Aug 18, 2015 at 3:40 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, Aug 18, 2015 at 3:33 PM, Paul van der Walt paul.vanderw...@inria.fr wrote: On 2015-08-18 at 22:02, quoth Robby Findler: What happens when you run this program? Do you see the white

Re: [racket-users] Redex typesetting

2015-08-18 Thread Paul van der Walt
On 2015-08-18 at 22:40, quoth Robby Findler: Okay, when you run this program, it will create tmp.pdf. Does it contain the same two pairs of white brackets? I confirm that the PDF contains correct brackets. -- You received this message because you are subscribed to the Google Groups Racket

Re: [racket-users] DrRacket rendering issues OS X

2015-08-18 Thread Jens Axel Søgaard
Apropos rendering issues on OS X. With a retina display the little dropdown triangles in DrRacket (the one next to the delta - menu that shows definitions) have slightly jarred edges. /Jens Axel 2015-08-18 22:09 GMT+02:00 Andrew Kent sgt...@gmail.com: Just an update/bump: I'm still seeing

Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
What happens when you run this program? Do you see the white brackets at either (10,10) or (10,60) in the resulting window? #lang racket/gui (define (draw c dc) (send dc set-font (send the-font-list find-or-create-font 12 'default 'normal 'normal)) (send dc draw-text \u27e6\u27e7 10 10)

Re: [racket-users] DrRacket rendering issues OS X

2015-08-18 Thread Andrew Kent
Just an update/bump: I'm still seeing this issue in DrRacket on the latest git checkouts. I went ahead replicated the issue on a friend's mac w/ OS X Yosemite w/ the 6.2 release as well (just to make sure I wasn't crazy or causing the issue on my machine).[image: Screen Shot 2015-08-18 at 4.07.23

Re: [racket-users] macro making a struct with a macro

2015-08-18 Thread Greg Hendershott
Although maybe off-topic regarding macrology: You might want to consider factoring out the generally useful part, which I think is the less-verbose accessors. An already less verbose way is to use match-define or match-let, for example: (struct s (a b c)) (define x (s 1 2 3)) (match-define (s

Re: [racket-users] Re: Garbage Collection of Places

2015-08-18 Thread Sam Tobin-Hochstadt
George, You can see the patch here: https://github.com/plt/racket/commit/641c56b6e95b57881b6fef846fb758ed5cd6e5a8 Sam On Tue, Aug 18, 2015 at 10:40 AM George Neuner gneun...@comcast.net wrote: On Mon, 17 Aug 2015 10:07:11 -0600, Matthew Flatt mfl...@cs.utah.edu wrote: The problem is in the

Re: [racket-users] Redex typesetting

2015-08-18 Thread Paul van der Walt
Hey Matthew, On 2015-08-18 at 18:16, quoth Matthew Flatt: The change was probably the switch from using homemade white-brackets to using the white-bracket Unicode character. OK, two questions: a) this fixes PDF generation, great, thanks! b) however, when i do the following:

Re: [racket-users] DrRacket rendering issues OS X

2015-08-18 Thread Matthew Flatt
Sorry for the long delay! I expect to get to it this week as part of my grand tour of display issues. At Tue, 18 Aug 2015 20:09:59 +, Andrew Kent wrote: Just an update/bump: I'm still seeing this issue in DrRacket on the latest git checkouts. I went ahead replicated the issue on a friend's

Re: [racket-users] Redex typesetting

2015-08-18 Thread Matthew Flatt
At Tue, 18 Aug 2015 17:45:28 +0200, Paul van der Walt wrote: I have a bunch of typing judgements and metafunctions which i would now like to typeset, but the ⟦⟧ characters are not showing up correctly. I assume this is some kind of fonts problem? Mind you, at some point in the past (some

[racket-users] Does this package support auto-generating FFI?

2015-08-18 Thread Sam Vervaeck
I've found this package: http://planet.racket-lang.org/package-source/dherman/c.plt It includes a full C-parser, and, from what I can tell something for supporting ABI's: http://planet.racket-lang.org/package-source/dherman/c.plt/4/0/planet-docs/c/header.html#(part._abi) My question is if it

[racket-users] Redex typesetting

2015-08-18 Thread Paul van der Walt
Hello Racketeers, I have been using Redex a bit more (finally beginning to understand one or two things, yay!), but i'm having a rather banal technical problem. I have a bunch of typing judgements and metafunctions which i would now like to typeset, but the ⟦⟧ characters are not showing up