Re: [racket] [Typed Racket] "define-predicate" in Racket 5.3.4

2013-05-09 Thread Eric Dobson
That definitely looks like a bug. Can you file one either using the bug report tool in the menus or at bugs.racket-lang.org. No you cannot define a predicate like that, because you cannot tell a functions type with a first order check. But you can use cast, so (cast (Boolean -> Boolean)) should w

[racket] [Typed Racket] "define-predicate" in Racket 5.3.4

2013-05-09 Thread Paul Leger
Hi all, In the Racket 5.3.4, I defined the following predicate >(define-predicate A? Procedure) and later, I tried using as follow: >(A? 'a) But I have the following error: >recursive-contract: contract violation >expected: flat-contract? >given: #<|chaperone-case->|> BTW, i

Re: [racket] What's the version of GTK+ required by Racket?

2013-05-09 Thread Neil Van Dyke
Juan Francisco Cantero Hurtado wrote at 05/09/2013 10:42 PM: On 05/10/13 02:35, Diogo F. S. Ramos wrote: What's the version of GTK+ required by Racket? I'm not sure but I think GTK+ 2.4 is the minimal. Racket works on my Debian 6.0 system, which has GTK+ 2.20.1. IIRC, Matthew did some w

Re: [racket] What's the version of GTK+ required by Racket?

2013-05-09 Thread Juan Francisco Cantero Hurtado
On 05/10/13 02:35, Diogo F. S. Ramos wrote: I'm sorry but I couldn't find a file describing the prerequisites of Racket where I hoped to find the answer for my question. What's the version of GTK+ required by Racket? http://docs.racket-lang.org/gui/libs.html http://docs.racket-lang.org/draw/li

[racket] What's the version of GTK+ required by Racket?

2013-05-09 Thread Diogo F. S. Ramos
I'm sorry but I couldn't find a file describing the prerequisites of Racket where I hoped to find the answer for my question. What's the version of GTK+ required by Racket? Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Capturing key events at the top level

2013-05-09 Thread Jay McCarthy
I noticed that when I printed out the result of (send mw has-focus?) on every printf, it is always #f despite having been called with (send mw focus) On Thu, May 9, 2013 at 6:05 PM, Jay McCarthy wrote: > In the program below, I never receive on-subwindow-char calls (or any > of the other calls).

[racket] Capturing key events at the top level

2013-05-09 Thread Jay McCarthy
In the program below, I never receive on-subwindow-char calls (or any of the other calls). (Except when they correspond to mouse events like the wheel up events.) Is there some other way that I'm supposed to get key events from a top level window? I know I can create a canvas, but I'd like to get a

Re: [racket] DrRacket/Ubuntu 12.04 LT

2013-05-09 Thread Patrick King
A while ago, I said "Still having a hard time catching Racket or Ubuntu "in the act"... One thing that seems to happen fairly consistently is that I end up waiting a lot on the background syntax expansion. Sometimes Racket recovers. Sometimes it crashes (or perhaps Ubuntu is shutting it down -- it

Re: [racket] Racket v5.3.4

2013-05-09 Thread John Gateley
Yep. Google chrome. Sigh. Thanks for figuring it out. -- j On 5/9/2013 8:44 AM, Stephan Houben wrote: Most likely you are using a 32 bit browser. Stephan Houben Op 9 mei 2013 02:13 schreef "John Gateley" mailto:rac...@jfoo.org>> het volgende: On 5/8/2013 11:46 AM, Eli Barzilay wrote:

Re: [racket] missing documentation for racket-5.3.4

2013-05-09 Thread Jon Rafkind
On 05/08/2013 03:26 PM, Juan Francisco Cantero Hurtado wrote: > On 05/08/13 21:39, Neil Van Dyke wrote: >> I had a similar problem this morning when installing from the >> pre-release source, but figured it was probably my fault and didn't have >> time to investigate. (Sorry, I didn't know the rel

Re: [racket] parsing methods for character-based invoices?

2013-05-09 Thread Matthias Felleisen
Oops, I confused parser-tools with Danny's project. Sorry. On May 9, 2013, at 4:53 PM, John Clements wrote: > > On May 9, 2013, at 1:38 PM, Robby Findler wrote: > >> Even if it isn't that large, you may benefit from Pads, as they have a nice >> way to describe the data. (Once you get it pa

[racket] path->relative-string/library for collection-linked paths?

2013-05-09 Thread Danny Yoo
I'm looking for something like path->relative-string/library, but where it applies to directories linked up via 'raco link'. I really want to avoid duplicating effort if something like this already exists. Racket Users list: http://lists.racket-lang.org/users

Re: [racket] parsing methods for character-based invoices?

2013-05-09 Thread John Clements
On May 9, 2013, at 1:38 PM, Robby Findler wrote: > Even if it isn't that large, you may benefit from Pads, as they have a nice > way to describe the data. (Once you get it parsed, tho, they you could come > back to Racket if you wanted at that point.) What about Danny Yoo's 'ragg' project? Tha

Re: [racket] parsing methods for character-based invoices?

2013-05-09 Thread Robby Findler
Even if it isn't that large, you may benefit from Pads, as they have a nice way to describe the data. (Once you get it parsed, tho, they you could come back to Racket if you wanted at that point.) Robby On Thu, May 9, 2013 at 3:07 PM, Matthias Felleisen wrote: > > If you are talking about reall

Re: [racket] parsing methods for character-based invoices?

2013-05-09 Thread Matthias Felleisen
If you are talking about really large, really not quite properly formatted data sets, you want to look up the PADS project at http://www.padsproj.org It's a product from ATT Labs (which is a Bell Labbs 'baby') and they apparently used it on their billing data. If you are looking at a few

[racket] parsing methods for character-based invoices?

2013-05-09 Thread David Vanderson
I've got character-based invoices from old systems that look roughly like (but much bigger): DATEDESC CREDIT DEBIT 01/01/2013 SERVICES $1234.50 01/01/2013 PAYMENT $1000.00 BALANCE $234.50 I don't know exactly how they're f

Re: [racket] how to use ``smtp-send-message''?

2013-05-09 Thread Kejia柯嘉
thank you very much for the guide, Greg :-) ☵☯☲ 2013/5/9 Greg Hendershott : > Slightly off-topic, and probably preaching to the choir, but: > > It's definitely worthwhile setting up two-factor authentication for > your Google account. > > After you do so, you can generate per-application passwo

Re: [racket] how to use ``smtp-send-message''?

2013-05-09 Thread Greg Hendershott
Slightly off-topic, and probably preaching to the choir, but: It's definitely worthwhile setting up two-factor authentication for your Google account. After you do so, you can generate per-application passwords (as Matthias mentioned). For example you'd ask Google to generate one for your Racket

Re: [racket] A language mode for SQL

2013-05-09 Thread Jay McCarthy
On Thu, May 9, 2013 at 10:02 AM, Stephen De Gabrielle wrote: > Weirdly Datalog on planet seems to have a editor mode, but it doesn't > seem to be > in datalog as distrubuted with DrRacket (full?) version > 5.3.2.2--2013-01-26(295bb1e/a) [3m]. > (maybe I'm not looking hard enough - or I have an old

Re: [racket] how to use ``smtp-send-message''?

2013-05-09 Thread Kejia柯嘉
thanks a lot for your helps. the following is my code for archiving: `` #! /usr/local/bin/racket #lang racket (require net/dns) (require net/head) (require net/smtp) (require openssl/mzssl) (smtp-send-message (dns-get-address (dns-find-nameserver) "smtp.gmail.com") "send...@gmail.com" '("reci

Re: [racket] A language mode for SQL

2013-05-09 Thread Neil Van Dyke
There have been several SQL-in-sexp libraries over the years. When done as Racket syntax extension, they can do some compile-type syntax checking. They also can automatically do escaping of values to avoid SQL injection attacks. The library I've used most recently is unfortunately closed so

Re: [racket] A language mode for SQL

2013-05-09 Thread Stephen De Gabrielle
Hi, I can't find one for SQL, but there do seem to be some other modes on Planet you could take a look at: https://www.google.co.uk/search?q=%22add-mode%22+site:planet.racket-lang.org 'add-mode' is documented at http://docs.racket-lang.org/tools/Editor_Modes.html Weirdly Datalog on planet seems t

Re: [racket] Racket v5.3.4

2013-05-09 Thread Stephan Houben
Most likely you are using a 32 bit browser. Stephan Houben Op 9 mei 2013 02:13 schreef "John Gateley" het volgende: > > > On 5/8/2013 11:46 AM, Eli Barzilay wrote: > >> Racket version 5.3.4 is now available from >> >>http://racket-lang.org/ >> > > One thing I have noticed with this and other

Re: [racket] 5.3.4 on windows .. minor gripe

2013-05-09 Thread Tim Brown
I have just installed 5.3.4 on Windows 8. But, of course, since it uses the "Start" Page and tiles, there isn't an issue with choosing a Start Button. I got tiles for DrRacket, GRacket, Racket and Docs. (Which is nothing compared to the 100 or so tiles I got from Cygwin!) On 8 May 2013 21:47, El

Re: [racket] SIGSEGV MAPERR si_code 1 fault on addr 0x7...; can't isolate or consistently reproduce in source code; stack trace points to scheme_uncopy_stack

2013-05-09 Thread Matthew Eric Bassett
After some hard, clever work by my colleague, we've managed to narrow this one down a bit further. First, we have compiled racket with optimization disabled, and we do have an all-zeroed Scheme_Jmpup_Buf. Please see our gdb session at http://pastebin.com/aBx2FTcK Second, we've managed to co