[racket-dev] Unexpected make-temporary-file behavior

2010-12-08 Thread Casey Klein
The documentation for `make-temporary-file' says, The `template'
argument must be a format string suitable for use with `format' and
one additional string argument (where the string contains only
digits).

I take that to mean that the following expression should always produce true:

(regexp-match?
 #px^\\d*$
 (file-name-from-path (make-temporary-file ~a)))

It does not, though:

 (make-temporary-file ~a)
#path:/var/folders/WG/WGoR46pDFjWocHBRaeWetk+++TI/-Tmp-/1291832518-952637879

Is this a bug, or am I misunderstanding the documentation?
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


[racket-dev] DrDr 'shmget' errors

2010-12-08 Thread John Clements
I'm seeing this result from DrDr on one of my files:

(gracket:19767): Gdk-WARNING **: shmget failed: error 28 (No space left on 
device)

... and I'm assuming that it's a drdr issue related to running files that 
involve graphical display, and that I don't need to worry about it. Is this 
correct?

Apologies if I missed discussion of this.

John

smime.p7s
Description: S/MIME cryptographic signature
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Unexpected make-temporary-file behavior

2010-12-08 Thread Casey Klein
On Wed, Dec 8, 2010 at 12:23 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
 The documentation for `make-temporary-file' says, The `template'
 argument must be a format string suitable for use with `format' and
 one additional string argument (where the string contains only
 digits).

 I take that to mean that the following expression should always produce true:

 (regexp-match?
  #px^\\d*$
  (file-name-from-path (make-temporary-file ~a)))

 It does not, though:

 (make-temporary-file ~a)
 #path:/var/folders/WG/WGoR46pDFjWocHBRaeWetk+++TI/-Tmp-/1291832518-952637879

 Is this a bug, or am I misunderstanding the documentation?


After looking at the code, it's a bug. The -952637879 comes from
(current-milliseconds), which is currently negative on my machine.

http://git.racket-lang.org/plt/blob/HEAD:/collects/racket/file.rkt#l88

I'll push a fix.
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] DrDr 'shmget' errors

2010-12-08 Thread Jay McCarthy
Alright. I have 4096 shared memory segments with nothing attached to them.

I think this means that gr2 has a bug because it is not returning them,
maybe by not closing gdk properly?

Jay

On Wed, Dec 8, 2010 at 1:47 PM, Jay McCarthy jay.mccar...@gmail.com wrote:

 We talked about it on IRC.

 I looked up the error and it says there is no more shared memory. I checked
 all my limits and they are all extremely high. I don't think it is a real
 problem with the machine, but I don't exactly know. If anyone can give me
 advice about what this means, let me know.

 Jay


 On Wed, Dec 8, 2010 at 11:58 AM, John Clements 
 cleme...@brinckerhoff.orgwrote:

 I'm seeing this result from DrDr on one of my files:

 (gracket:19767): Gdk-WARNING **: shmget failed: error 28 (No space left on
 device)

 ... and I'm assuming that it's a drdr issue related to running files that
 involve graphical display, and that I don't need to worry about it. Is this
 correct?

 Apologies if I missed discussion of this.

 John




 --
 Jay McCarthy j...@cs.byu.edu
 Assistant Professor / Brigham Young University
 http://faculty.cs.byu.edu/~jay

 The glory of God is Intelligence - DC 93




-- 
Jay McCarthy j...@cs.byu.edu
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

The glory of God is Intelligence - DC 93
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] getting a language level without starting drracket

2010-12-08 Thread Robby Findler
For the #lang-based teaching languages, I hope to eventually move to
the sandbox for DrRacket. For the language-dialog based ones, I don't
plan to change them, just leaving them as legacy until people stop
using them.

So I'd suggest giving the sandbox a try and seeing if you can get the
stepper working in it as that'll be needed eventually anyways.

Robby

On Wed, Dec 8, 2010 at 4:24 PM, John Clements cleme...@brinckerhoff.org wrote:
 Several aspects of the stepper's behavior depend on the language level that 
 the user is in.  Historically, the division between graphical and 
 non-graphical apps has meant that it's simpler for the stepper to make up a 
 fake language level, rather than get a real one for testing.  However, the 
 world looks different now.  How difficult would it be for a racket app to get 
 a language-level% corresponding to a given module path, for use in testing?  
 This would also bring the testing substantially closer to the implementation.

 John


_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] full tree text search

2010-12-08 Thread Matthias Felleisen

So how do you use it? I entered 

 code: 

and I got a huge stack trace. 


On Dec 8, 2010, at 8:26 PM, Jon Rafkind wrote:

 I whipped up a webservice that provides full text search on the racket
 tree. Its written in java using lucene+jetty. It doesn't have a lot of
 bells and whistles right now but if people find it useful I can add
 things to it.
 
 ​http://crystalis.cs.utah.edu:8080/search/
 
 I'll try to leave the server up most of the time for a few days. If its
 down and you want to try the server just let me know.
 
 --
 Why not use google search? Well its nice to have a little more control
 over how the results are shown. Sites like http://koders.com show a
 little bit of whats possible.
 
 Also its easy to set up the text search on your local box. Rebuilding a
 full index takes less than 2 minutes.
 _
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] full tree text search

2010-12-08 Thread Eli Barzilay
Is this different from a recursive grep?

(See also `git grep' -- and there's a web interface for that,
http://git.racket-lang.org//plt?a=searchh=HEADst=greps=foo )


Four hours ago, Jon Rafkind wrote:
 I whipped up a webservice that provides full text search on the
 racket tree. Its written in java using lucene+jetty. It doesn't have
 a lot of bells and whistles right now but if people find it useful I
 can add things to it.
 
 ​http://crystalis.cs.utah.edu:8080/search/
 
 I'll try to leave the server up most of the time for a few days. If
 its down and you want to try the server just let me know.
 
 --
 Why not use google search? Well its nice to have a little more control
 over how the results are shown. Sites like http://koders.com show a
 little bit of whats possible.
 
 Also its easy to set up the text search on your local box. Rebuilding a
 full index takes less than 2 minutes.

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] full tree text search

2010-12-08 Thread Jon Rafkind
On 12/08/2010 10:12 PM, Eli Barzilay wrote:
 Is this different from a recursive grep?

 (See also `git grep' -- and there's a web interface for that,
 http://git.racket-lang.org//plt?a=searchh=HEADst=greps=foo )


Oh I had no idea git grep existed. Well that looks good enough for now.

(BTW, recursive grep on the command line is not so trivial..
$ find . -name *.rkt | xargs grep foo
)
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev