Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Robby Findler
Do you see a message appearing in stdout of DrRacket? (It would be in console.app on a Mac.) Robby On Monday, April 13, 2015, Alexander D. Knauth alexan...@knauth.org wrote: DrRacket is freezing on me a lot, but I’m not sure if it’s because of a problem in DrRacket, Typed Racket, Pict3d, or

Re: [racket-users] Save as Scribble file extension

2015-04-14 Thread Stephen De Gabrielle
Found the reference. I'm assuming this applies to scribble too: -quote- On Thursday, May 9, 2013, Jay McCarthy wrote: On Thu, May 9, 2013 at 10:02 AM, Stephen De Gabrielle stephen.degabrie...@acm.org wrote: Weirdly Datalog on planet seems to have a editor mode, but it doesn't seem to be in

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
I did try that, but no. On Apr 14, 2015, at 3:03 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Do you see a message appearing in stdout of DrRacket? (It would be in console.app on a Mac.) Robby On Monday, April 13, 2015, Alexander D. Knauth alexan...@knauth.org wrote: DrRacket

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
Is it freezing, without giving me any errors or stdout messages. But when I open pict3d/private/engine/shape/polygon.rkt, everything works fine, the background expansion works, the check-syntax works, and it type-checks and runs fine. On Apr 14, 2015, at 7:07 AM, Robby Findler

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Robby Findler
When I install pict3d and open it in a recent DrRacket, I get type errors in that file via online check syntax that match what I get when I run the program, namely: Welcome to DrRacket, version 6.2.0.2--2015-04-11(7fb5e69b/d) [3m]. Language: typed/racket/base [custom]; memory limit: 256 MB. .

Re: [racket-users] modifying readtable entry for `(` breaks reading #hash() ?

2015-04-14 Thread Alexander D. Knauth
On Apr 14, 2015, at 6:57 PM, Matthew Flatt mfl...@cs.utah.edu wrote: This is the kind of problem that the readtable argument to `read/recursive` was meant to solve, but I see that it doesn't work in this case. I have in mind that you'd map `#` to use `read/recursive` with a readtable that

[racket-users] Re: Code Generation

2015-04-14 Thread Héctor Mc
Work! thanks. -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
The first time, I was trying to modify that file, which was installed as a pkg link. I’m not sure if that counts as part of what you mean by updating a package though. After that, I quit DrRacket, re-ran raco setup, restarted DrRacket, and it was still freezing, so I don’t think that’s the

[racket-users] Mutually recursive struct pointers in FFI?

2015-04-14 Thread Ian Johnson
I'm trying to interface with libnauty to do some graph-isomorphism stuff. I've gone through the docs many times but haven't been able to find a way to adequately write a certain struct type. In nauty.h:820 there's an incomplete definition followed by a struct that contains a pointer to it,

Re: [racket-users] Code Generation

2015-04-14 Thread Alexander D. Knauth
On Apr 14, 2015, at 7:08 PM, Héctor Mc soulras...@gmail.com wrote: Hey community In advance sorry for the english, don't speak the language. I'm student and begin to work the thesis and chose to do it in racket. It's about a code generator of web aplications (prototype). The problem that

[racket-users] Re: Code Generation

2015-04-14 Thread Héctor Mc
El martes, 14 de abril de 2015, 18:08:19 (UTC-5), Héctor Mc escribió: Hey community In advance sorry for the english, don't speak the language. I'm student and begin to work the thesis and chose to do it in racket. It's about a code generator of web aplications (prototype). The problem that

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Robby Findler
Oh! Is it possible that you updated some pkgs without restarting DrRacket? I think I see how that could cause DrRacket to get confused and do arbitrarily bad things. Robby On Tue, Apr 14, 2015 at 5:06 PM, Alexander D. Knauth alexan...@knauth.org wrote: Or a simpler way of achieving the same

[racket-users] mailing list move status

2015-04-14 Thread 'John Clements' via Racket Users
This is a quick update on the move of the racket-users mailing list from mailman to google groups. It’s now been about 3 1/2 weeks since the move, and there are mercifully no major problems to report. The move has definitely cost us some members; we started with something like 2K users

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
I tried it with the newest snapshot and now I’m getting these errors that you got, which tell me that there has been a problem introduced in Typed Racket since a week ago: Welcome to DrRacket, version 6.2.0.2--2015-04-14(7fb5e69/a) [3m]. Language: typed/racket/base; memory limit: 2048 MB. .

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
To reproduce it, you could try “updating” your typed-racket-lib pkg to the version from a week ago, maybe? On Apr 14, 2015, at 5:08 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh! that's different than what I had understood. Thanks for clarifying. I wish I could reproduce it, tho.

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

2015-04-14 Thread Alexander D. Knauth
Or a simpler way of achieving the same thing would be to replace the `time`s in pict3d/private/engine/shape/polygon.rk that were giving you errors, with `(cast time Nonnegative-Flonum)`, but when I do that, it works fine. On Apr 14, 2015, at 5:43 PM, Alexander D. Knauth alexan...@knauth.org

Re: [racket-users] modifying readtable entry for `(` breaks reading #hash() ?

2015-04-14 Thread Matthew Flatt
This is the kind of problem that the readtable argument to `read/recursive` was meant to solve, but I see that it doesn't work in this case. I have in mind that you'd map `#` to use `read/recursive` with a readtable that restores the default `(`. Mapping `#` would cover hash tables, vectors, and

Re: [racket-users] How to find most efficient constructs/instructions beside benchmarking?

2015-04-14 Thread Josh Grams
Ah, now I see. It's not that I did the math wrong, it's that I accepted his incorrect use of units. Thanks for taking the time to clear that up for me even though it was kind of off-topic. --Josh -- You received this message because you are subscribed to the Google Groups Racket Users group.

[racket-users] Code Generation

2015-04-14 Thread Héctor Mc
Hey community In advance sorry for the english, don't speak the language. I'm student and begin to work the thesis and chose to do it in racket. It's about a code generator of web aplications (prototype). The problem that I have is when want write/convert generated code in string for after save