Re: [racket-users] pict3d trouble

2016-02-18 Thread Matthew Flatt
Thanks for the info! The problem was not specific to 10.11 (obviously) and not related to GL bitmaps. It was in the way Pict3D creates and hides a frame to get a screen-compatible GL context. Between v6.3 and v6.4, I changed the way `racket/gui` hides a frame on OS X, and the new way destroys the

Re: [racket-users] pict3d trouble

2016-02-18 Thread Stephen De Gabrielle
I'm running 10.10 Yosemite. (should I do a bug report to capture machine details?) macosx "Darwin Miriams-MacBook-Pro.local 14.5.0 Darwin Kernel Version 14.5.0: Tue Sep 1 21:23:09 PDT 2015; root:xnu-2782.50.1~1/RELEASE_X86_64 x86_64" (x86_64-macosx/3m) (get-display-depth) = 32 thanks, S.

Re: [racket-users] pict3d trouble

2016-02-18 Thread Matthew Flatt
I see the same problem on my machine with v6.4 and 6.4.0.8, and not with v6.3. Using `pict3d/universe` works for me in all versions, but the Pict3D snip that's shown in DrRacket doesn't. So, I think the problem must be due to a change since v6.3 in `racket/gui` related to GL bitmaps. I'll

[racket-users] Call for Papers and Demos: Functional Art, Music, Modelling and Design

2016-02-18 Thread Michael Sperber
4th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design Co-located with ICFP Nara, Japan, 24 September, 2016

[racket-users] installing scribble-mode for Spacemacs

2016-02-18 Thread Saša Janiška
Hello, I'd like to install Emacs mode for Scribble and according to the docs here are two methods, I did try the 2nd one which says: Evaluate the following Racket code to install the PLaneT package without modifying your Emacs setup. (require (planet neil/scribble-emacs)) since I use

Re: [racket-users] recursive definition of a PROPOSITION

2016-02-18 Thread Daniel Prager
Hi Aysenur Here are some hints: - It's simpler to work with symbols than strings in this sort of problem. E.g. (define ops '(↔ → ∧ ⊕ ∨ ¬)) (define propositions '(P Q R X Y Z)) - It helps to start by solving a simpler problem. Can you write a function (random-simple-expression) to

[racket-users] Substitude a different value when providing an identifier?

2016-02-18 Thread Alexis King
I have a macro that creates a transformer binding. This binding has prop:procedure on it, so when used, it functions as a macro and expands into something else. This works great, but I have another requirement: when this binding is provided, I actually want to provide an entirely different value