Re: [racket-dev] weird (memory?) bug using (dis)similar require mechanisms

2011-09-10 Thread Matthew Flatt
At Fri, 09 Sep 2011 12:29:13 +0200, Marijn wrote: > this racket bug was discovered when I was trying out geiser which > starts programs in a way that exposes this bug. The program starts > correctly but none of the buttons work (or only reserve screen space) > and it is hard to terminate the progra

Re: [racket-dev] generalized `begin-for-syntax'

2011-09-08 Thread Matthew Flatt
At Thu, 8 Sep 2011 17:48:46 -0400, Eli Barzilay wrote: > Does this mean that `define-for-syntax' becomes as deprecated as > `require-for-syntax' etc, right? At the moment, `define-for-syntax' seems like a more useful shorthand than `require-for-syntax', but maybe not if `for-syntax' works as `begi

[racket-dev] generalized `begin-for-syntax'

2011-09-08 Thread Matthew Flatt
The `begin-for-syntax' form in v5.1.3.7 supports variable and macro definitions within a module for all phases N >= 0 (finally!). As a simple example, you can use `struct' for-syntax without having to add `#:omit-define-syntaxes': #lang racket (begin-for-syntax (require racket/match) (st

Re: [racket-dev] Errors with Racket on OS X 10.7 64bit

2011-09-08 Thread Matthew Flatt
At Wed, 7 Sep 2011 21:47:17 -0700, Eric Dobson wrote: > I regularly build racket from HEAD on OS X with no problems, but > tonight I decided to try the 64 bit version and couldn't get it to > compile. The error I got was: > > Undefined symbols for architecture x86_64: > "_iconv_close", reference

Re: [racket-dev] scheme_is_list?

2011-09-07 Thread Matthew Flatt
At Wed, 7 Sep 2011 20:18:44 -0400, Danny Yoo wrote: > I'm looking at scheme_is_list in src/list.c, and it looks like there's > code that's unreachable, unless I'm reading it wrong?! The body is: > > > int scheme_is_list(Scheme_Object *obj1) > { > Scheme_Object *obj2; > int flags; > > if (

Re: [racket-dev] [plt] Push #23424: master branch updated

2011-09-03 Thread Matthew Flatt
At Sat, 3 Sep 2011 17:25:58 -0400, Sam Tobin-Hochstadt wrote: > On Thu, Sep 1, 2011 at 5:20 PM, wrote: > > > > src/racket/src/place.c > > ~~ > > + REGISTER_SO(quote_symbol); > > + quote_symbol = scheme_intern_symbol("quote"); > > This is the third definition of 'quote_symbol'

Re: [racket-dev] online check syntax deadlock: can you help?

2011-09-02 Thread Matthew Flatt
At Thu, 1 Sep 2011 15:20:27 -0700, John Clements wrote: > > Note that the code ignores the result of `TransformProcessType', which > > is a bad idea. If you remove the `void' wrapper, what number result > > gets printed on your machine? > > > > Looks like it's -50. -50 means "bad argument". App

Re: [racket-dev] drRacket Close/Close tab

2011-09-01 Thread Matthew Flatt
At Thu, 1 Sep 2011 09:14:47 -0500, Robby Findler wrote: > On Wed, Aug 31, 2011 at 3:30 AM, Marijn wrote: > >> I like the idea of adding shift, but I've changed things so that > >> instead of the w shortcut going away, the close menu item becomes > >> -shift-w (so the shifting behavior is still the

Re: [racket-dev] editor-canvas% not visually distinguished

2011-09-01 Thread Matthew Flatt
The intent is that the 'control-border style for `editor-canvas%' gives it a border like a control. The default mode is suitable for an editor that fills a window. Canvas border styles didn't work on Gtk when the canvas has a scroll bar, though, so I've pushed a repair for that bug. At Thu, 01 Se

Re: [racket-dev] online check syntax deadlock: can you help?

2011-09-01 Thread Matthew Flatt
At Wed, 31 Aug 2011 23:00:25 -0700, John Clements wrote: > > On Aug 31, 2011, at 5:08 PM, Robby Findler wrote: > > > I've been seeing for some time now a deadlock in online check syntax. > > That is, after a while it just gets stuck and fails to complete the > > online check syntax. Typically wha

Re: [racket-dev] Can't use 5.1.2 and later

2011-08-28 Thread Matthew Flatt
At Sun, 28 Aug 2011 13:18:36 -0600, Doug Williams wrote: > I reported a problem a few weeks back that keeps me from using 5.1.2 (and > now 5.1.3). Matthew believes it is due to an optimizer bug with boxes. > Fortunately, 5.1.1 works, but we're stuck there. I tried the latest nightly > build this mo

Re: [racket-dev] scribble interaction

2011-08-28 Thread Matthew Flatt
en would I want > to write documentation that doesn't pretty print? > > -- Matthias > > > > On Aug 27, 2011, at 4:07 PM, Matthew Flatt wrote: > > > At Sat, 27 Aug 2011 13:22:12 -0400, Matthias Felleisen wrote: > >> > >> When you run this prog

Re: [racket-dev] scribble interaction

2011-08-27 Thread Matthew Flatt
At Sat, 27 Aug 2011 13:22:12 -0400, Matthias Felleisen wrote: > > When you run this program, you don't get the pretty printing you get in plain > Racket or in Dr. Why? The default evaluator for `interaction' is analogous to racket -l racket/base -i where `pretty-print' isn't installed as the

Re: [racket-dev] Build failure on specific PPC systems

2011-08-26 Thread Matthew Flatt
At Thu, 25 Aug 2011 23:30:38 -0400, James Vega wrote: > On Wed, Aug 24, 2011 at 11:31:05PM -0400, Lennart Sorensen wrote: > > On Wed, Aug 24, 2011 at 10:58:04PM -0400, Lennart Sorensen wrote: > > > On Wed, Aug 24, 2011 at 07:30:07PM -0400, James Vega wrote: > > > > Since at least 4.2.4, Racket has

Re: [racket-dev] raco link

2011-08-24 Thread Matthew Flatt
I've pushed some changes to `raco link': * The `-s'/`--show' flag is now `-l'/`--list'. The old flag was closer to `planet show', but after being away from `raco link', I keet typing `-l'. Is there a precedent for `-l', or should I change it back? * The `-r'/`--remove' flag removes in

[racket-dev] raco link

2011-08-24 Thread Matthew Flatt
The latest version of Racket includes an experimental `raco link' command for linking a collection name to a directory. For example, suppose you work on three collections, "superweb", "superglue", and "superdoc", and you have all three as directories within a "super" git repo. Then, you'd set up y

[racket-dev] FFI: C arrays and unions

2011-08-20 Thread Matthew Flatt
The FFI now includes support for C arrays and unions. As Eli has noted, libffi (which Racket uses for calls to foreign functions) doesn't exactly support arrays within structs (which is one the main places to use arrays), but we're trying something. If you run into problems, be at least a little s

Re: [racket-dev] Intermittent DrRacket crash

2011-08-19 Thread Matthew Flatt
Commit d7a996ee0bf393 is relevant. Let me know if you see any change after updating to the latest. At Wed, 17 Aug 2011 10:22:32 -0500, Casey Klein wrote: > DrRacket crashes pretty routinely when I'm editing a Scribble document > and hitting the "Scribble HTML" button. I don't know precisely what >

Re: [racket-dev] [plt] Push #23293: master branch updated

2011-08-19 Thread Matthew Flatt
At Fri, 19 Aug 2011 08:36:30 -0400, mfl...@racket-lang.org wrote: > 7eb2042 Matthew Flatt 2011-08-19 03:34 > : > | fix compiler handling of top-/module-level constants Sorry --- I know that DrRacket doesn't start after this commit. I'm working on it. (I ran extra test suites

Re: [racket-dev] Compile error in git repo on both Linux and Mac

2011-08-18 Thread Matthew Flatt
At Mon, 15 Aug 2011 14:05:29 + (UTC), Cyprien Nicolas wrote: > Matthew Flatt writes: > > At Sun, 17 Oct 2010 22:10:11 +0800, Nevo wrote: > > >Does it require other features being disabled in order to build racket > > > without jit? > > > >

Re: [racket-dev] Scribble does not complain when @tech{term} is used but not defined

2011-08-18 Thread Matthew Flatt
I've changed `scribble' to report undefined cross-reference targets to stderr by default. The "HTML" and "PDF" buttons in DrRacket do not show the warnings, because those buttons run `scribble' with the `--quiet' flag. I think Robby has been considering a different implementation of the buttons.

Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Matthew Flatt
I think I have a repair for the bug, but I'm still checking. At Tue, 16 Aug 2011 21:17:39 -0400, Eli Barzilay wrote: > 30 minutes ago, Casey Klein wrote: > > No, the build failure is due to this bug: > > > > http://bugs.racket-lang.org/query/?cmd=view&pr=12116 > > > > I'd be happy to avoid build

Re: [racket-dev] [plt] Push #23267: master branch updated

2011-08-16 Thread Matthew Flatt
; > >>> =[ 1 Commits ]========== > >>> > >>> Directory summary: > >>> 100.0% src/racket/src/ > >>> > >>> ~~ > >>> > >>> 311d55b Matthew Flatt 2011-08-16 10:27 > >>

Re: [racket-dev] strange/wrong placement and sizing in racket/gui

2011-08-16 Thread Matthew Flatt
At Tue, 16 Aug 2011 12:25:10 +0200, Marijn wrote: > > I noticed that text-fields are now missing their right border. Might be > > related to your fix. > > > > Marijn > > There seems to be some positioning error, as text-fields are now > displayed on top of their labels. Thanks for the report! I'

Re: [racket-dev] Problem with latest nightly build

2011-08-15 Thread Matthew Flatt
Thanks for the report! It's an optimizer bug. The bytecode compiler is currently transforming (let ([h (box 0.0)]) (lambda () h)) to (lambda () (box 0.0)) which is obviously wrong. I'll work on that. At Mon, 15 Aug 2011 08:48:41 -0600, Doug Williams wrote: > I downloaded the latest

Re: [racket-dev] Running into phase-error issues

2011-08-15 Thread Matthew Flatt
At Sun, 14 Aug 2011 23:32:48 -0400, Danny Yoo wrote: > Yes! Here's the problem I'm trying to solve: I'm trying to attach > information to a module, and then be able to query for that > information without running the module. That makes sense. The `dynamic-require-for-syntax' function was intende

Re: [racket-dev] building from scratch

2011-08-15 Thread Matthew Flatt
This was a debugging printf in keyword-argument handling, which I'll remove. At Mon, 15 Aug 2011 08:31:41 -0400, Matthias Felleisen wrote: > > raco setup: post-installing: racket/gui > raco setup: > raco setup: output: during making for browser > STDOUT: > (4 2 0) > = > raco setup: out

Re: [racket-dev] Running into phase-error issues

2011-08-14 Thread Matthew Flatt
At Sun, 14 Aug 2011 19:46:46 -0400, Danny Yoo wrote: > I'm running into some problem when using dynamic-require-for-syntax: I imagine the problem is that `dynamic-require-for-syntax' is broken, but I hope to get rid of that function because it implements bad phase-crossing behavior. So, although

Re: [racket-dev] Plot testing and feedback

2011-08-14 Thread Matthew Flatt
At Fri, 12 Aug 2011 19:47:43 -0700, Neil Toronto wrote: > Thank you! I blame, in order: > > 1. Racket's awesome cross-platform drawing library. Holy cow! Making > nice plots would be next to impossible without it. Also, the fact that I > can render to ps/pdf/svg just by passing a different dc is

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-13 Thread Matthew Flatt
I'd like to renew the suggestion that Guillaume works out a concrete plan and we take it from there. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] strange/wrong placement and sizing in racket/gui

2011-08-13 Thread Matthew Flatt
At Thu, 11 Aug 2011 14:20:23 +0200, Marijn wrote: > On 06/21/11 09:50, Marijn wrote: > > On 06/20/11 18:29, Matthew Flatt wrote: > >> I think I've found the problem and pushed a fix. > > > > Thanks for the quick fix Matthew! 1) 2) and 3) are now working fine

Re: [racket-dev] Plot testing and feedback

2011-08-13 Thread Matthew Flatt
At Fri, 12 Aug 2011 21:56:57 -0500, Robby Findler wrote: > On Fri, Aug 12, 2011 at 9:41 PM, Neil Toronto wrote: > > Can I get a racket/gui expert's help on Jay's machine's output? There are > > two issues: > > > > 1. I have it render text with an 8 point font. On Jay's Mac, it's too small > > to b

Re: [racket-dev] [racket] keyword args static checking and optimization

2011-08-08 Thread Matthew Flatt
At Mon, 8 Aug 2011 10:12:36 -0500, Robby Findler wrote: > >   Another possibility is to redirect the `set!' on `f' to the > >   underlying `proc', and somehow make the optimized call to `core' > >   happen only when `proc' is never mutated. Due to the order of macro > >   expansion, whether `f' is

Re: [racket-dev] [racket] keyword args static checking and optimization

2011-08-08 Thread Matthew Flatt
[Moved to the dev list.] At Sat, 06 Aug 2011 07:25:00 -0400, Neil Van Dyke wrote: > Feature request... I'd *really* like to see compile-time checking of > keyword arguments whenever that is possible. > > If compiler knows what procedure will be called, and the procedure uses > keyword args in t

Re: [racket-dev] Scribble output changes

2011-08-05 Thread Matthew Flatt
At Fri, 05 Aug 2011 19:54:07 -0400, Prabhakar Ragde wrote: > For what it's worth, I found the documentation on tables largely > incomprehensible, and could not get them to render through LaTeX without > everything all mushed together. I agree. (As it happens, if I had continued working on Scrib

[racket-dev] Scribble output changes

2011-08-05 Thread Matthew Flatt
For HTML output, `racketblock' and `codeblock' now use a style that discourages line wrapping. So, when you make code that is too wide, it will usually[*] extend past the right margin instead of wrapping lines. This doesn't mean that too-wide code is ok; it's just a better failure mode in most case

Re: [racket-dev] Problems compiling Racket-5.1.2 on SunOS5.10(x86)

2011-08-05 Thread Matthew Flatt
At Thu, 4 Aug 2011 14:26:55 -0500, Kent Mein wrote: > I'm trying to compile 5.1.2 on SunOS5.10(x86) and I'm getting the > following errors, anyone have any ideas? > > [...] > > ffi-obj: couldn't get "scheme_register_process_global" from #f (libc.so.1: > racketcgc: fatal: scheme_register_process

Re: [racket-dev] New plot library [Was: (to Jay) Re: What I'm working on]

2011-08-02 Thread Matthew Flatt
At Tue, 2 Aug 2011 16:20:43 -0400, Eli Barzilay wrote: > This replacement would be great -- it's pretty bad now that it goes > out to a(n outdated) C library with inferior graphic capabilities, > draws the graph into a temporary file which is then loaded back in > Racket. No, the current plot draw

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Matthew Flatt
At Mon, 1 Aug 2011 15:03:21 -0400, Sam Tobin-Hochstadt wrote: > There's certainly limited space for the most prominent elements of the > release notes. But I think the right solution there is to pick some > small number of items (say, 5) that are most significant, and > highlight them. Then much

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Matthew Flatt
Some initial drafts, maybe too long: * The download page includes distributions for 64-bit Windows, Mac OS X, and two Debian flavors. * Racket now includes a new `racket/place' library to support parallelism as a complement the existing `racket/future' library. Racket's parallel build

Re: [racket-dev] can we write these four lines of C in performant racket?

2011-07-26 Thread Matthew Flatt
At Mon, 25 Jul 2011 08:05:46 -0400, Sam Tobin-Hochstadt wrote: > On Mon, Jul 25, 2011 at 7:51 AM, Matthew Flatt wrote: > > > > Here are some timings for 1000 iterations on 2^20-element inputs > > (32-bit mode, Mac Book Pro 2.53 GHz): > > > >  C as above, gcc

Re: [racket-dev] can we write these four lines of C in performant racket?

2011-07-25 Thread Matthew Flatt
At Sat, 23 Jul 2011 14:42:15 -0400, John Clements wrote: > This C code adds the content of one buffer to another one, with no checking. > The corresponding racket code runs about 10x slower. Do you folks think that > it > should be possible to do better? (One salient fact: these are > shorts--

Re: [racket-dev] read-marshalled: reader for splice-sequence-type not implemented?

2011-07-22 Thread Matthew Flatt
I've pushed a repair and requested a merge to the v5.1.2 branch. I don't know of other problems. In this case, the reader was implemented but wired incorrectly due to a typo. At Fri, 22 Jul 2011 11:40:10 -0400, Danny Yoo wrote: > I'm getting an error in the 5.1.1.900 branch when trying to zo-pars

Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-20 Thread Matthew Flatt
At Tue, 19 Jul 2011 15:16:01 -0600 (MDT), Ryan Culpepper wrote: > * Matthew Flatt > - Racket Tests > - Languages Tests > - GRacket Tests (Also check that `gracket -z' and `gracket-text' still > works in Windows and Mac OS X) > - mzc Tests > - mzc --exe

Re: [racket-dev] mouse motion events in Linux

2011-07-17 Thread Matthew Flatt
it out. Does adding GDK_POINTER_MOTION_HINT_MASK change the mouse events that you see on your machine? At Sun, 17 Jul 2011 15:57:10 +0200, Stephan Houben wrote: > Hi Matthew, > > On 07/16/2011 10:31 PM, Matthew Flatt wrote: > > Short answer: change pushed. > > Thanks for pic

Re: [racket-dev] build error

2011-07-16 Thread Matthew Flatt
I'll push a repair soon (after I confirm that a clean build now completes for me). There were two problems: * A new test file in "collects/tests/drracket" shouldn't be compiled, since it contains an image constant. * The compilation manager used by `raco setup' needs to configure reader

Re: [racket-dev] mouse motion events in Linux

2011-07-16 Thread Matthew Flatt
Short answer: change pushed. Long answer: At one point, I changed GDK_POINTER_MOTION_MASK to GDK_POINTER_MOTION_HINT_MASK. My impression from the documentation and from trying it out was that it generated helpfully fewer mouse-movement events. Instead, it seems to generate zero mouse-movement even

Re: [racket-dev] syntax-case and stack trace

2011-07-16 Thread Matthew Flatt
At Fri, 15 Jul 2011 21:53:59 -0500, Casey Klein wrote: > FWIW, the big taints commit also changed the value of this expression: > > (let ([s #'x]) > (equal? s > (with-handlers ([exn:fail:syntax? (compose first > exn:fail:syntax-exprs)]) > (raise-syntax-error #f "message" s)

Re: [racket-dev] syntax-case and stack trace

2011-07-15 Thread Matthew Flatt
This is a bug in errortrace that was introduced with the switch to taints. I'm fixing it. At Fri, 15 Jul 2011 16:27:57 -0500, Casey Klein wrote: > Running the following program in DrRacket 5.1.1 highlights the `error' > expression if debugging is enabled: > > #lang racket > > (syntax-case 'a ()

Re: [racket-dev] New error messages for *SL

2011-07-12 Thread Matthew Flatt
At Mon, 11 Jul 2011 18:28:56 -0400, Guillaume Marceau wrote: > On Thu, Jul 7, 2011 at 12:44 PM, Matthew Flatt wrote: > > * ASL incorrectly specifies >= 1 arguments required for functions and > >   function calls (i.e., functions and call are not common syntax a

Re: [racket-dev] the stepper and changes to the expansion of letrec

2011-07-09 Thread Matthew Flatt
At Sat, 9 Jul 2011 11:43:14 -0700, John Clements wrote: > The expansion of letrec has changed substantially; for instance, a letrec > such > as > > (letrec ([a 3] [b (lambda () (b))] [c 4]) (+ a (b) c)) > > ... now expands into three nested forms. This is going to require some fairly > intere

Re: [racket-dev] New error messages for *SL

2011-07-09 Thread Matthew Flatt
At Sat, 9 Jul 2011 01:59:31 -0400, Guillaume Marceau wrote: > >  * Expanding `expr' to `expression' means that the grammar tables don't > >   fit in the available width. (Is `expr' as an abbreviation confusing > >   to students?) > > In general, yes, abbreviations are a big speed bump for students

Re: [racket-dev] `letrec' and continuations

2011-07-08 Thread Matthew Flatt
ng them different is a little awkward, but it solves a problem with `local-expand': At Fri, 20 May 2011 09:28:40 -0700, Matthew Flatt wrote: > At Fri, 20 May 2011 11:03:04 -0400, Sam Tobin-Hochstadt wrote: > > On Fri, May 20, 2011 at 10:53 AM, Matthew Flatt wrote: > > > I

Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Matthew Flatt
At Wed, 6 Jul 2011 05:59:30 -0400, Guillaume Marceau wrote: > [3]There is a layout problem in my new documentation I need help with. > I > tried to abstract the common text between the documentation of the > different levels. Possibly because I didn't do it correctly, the macro > I

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Matthew Flatt
At Wed, 6 Jul 2011 09:36:35 -0400, Guillaume Marceau wrote: > On Wed, Jul 6, 2011 at 9:14 AM, Matthew Flatt wrote: > > In the case of the HtDP languages, was the choice to duplicate all the > > text deliberate, or was it a side-effect of some other change? > > Yes, this

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Matthew Flatt
At Wed, 6 Jul 2011 05:59:30 -0400, Guillaume Marceau wrote: > [3]There is a layout problem in my new documentation I need help with. > I > tried to abstract the common text between the documentation of the > different levels. It's possible that the HtDP languages should be differe

Re: [racket-dev] OK, how do I fix this DrDr complaint?

2011-07-05 Thread Matthew Flatt
At Tue, 5 Jul 2011 09:23:38 +0800, Robby Findler wrote: > On Tue, Jul 5, 2011 at 8:52 AM, Sam Tobin-Hochstadt wrote: > > On Mon, Jul 4, 2011 at 8:36 PM, Stephen Bloch wrote: > >> As of this evening's DrDr build, test-docs-complete is complaining of a > >> gazillion "undocumented exports" from pic

Re: [racket-dev] syntax taints instead of syntax certificates

2011-07-02 Thread Matthew Flatt
s out better with more terms. Ryan and I spent a lot of time refining the terminology, but I guess it could always be better. > On Wednesday, Matthew Flatt wrote: > > > > I think you want to use `syntax-protect' on any exported macro. > > This does sound like what I

Re: [racket-dev] Release for v5.1.2 is about to begin

2011-07-01 Thread Matthew Flatt
At Fri, 1 Jul 2011 20:27:05 -0400, Danny Yoo wrote: > On Fri, Jul 1, 2011 at 6:57 PM, Ryan Culpepper wrote: > > The release process for v5.1.2 will begin in about a week.  If > > you have any new features that you want in and are relatively close > > to being done, now is a good time to do that. >

Re: [racket-dev] make-vector: out of memory making vector of length 0

2011-06-30 Thread Matthew Flatt
Sorry -- I thought I had pushed that fix along with the previous one. It's there now. At Thu, 30 Jun 2011 10:46:22 -0600, Jon Rafkind wrote: > I just updated to HEAD and I see this error during 'make install'. > > raco setup: making: compiler > raco setup: making: raco > make-vector: out of memor

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Matthew Flatt
> >> 8 minutes ago, Carl Eastlund wrote: > >> > On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt > >> > wrote: > >> > > Things you need to know: > >> > > > >> > >  * When writing a macro (without `syntax-rules', `d

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Matthew Flatt
At Wed, 29 Jun 2011 22:34:19 -0400, Sam Tobin-Hochstadt wrote: > On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt wrote: > > > >  * If you write program-processing tools or languages that use > >   `syntax-recertify', you'll need to change them to use > >  

[racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Matthew Flatt
I've pushed a change to Racket's macro system that throws out the syntax-certificate system and adds a syntax-taint system. Syntax taints, like syntax certificates before, are intended to protect macro expansions from abuse. "Abuse" means using `local-expand' to extract a piece of an expansion, t

Re: [racket-dev] Racket startup

2011-06-28 Thread Matthew Flatt
I am too buried in syntax-certificate work at the moment to follow along reply properly, but for what it's worth, I have a very different proposal in mind: a single file can have multiple loadable things (maybe "modulets"), and a program `main' should be one of those loadable things --- not an expo

[racket-dev] Gtk menu-bar height

2011-06-20 Thread Matthew Flatt
I've pushed a new repair to the old menu-bar problem in Gtk, where the menu bar could be too short to properly display its content. Robby previously pushed a repair that made the menu bar the right height when it's supposed to be in a frame. For Unity-like modes where the menu bar is not included

Re: [racket-dev] strange/wrong placement and sizing in racket/gui

2011-06-20 Thread Matthew Flatt
I think I've found the problem and pushed a fix. At Mon, 20 Jun 2011 15:55:08 +0200, Marijn wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hi list, > > I have a couple of issues with current racket/gui behavior. I have > created the following test-case: > > > #lang racket/gui >

Re: [racket-dev] `net/url' hack

2011-06-20 Thread Matthew Flatt
At Mon, 20 Jun 2011 06:36:23 -0400, Eli Barzilay wrote: > Does anyone want to take on documenting the hack? I'll take it. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Non-negative real predicate?

2011-06-10 Thread Matthew Flatt
I'm more in favor of using `(and/c real? (not/c negative?))'. At Fri, 10 Jun 2011 16:08:35 -0400, Matthias Felleisen wrote: > > Make a real predicate and link to it. > > > On Jun 10, 2011, at 3:23 PM, Asumu Takikawa wrote: > > > Hi all, > > > > I've seen some locations in the docs where a c

Re: [racket-dev] `take' argument order

2011-06-08 Thread Matthew Flatt
At Wed, 8 Jun 2011 10:21:18 -0400, Eli Barzilay wrote: > In any case, I do take compatibility as a priority, so I'm suggesting > allowing both orders for this case. You also mentioned disallowing improper lists as a related change, which could be significant. I'd much rather leave this alone and

Re: [racket-dev] `take' argument order

2011-06-08 Thread Matthew Flatt
I like the current order of `take' because it's consistent with Racket's dominant convention. To the list of advantages, I would add "consistent with `take' in SRFI-1". It seems strange to make `take' less compatible with SRFI-1's `take' toward the end of making `take' be more compatible with SRFI

Re: [racket-dev] `regexp-match**'

2011-06-05 Thread Matthew Flatt
I don't get the 57+1 point, and I think it would make sense to extend `regexp-match*' with an `#:extract' argument (or some other keyword) whose value defaults to `car'. At Sat, 4 Jun 2011 17:08:16 -0400, Eli Barzilay wrote: > So the request to get subgroups from `regexp-match*' is not new, and >

Re: [racket-dev] Fixed bug that prevented from accessing ActiveX component that do not expose type information

2011-05-30 Thread Matthew Flatt
Thanks! I've applied your patch in the git repo. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] drracket internal error when playing with insert -> GUI

2011-05-26 Thread Matthew Flatt
At Thu, 26 May 2011 14:17:34 +0200, Marijn wrote: > I got the following internal error when playing with insert -> GUI: > > refresh method of pasteboard%: expects type <'no-caret, > 'show-inactive-caret, or 'show-caret> as 5th argument, given: '(0 . 1); > other arguments were: 0.0 0.0 104.0 125.0

Re: [racket-dev] drracket on linux, no middle-mouse-paste, no Replace

2011-05-24 Thread Matthew Flatt
At Tue, 24 May 2011 10:41:41 -0300, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn wrote: > > with version 5.1.1 of drracket running on linux, > > mouse-select/middle-mouse-paste isn't working. > > I can confirm that. > v5.1.1 compiled from source, Ubuntu 10.10. Fix pushed to th

Re: [racket-dev] scribble pdf

2011-05-24 Thread Matthew Flatt
At Mon, 23 May 2011 21:28:55 -0600, Jay McCarthy wrote: > Most of the time when I run scribble to get PDF output, I get something like: > [...] > > I'm guessing that it is because there is something like missing > cross-references or something? FWIW, missing cross-references should never create L

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
At Fri, 20 May 2011 14:25:54 -0700, John Clements wrote: > Perhaps this goes without saying, but I'm hoping that if internal > defines don't expand into letrec any more, that they expand into some > similar form that has syntactically obvious scoping; I like the fact > that the scope of letrec-decl

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
At Fri, 20 May 2011 16:39:23 -0400, Matthias Felleisen wrote: > 2. The semantics for internal defines would be more Algol like, meaning your > example would immediately behave like let and thus be fast. Ok, I see how that's a better way of saying what I agree with (i.e., what I think Robby sugge

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
At Fri, 20 May 2011 10:55:36 -0500, Robby Findler wrote: > Can we really change the semantics of letrec in such a fundamental way? Sure. :) But it's easier to not change `letrec', of course. _ For list-related administrative tasks: http://lists

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
At Fri, 20 May 2011 11:36:48 -0400, Matthias Felleisen wrote: > > On May 20, 2011, at 10:28 AM, Matthew Flatt wrote: > > > The second printout is "ready" because locations for all of the > > `letrec'-bound variables are allocated before the right-hand sid

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
At Fri, 20 May 2011 11:03:04 -0400, Sam Tobin-Hochstadt wrote: > On Fri, May 20, 2011 at 10:53 AM, Matthew Flatt wrote: > > I like the idea of adjusting the semantics of internal definitions and > > leaving `letrec' alone. > > While this seems like a nice change,

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
> expander avoid it in that case? (Or maybe just the second half of > that.) > > Robby > > On Fri, May 20, 2011 at 9:28 AM, Matthew Flatt wrote: > > If you run this program in Racket, > > > >  (let ([restart void]) > >   (letrec ([forward-

[racket-dev] `letrec' and continuations

2011-05-20 Thread Matthew Flatt
If you run this program in Racket, (let ([restart void]) (letrec ([forward-reference (lambda () maybe-ready)] ; affects compiler [dummy1 (let/cc k (set! restart k))] [dummy2 (displayln maybe-ready)] [maybe-ready 'ready]) (let ([rs restart]) (set!

Re: [racket-dev] crash in DrRacket 5.1.1

2011-05-19 Thread Matthew Flatt
I've pushed a fix to the git repo. Thanks for the report! At Thu, 19 May 2011 16:11:03 +0200, Pierpaolo Bernardi wrote: > Hello, > > attempting to compile the attached file crashes DrRacket. > > Banner: Welcome to DrRacket, version 5.1.1 [3m]. > Environment: windows XP 32 bit.

Re: [racket-dev] racket virtual machine out of memory error

2011-05-16 Thread Matthew Flatt
At Mon, 16 May 2011 14:19:05 -0400, Stephen Chang wrote: > > This question is somewhat vague but I've been able to replicate it > > pretty reliably so I'll ask anyways. I'm running redex-check for a > > long time and after about 6-8 hours, drracket crashes with a "racket > > out of virtual memory"

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-05-16 Thread Matthew Flatt
At Wed, 11 May 2011 10:25:57 -0300, David Bremner wrote: > On Tue, 10 May 2011 23:58:07 -0300, David Bremner wrote: > > > I don't claim to understand all the implications yet, but the following > > patch seems to work, i.e. catching both SIGSEGV and SIGBUS with the same > > handler. > > As a fol

Re: [racket-dev] syntax/stx vs racket/private/stx

2011-05-16 Thread Matthew Flatt
At Fri, 13 May 2011 17:38:41 -0400, Sam Tobin-Hochstadt wrote: > The `syntax/stx' and `racket/private/stx' libraries contain a bunch of > duplication. In particular, the following functions seem identical: > `stx-null?' `stx-list?' `stx->list' `stx-pair?' `stx-car' `stx-cdr'. > > Is there any rea

Re: [racket-dev] planet-version follies with old planet packages

2011-05-15 Thread Matthew Flatt
At Sat, 14 May 2011 20:58:53 -0700, John Clements wrote: > I've been having trouble with an older PLaneT package, and I've finally > narrowed it down to a problem with the change in version-numberings. > > Specifically, I install Jens Soegaard's gzip.plt package (which installs all > right), and

Re: [racket-dev] procedure _cprocedure*: expects 8 arguments, given 9: '(#) # #f #f #t #f #f #f #f

2011-05-14 Thread Matthew Flatt
The real `_cprocedure*' (which appears in the expansion of `_fun') has 9 arguments, so something is out of sync. Do you have a "collects/ffi/compiled/drracket" directory (which should not exist, but might have been created incorrectly)? At Sat, 14 May 2011 12:23:51 -0400, Matthias Felleisen wrote

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-05-09 Thread Matthew Flatt
At Mon, 9 May 2011 06:56:48 -0600, Matthew Flatt wrote: > Maybe someone decided that SIGSEGV is the right signal after all for an > mprotect() violation (which Rackets catches as a write barrier) instead > of SIGBUS. > > In "src/racket/gc2/sighand.c" around lin

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-05-09 Thread Matthew Flatt
; 70) #define USE_SIGACTON_SIGNAL_KIND SIGBUS # else #define USE_SIGACTON_SIGNAL_KIND SIGSEGV # endif try dropping the "defined(__FreeBSD__) &&". At Mon, 09 May 2011 09:09:18 -0300, David Bremner wrote: > On Fri, 29 Apr 2011 08:46:32 -0600, Matthew Flatt wrote: > > I

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Matthew Flatt
At Fri, 6 May 2011 11:51:08 -0400, Sam Tobin-Hochstadt wrote: > On Fri, May 6, 2011 at 11:42 AM, Matthew Flatt wrote: > > At Fri, 6 May 2011 10:13:33 -0400, Sam Tobin-Hochstadt wrote: > >> Is it possible to tell Scribble to use the documentation for one > >> bindin

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Matthew Flatt
At Fri, 6 May 2011 10:13:33 -0400, Sam Tobin-Hochstadt wrote: > Is it possible to tell Scribble to use the documentation for one > binding for another binding? For example, Typed Racket has a binding > for `for' which is semantically the same as `for' from `racket/base', > but wraps a trivial type

Re: [racket-dev] Parallel build switched to use Places by default.

2011-05-03 Thread Matthew Flatt
I think so, though it's possible that I've gotten lost in the different variants of the problem. At Tue, 3 May 2011 16:57:25 -0500, Robby Findler wrote: > Have you fixed the freezing problem I reported under windows? If not, > maybe we should re-disable it there (since I rarely get builds to > com

Re: [racket-dev] added function to srfi-19....

2011-05-03 Thread Matthew Flatt
I think it's a bad idea to extend the SRFI modules with new functions. Would it make sense to move functionality from SRFI-19 into `racket/date' and then add the new functions there (and maybe change the SRFI-19 implementation to re-export part of `racket/date')? At Tue, 3 May 2011 14:48:42 -0700

Re: [racket-dev] Final(?) draft for v5.1.1

2011-04-29 Thread Matthew Flatt
I couldn't resist an editing pass to give the bullets a more consistent style. Matthias: I re-wrote your universe bullet in an attempt to clarify that the universe API didn't change --- only the network protocol, if I understand correctly. Please check. R

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-04-29 Thread Matthew Flatt
I've pushed fixes for kFreeBSD, so let me know if you encounter further problems. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-04-28 Thread Matthew Flatt
I think I'm asking the wrong question. I should instead ask: What does the man page for fpsetmask() say should be #included? (The switch to #include was based on a FreeBSD man page.) At Thu, 28 Apr 2011 21:01:11 -0300, David Bremner wrote: > On Thu, 28 Apr 2011 09:07:28 -0600, Matth

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-04-28 Thread Matthew Flatt
At Thu, 28 Apr 2011 21:00:24 -0300, David Bremner wrote: > On Thu, 28 Apr 2011 07:00:46 -0600, Matthew Flatt wrote: > > > To make 3m work right, "src/racket/gc2/sighand.c" needs a > > __FreeBSD_kernel__ on line 128: > > > > #if defined(__FreeBSD__) || d

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-04-28 Thread Matthew Flatt
At Wed, 27 Apr 2011 21:42:05 -0300, David Bremner wrote: > --- a/src/racket/src/number.c > +++ b/src/racket/src/number.c > @@ -183,6 +183,8 @@ READ_ONLY Scheme_Object *scheme_single_inf_object, > *scheme_single_minus_inf_obje > > > #ifdef FREEBSD_CONTROL_387 > +#include > +#include > #incl

Re: [racket-dev] memory consumption (bug?) on Debian/kFreeBSD-i386

2011-04-28 Thread Matthew Flatt
a __FreeBSD_kernel__ on line 128: #if defined(__FreeBSD__) || defined(__FreeBSD_kernel__) || defined(__NetBSD__) || defined(__OpenBSD__) Does that avoid the bus error that you saw before? At Thu, 28 Apr 2011 07:47:52 -0300, David Bremner wrote: > On Wed, 27 Apr 2011 18:48:51 -060

<    4   5   6   7   8   9   10   11   12   >