[racket-dev] scribble tables with centered cells

2010-06-16 Thread Matthew Flatt
At Tue, 15 Jun 2010 11:01:24 -0400, Sam Tobin-Hochstadt wrote: I'd like to produce, with scribble, output similar to what this latex produces: \begin{tabular}{|c|c|c|} Header1 Header2 Header3 11 17 29 \end{tabular} However, I can't seem to figure out how. First, how can I make the

[racket-dev] update on reimplementing GRacket

2010-06-12 Thread Matthew Flatt
My last update was back in January: http://lists.racket-lang.org/dev/archive/2010-January/002045.html GRacket2 wasn't done by May, obviously. I still like to think that we could have something working within a few months, though. The Racket switch contributed to the delay, but eventspace

[racket-dev] update on reimplementing GRacket

2010-06-12 Thread Matthew Flatt
At Sat, 12 Jun 2010 21:43:09 -0400, Sam Tobin-Hochstadt wrote: First, do the difficulties you've had integrating eventspaces with modern toolkits suggest that perhaps eventspaces should be designed differently? Not as far as I can tell. The fundamental problem is being able to use some GUI

[racket-dev] update on reimplementing GRacket

2010-06-12 Thread Matthew Flatt
At Sat, 12 Jun 2010 22:06:06 -0400, Sam Tobin-Hochstadt wrote: On Sat, Jun 12, 2010 at 9:57 PM, Matthew Flatt mflatt at cs.utah.edu wrote: At Sat, 12 Jun 2010 21:43:09 -0400, Sam Tobin-Hochstadt wrote: First, do the difficulties you've had integrating eventspaces with modern toolkits

[racket-dev] exact 0 and floating point operations

2010-06-11 Thread Matthew Flatt
I think that `*', `/', `lcm', `expt, and `exp' are the only operations that produce an exact result when given some inexact arguments. The `exp' and `expt' cases were documented before, and I've clarified the rest in the docs. The docs now also note that `sin', `tan', `asin', and `atan' produce

[racket-dev] define-for-syntax optional/keyword arguments

2010-06-09 Thread Matthew Flatt
At Tue, 8 Jun 2010 12:23:54 -0500, Casey Klein wrote: `define-for-syntax' doesn't allow optional or keyword arguments, although the documentation suggests it should. I tried to fix this myself, but I'm getting a mysterious compile error. [...] collects/racket/private/kw.rkt:708:46: compile:

[racket-dev] web page text

2010-06-07 Thread Matthew Flatt
At Mon, 7 Jun 2010 14:57:56 -0400, Sam Tobin-Hochstadt wrote: Right now, the main Racket web page says just Racket is a programming language. Even though we didn't come to an agreement on great text to put there, I think just about anything would be better than that. What about just using the

[racket-dev] Memory grows without bound compiling tool-lib-extract.rkt

2010-06-03 Thread Matthew Flatt
At Thu, 3 Jun 2010 13:00:45 -0400, Eli Barzilay wrote: On Jun 3, Sam Tobin-Hochstadt wrote: A quick `git bisect' (a great tool, btw) suggests that commit ac69f11 caused the problem. That's unlikely to be the cause -- only exposing some other bug. Right. Although `bisect' correctly

Re: [plt-dev] Scribble Error

2010-06-01 Thread Matthew Flatt
This is a bug in the Planet packager. It's my fault, because I didn't update `planet create' after changing Scribble. I've pushed a repair. At Tue, 1 Jun 2010 11:19:05 -0600, Doug Williams wrote: Can someone point me to what might cause the following Scribble error in creating a planet package

Re: [plt-dev] Pre-Release Checklist for v5.0, second call

2010-05-29 Thread Matthew Flatt
At Fri, 28 May 2010 23:06:30 -0400, Eli Barzilay wrote: * Matthew Flatt mfl...@cs.utah.edu - GRacket Tests (Also check that `gracket -z' and `gracket-text' still works in Windows and Mac OS X) `grackect-text' now works right for Windows (in the current build

Re: [plt-dev] Java FFI?

2010-05-26 Thread Matthew Flatt
As far as I know, we don't already have any particular libraries or support for working with a JVM. At Tue, 25 May 2010 13:07:28 -0400, Shriram Krishnamurthi wrote: It's been a while since I've looked closely at our FFI docs, so maybe this question has a trivial answer, but I can't find it by

Re: [plt-dev] Inexact integers

2010-05-25 Thread Matthew Flatt
At Tue, 25 May 2010 09:46:56 -0400, Matthias Felleisen wrote: It is my understanding that the tower consumers a large amount of 'footprint' and I bet there are applications where machine integers are just enough. In the early days, MzScheme was a little interpreter bolted onto a numeric

Re: [plt-dev] Racket web page

2010-05-25 Thread Matthew Flatt
Very nice --- thanks! At Tue, 25 May 2010 13:29:15 -0400, Danny Yoo wrote: We'd like to have more 7-line programs for the middle slideshow, so please contribute. Three programs: ;; gets the unique lines, although not guaranteeing order: (let ([a-ht (for/fold ([a-ht #hash()])

Re: [plt-dev] Racket web page

2010-05-25 Thread Matthew Flatt
At Tue, 25 May 2010 13:29:15 -0400, Danny Yoo wrote: ;; gets the unique lines, although not guaranteeing order: (let ([a-ht (for/fold ([a-ht #hash()]) ([line (in-lines (current-input-port))]) (hash-set a-ht line #t))]) (for ([line (in-hash-keys

Re: [plt-dev] Racket web page

2010-05-25 Thread Matthew Flatt
At Tue, 25 May 2010 22:39:34 -0400, Carl Eastlund wrote: #lang racket ;; A dice-rolling command-line utility (require racket/cmdline) (command-line #:args (dice sides) (for ([i (in-range (string-number dice))]) (displayln (+ 1 (random (string-number sides)) This version puts

Re: [plt-dev] Racket web page

2010-05-24 Thread Matthew Flatt
This is a great example. Unfortunately, I don't think works to fit into 7 lines by using so many columns. Here's my attempt to squeeze it into 7 narrow lines, but it loses a lot, and it's still too wide to fit in the current format: #lang racket (require net/url net/uri-codec) (let* ([url

Re: [plt-dev] Racket web page

2010-05-24 Thread Matthew Flatt
a macro? Is there a threads example? Stephen On Monday, May 24, 2010, Noel Welsh noelwe...@gmail.com wrote: I couldn't get it any smaller. Perhaps we can have scrolling? N. On Mon, May 24, 2010 at 3:45 PM, Matthew Flatt mfl...@cs.utah.edu wrote: This is a great example

Re: [plt-dev] is there some reason that port-lines et al. don't close input port?

2010-05-24 Thread Matthew Flatt
At Mon, 24 May 2010 11:12:56 -0700, John Clements wrote: Is there a good reason why port-lines doesn't close the input port? An eof-of-file doesn't necessarily mean an end-of-stream, and error handling usually requires extra effort to close a port, which is why we usually use functions like

Re: [plt-dev] MzCOM triggers error in salloc.c

2010-05-23 Thread Matthew Flatt
I forgot to update MzCOM for a new requirement (to support futures) on embedding MzScheme into a Windows executable. I'll try this myself, but if you get to it first, try adding static __declspec(thread) void *tls_space; to the MzCOM executable, and then put

[plt-dev] Racket web page

2010-05-21 Thread Matthew Flatt
A few of us (Robby, Jay, Matthias, Eli, and I) have been working on the Racket web page. Here's what we've come up with, so far: http://www.cs.utah.edu/~mflatt/tmp/r/www/ Besides a different look, the main goal is to explain better what Racket is and why Racket is different. We'd like to have

Re: [plt-dev] Installing to non-default directories with plt-r6rs --install

2010-05-21 Thread Matthew Flatt
This seems like a fine change. A documentation patch would be great. At Thu, 20 May 2010 23:21:19 +0200, Andreas Rottmann wrote: Hi! I would like to be able to install into arbitrary directories with plt-r6rs --install. Attached is a proposed patch that adds this feature, adding a

Re: [plt-dev] One e-mail per commit?

2010-05-17 Thread Matthew Flatt
That would work fine for me, as long as the change happens only after Racket is out. At Mon, 17 May 2010 14:37:37 +0200, Michael Sperber wrote: Eli and I have had a private conversation on this for a while - he has asked me to make my thoughts public: Currently, the per-push notification

Re: [plt-dev] Re: [plt-bug] all/10895: quasiquote printing is buggy, confusing

2010-05-10 Thread Matthew Flatt
At Mon, 10 May 2010 12:22:24 -0400, Sam Tobin-Hochstadt wrote: On Thu, May 6, 2010 at 12:35 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a partial implementation; the documentation is not yet updated, and the Scribble value printer isn't yet converted. This is mostly very nice

Re: [plt-dev] Re: [plt-bug] all/10895: quasiquote printing is buggy, confusing

2010-05-10 Thread Matthew Flatt
At Mon, 10 May 2010 13:46:52 -0400, Sam Tobin-Hochstadt wrote: On Mon, May 10, 2010 at 12:44 PM, Matthew Flatt mfl...@cs.utah.edu wrote:  It seems there should be a way to make custom structs print as if they should be quoted, but that shouldn't be the default. I'm not sure about

[plt-dev] Racket: what's left to do?

2010-05-09 Thread Matthew Flatt
It looks to me like the Racket conversion is nearly complete. The only thing that I see left is Typed Scheme: a `typed/racket' language and docs that say Typed Racket. What else? _ For list-related administrative tasks:

Re: [plt-dev] Re: [plt-bug] all/10895: quasiquote printing is buggy, confusing

2010-05-06 Thread Matthew Flatt
, and hash tables without a quote; I made the printer include the quote, anyway, because it felt more consistent. Booleans, numbers, characters, strings, byte strings, and regexps print without a quote, though. At Wed, 5 May 2010 19:56:32 -0600, Matthew Flatt wrote: At Wed, 5 May 2010 12:55:47 -0500

Re: [plt-dev] Re: [plt-bug] all/10895: quasiquote printing is buggy, confusing

2010-05-05 Thread Matthew Flatt
At Wed, 5 May 2010 12:55:47 -0500, Robby Findler wrote: On Wed, May 5, 2010 at 12:48 PM, Carl Eastlund c...@ccs.neu.edu wrote: Perhaps our printer should use constructor-style printing until it gets down to a quotable datum, at which point it can use regular quote?  Then s-expressions print

[plt-dev] three more little `scheme' vs. `racket' differences

2010-05-01 Thread Matthew Flatt
The `pretty-print' function used to act like `write'. Now it acts like `print' --- as adjusted by `print-as-quasiquote' --- so `racket/pretty' provides `pretty-write'. Meanwhile, `scheme/pretty' now exports `pretty-write' as `pretty-print' to improve backward compatibility. Along similar lines,

[plt-dev] compiler/cm and .dep changes

2010-04-30 Thread Matthew Flatt
The compilation manager --- as implemented by `compiler/cm' and used by tools such as `raco make', `raco setup', and DrRacket --- previously based its decision to recompile a file using only timestamps. It now uses SHA-1 hashes to reduce recompilation when timestamps change but source-file content

Re: [plt-dev] .mzschemerc = .racketrc and more

2010-04-28 Thread Matthew Flatt
At Mon, 26 Apr 2010 17:40:45 -0400, Sam Tobin-Hochstadt wrote: On Mon, Apr 26, 2010 at 5:34 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: I'm not sure about rc files, but I think Dr{Scheme,Racket} should detect the situation plt-prefs.ss but no racket-prefs and offer to migrate them. That

Re: [plt-dev] .mzschemerc = .racketrc and more

2010-04-27 Thread Matthew Flatt
At Mon, 26 Apr 2010 20:30:15 -0400, Guillaume Marceau wrote: On Mon, Apr 26, 2010 at 5:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote: How about using a different suffix for data in S-expression form such as the prefs files. I interpret an .rkt suffix as indicating an executable program

Re: [plt-dev] re-ordering raco setup operations?

2010-04-27 Thread Matthew Flatt
Done. I don't think there's any issue with the `make install' versus `raco setup' ordering. The `raco setup' step should be the last one for installation --- unless you're installing with DESTDIR, in which case you're not planning to running right away. At Tue, 27 Apr 2010 17:20:53 -0600, Jay

[plt-dev] .mzschemerc = .racketrc and more

2010-04-26 Thread Matthew Flatt
Just pushed: old new notes --- ---- .mzschemerc .racketrceven `mzscheme' uses .racketrc .mredrc .gracketrc even `mred' uses .gracketrc ~/.plt-scheme ~/.racketUnix

[plt-dev] `struct' and `define-struct'

2010-04-25 Thread Matthew Flatt
Updating documentation has forced me to think a lot more about `struct', `define-struct', and the transition path for `scheme' to `racket', and so I've made some changes: * `define-struct' (as provided by both `scheme/base' and `racket/base') binds the type name as a constructor in addition

Re: [plt-dev] naming poll

2010-04-24 Thread Matthew Flatt
At Fri, 23 Apr 2010 11:11:09 -0600, Matthew Flatt wrote: I prefer as much as anyone to just decide and move on. Maybe this particular decision doesn't work that way, though. It seems that we have to make a guess together, then try it out, then guess again based on how well the previous one

Re: [plt-dev] drracket

2010-04-24 Thread Matthew Flatt
At Sat, 24 Apr 2010 12:23:42 -0400, Matthias Felleisen wrote: 2. drracket spits out these at the console Sat Apr 24 12:22:39 africa.local DrRacket[15095] Error: kCGErrorIllegalArgument: _CGSFindSharedWindow: WID 3287 Sat Apr 24 12:22:39 africa.local DrRacket[15095] Error:

Re: [plt-dev] renaming programs in the distribution

2010-04-21 Thread Matthew Flatt
for me, but after aliasing `rt' to `racket-tool' (and `r' to `racket') in my shell, I expect to be completely happy with 1B. At Tue, 20 Apr 2010 10:38:49 -0600, Matthew Flatt wrote: Here are the plausible options we came up with on the IRC channel: 1: Keep `racket' plus a separate command tool

Re: [plt-dev] renaming programs in the distribution

2010-04-21 Thread Matthew Flatt
At Wed, 21 Apr 2010 08:50:49 -0400, Carl Eastlund wrote: On Wed, Apr 21, 2010 at 8:43 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The name `racket-tool' is too long for me, [...] We could always go with the long-standing tradition of langc for compilers and call it racketc. I don't think

[plt-dev] Re: renaming programs in the distribution

2010-04-21 Thread Matthew Flatt
has Racket in its name. At Wed, 21 Apr 2010 08:41:54 -0500, Robby Findler wrote: Does this also imply that you advocate racket-tool scribble over just scribble (and similarly for slideshow? Drracket?) Robby On Wednesday, April 21, 2010, Matthew Flatt mfl...@cs.utah.edu wrote: Since the vote

[plt-dev] Re: renaming programs in the distribution

2010-04-21 Thread Matthew Flatt
At Wed, 21 Apr 2010 08:57:58 -0500, Robby Findler wrote: Is there a variation on 2 that would make you happy? Something where we have 'rico' be named 'racket' add a 'racket repl' command and then give the ugly name to something that I don't have to type very often? That sounds like option 2,

Re: [plt-dev] renaming programs in the distribution

2010-04-20 Thread Matthew Flatt
At Tue, 20 Apr 2010 01:27:18 -0600, Matthew Flatt wrote: If you run racket command where command doesn't have a /, \, or . in it, then it's a command dispatch. Any other use of `racket' could be like the current `racket' command line. [Yes, weird and ugly. It's the sort of ad

Re: [plt-dev] renaming programs in the distribution

2010-04-20 Thread Matthew Flatt
Here are the plausible options we came up with on the IRC channel: 1: Keep `racket' plus a separate command tool 1A: Keep `rico' as the command tool (i.e., status quo) 1B: Rename `rico' to `racket-tool' 2: Rename `racket' to `racket-run', rename `rico' to `racket', add a `racket run'

Re: [plt-dev] renaming programs in the distribution

2010-04-20 Thread Matthew Flatt
At Tue, 20 Apr 2010 13:25:39 -0400, Carl Eastlund wrote: Version 3 is troublesome. It gives a short name to encourage people to run racket file so they don't have to do long stuff... but then punishes them if they use that to build a script and ever have a file with a similar name to a

Re: [plt-dev] Mac OS X audio creates new threads, how to call scheme code?

2010-04-20 Thread Matthew Flatt
You should set up an evt through the C API using scheme_add_evt(), where the evt's polling function checks something to be set by the MIDI callback. In addition, the MIDI callback should call scheme_signal_received() (ok to call from any OS-level thread or signal handler) to ensure that the evt's

Re: [plt-dev] collection not found: #path:racket/private/lang

2010-04-20 Thread Matthew Flatt
I forgot to try building from scratch after moving files around, and I think this is now fixed. At Tue, 20 Apr 2010 22:23:42 -0400, Philippe Meunier wrote: I just cloned the plt tree and get the following error when trying to build the thing: [...] Compiling xform support...

Re: [plt-dev] renaming programs in the distribution

2010-04-19 Thread Matthew Flatt
Similar to the way that `rico docs' serves the role of `plt-help', we could have `rico games' replace `plt-games'. For GUI launchers for docs and games under Windows and Mac OS X, I suggest `Rico Docs' and `Rico Games'. It's ok to have spaces in GUI-app names, and then the documentation can refer

Re: [plt-dev] Check syntax

2010-04-19 Thread Matthew Flatt
Should the absence of a `#lang' line be treated like `#lang racket'? That's what `racket' does. (Actually, `racket' treats it like `#lang scheme' at the moment, but that should change.) At Mon, 19 Apr 2010 12:06:52 -0500, Robby Findler wrote: Oh, good point. For the moment, you have to use

Re: [plt-dev] renaming programs in the distribution

2010-04-19 Thread Matthew Flatt
At Mon, 19 Apr 2010 11:45:27 -0400, Carl Eastlund wrote: On Mon, Apr 19, 2010 at 11:35 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Similar to the way that `rico docs' serves the role of `plt-help', we could have `rico games' replace `plt-games'. For GUI launchers for docs and games under

[plt-dev] racket gracket now the main executables

2010-04-15 Thread Matthew Flatt
If you build your own installation, `make' now creates binaries named `racket' and `gracket' instead of `mzscheme' and `mred'. When you install, `mzscheme' and `mred' executables are created. If you build over an existing installation, you may have to clear out your plt/bin directory and/or

[plt-dev] struct

2010-04-11 Thread Matthew Flatt
In SVN, I've made `struct' the name of the form in the `racket' language that is like `define-struct', except that it binds a constructor name without `make-' (by default) and a supertype is specified after the type name without a set of parentheses. I don't think we reached consensus on

Re: [plt-dev] DrScheme v4.2.5 won't load Dracula

2010-04-11 Thread Matthew Flatt
This sounds like the bug fixed in 18744. That bug was, unfortunately, introduced late in the 4.2.4.900 process while finally fixing the problem that caused DrScheme to sometimes report an undefined-variable error on startup. Call it a problem in reaching a fixed point during release testing, or

Re: [plt-dev] compiler error messages

2010-04-08 Thread Matthew Flatt
Which SVN revision? For much of yesterday, it turns out that doc building was disabled in `setup-plt'. I think it became disabled in 18741, and it was re-enabled in 18758 (assuming that I correctly re-enabled it). At Thu, 8 Apr 2010 10:19:39 -0400, Matthias Felleisen wrote: Why do I get these

Re: [plt-dev] some Racket proposals implementation

2010-04-06 Thread Matthew Flatt
At Tue, 6 Apr 2010 12:37:34 -0400, Sam Tobin-Hochstadt wrote: On Sat, Apr 3, 2010 at 7:58 AM, Matthew Flatt mfl...@cs.utah.edu wrote: But what's the best way to extend the static struct info API? Instead of binding a type name (which is also the constructor name) to a `struct-info' structure

Re: [plt-dev] some Racket proposals implementation

2010-04-06 Thread Matthew Flatt
The current `define-struct' is among very few `define-' forms that binds names not mentioned directly in the form. In that sense, it's more like `require' or `open-package', so that's why `struct' seems like a sensible name to me. In the list below, I think `define-values/invoke-unit' is the only

Re: [plt-dev] some Racket proposals implementation

2010-04-06 Thread Matthew Flatt
At Tue, 6 Apr 2010 14:12:35 -0400, Carl Eastlund wrote: Can we inspect all ! names in our base and consider deleting the ! part? Can we inspect all % names in our base and consider deleting the % part? Can we... yeah, yeah. My point is, naming conventions can be important, let's not abandon

Re: [plt-dev] some Racket proposals implementation

2010-04-05 Thread Matthew Flatt
At Mon, 5 Apr 2010 10:31:42 -0400, Sam Tobin-Hochstadt wrote: On Mon, Apr 5, 2010 at 10:21 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I dislike this change. Brainfuck is very lightweight language too (by the measures of lightweightness I've seen here recently), lets not forget.

Re: [plt-dev] some Racket proposals implementation

2010-04-03 Thread Matthew Flatt
At Sat, 3 Apr 2010 06:31:58 -0400, Sam Tobin-Hochstadt wrote: 1. match expander 2. constructor 3. struct type info Both 1 and 3 are static values so they'll conflict with each other. The solution here is for one or both of these to be a struct property, rather than a struct, so that

Re: [plt-dev] some Racket proposals implementation

2010-04-03 Thread Matthew Flatt
At Sat, 3 Apr 2010 06:31:58 -0400, Sam Tobin-Hochstadt wrote: I think that it's struct type info that needs to be the property, `prop:struct-info' added in SVN. _ For list-related administrative tasks:

Re: [plt-dev] some Racket proposals implementation

2010-04-03 Thread Matthew Flatt
At Sat, 3 Apr 2010 18:16:47 -0400, Matthias Felleisen wrote: Guys, when Matthew was here we discussed the balance of changes and name changes, and I think all of us agreed that some change is good but easy migration must be the overriding goal. Keep this in mind please Yes. I like

Re: [plt-dev] some Racket proposals implementation

2010-04-03 Thread Matthew Flatt
At Sat, 3 Apr 2010 15:23:36 -0600, Jay McCarthy wrote: Would we want to use this as the default define-struct in #lang racket? Or should I put this in unstable or on planet? The `racket' language should probably have the same `define-struct' as in `racket/base' --- and one thing to keep in

Re: [plt-dev] some Racket proposals implementation

2010-04-03 Thread Matthew Flatt
At Sat, 3 Apr 2010 18:30:57 -0600, Robby Findler wrote: Does it make sense to give this revision to define-struct a different name and keep the same old define-struct around from scheme/base? Lots of other forms and procedures have `struct' in the name, so if we just change `struct' to

[plt-dev] some Racket proposals implementation

2010-04-02 Thread Matthew Flatt
Version 4.2.5.5 in the SVN trunk includes experimental features to support the following proposed Racket features. You can try the proposals with `#lang racket' in MzScheme. Structure Constructor Names --- Proposal: The default constructor name bound by `define-struct' in

Re: [plt-dev] some Racket proposals implementation

2010-04-02 Thread Matthew Flatt
At Fri, 02 Apr 2010 16:00:08 -0600, Jon Rafkind wrote: Language-Specific Run-Time Configuration Proposal: The main language of a program should determine a run-time configuration, including the style for printing values. ... The different

Re: [plt-dev] some Racket proposals implementation

2010-04-02 Thread Matthew Flatt
at 3:30 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Version 4.2.5.5 in the SVN trunk includes experimental features to support the following proposed Racket features. You can try the proposals with `#lang racket' in MzScheme. Structure Constructor Names

Re: [plt-dev] Release Announcement for v4.2.5

2010-04-01 Thread Matthew Flatt
At Thu, 01 Apr 2010 04:56:35 -0400, Eli Barzilay wrote: Matthew: - Futures are on by default - wrap each top-level form in a module with a prompt (if visible enough) - basic set library - things from r18375, if visible enough - scribble/jfp Only futures deserve a bullet I

Re: [plt-dev] Build error in r18681

2010-03-30 Thread Matthew Flatt
At Tue, 30 Mar 2010 17:01:05 -0500, Casey Klein wrote: I get the following error with a clean Linux build of r18681. Does it work if you manually include the -pthread flag in CFLAGS when configuring?: env CFLAGS=-pthread configure _ For

Re: [plt-dev] macro error messages

2010-03-29 Thread Matthew Flatt
At Mon, 29 Mar 2010 15:06:00 -0600, Jon Rafkind wrote: Can these error messages be reviewed as well? On 03/26/2010 03:55 PM, Jon Rafkind wrote: Can this error message illegal use of syntax be changed to illegal application of a transformer. transformers must be functions

Re: [plt-dev] syntax-case error messages

2010-03-29 Thread Matthew Flatt
At Mon, 29 Mar 2010 18:58:34 -0400, Matthias Felleisen wrote: On Mar 29, 2010, at 6:36 PM, Robby Findler wrote: By thisine of reasoning a scheme imlementation that didn't have contracts should change car-of-null error message to say a function had an error which seems wrong to me.

Re: [plt-dev] Re: Pre-Release Checklist for v4.2.5

2010-03-25 Thread Matthew Flatt
Fixed in SVN. Thanks for the small example! At Thu, 25 Mar 2010 11:40:51 -0600, Jay McCarthy wrote: The error was caused by Matthew's R18479. The comment is: adjust inlining heuristics again Jay On Thu, Mar 25, 2010 at 11:38 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Actually I do

Re: [plt-dev] reader

2010-03-23 Thread Matthew Flatt
At Tue, 23 Mar 2010 17:13:42 -0400, Matthias Felleisen wrote: Save the program below As foo.ss, I assume... and run. See surprising error message. Change language to #lang scheme and see same surprising error message. Why? When you call `read', you generally don't expect arbitrary code to

Re: [plt-dev] make eval namespace argument mandatory

2010-03-17 Thread Matthew Flatt
At Wed, 17 Mar 2010 16:56:16 -0500, Robby Findler wrote: I believe the plan is to make #lang racket a synonym for #lang scheme, and I think that this is wise, so we can quickly port things. Yes, that has been the plan. Then again, some of us talked about the alternative when I visited NEU. For

Re: [plt-dev] building Dr on Sparc Linux

2010-03-02 Thread Matthew Flatt
Fixed in SVN. At Mon, 1 Mar 2010 17:06:03 -0800, John Clements wrote: I'm trying to build DrScheme on Sparc Debian. It looks like the Boehm GC is not supported here, so I used configure --enable-sgc The build fails here: g++ -DMZ_PRECISE_GC -I../../../mred/gc2/../../mzscheme/gc2/

Re: [plt-dev] set-empty? undocumented?

2010-02-26 Thread Matthew Flatt
At Fri, 26 Feb 2010 13:51:42 -0800, John Clements wrote: I see that set-empty? is present, but not present in my version of the docs. I'd be happy to document it if required. Yes, please fix the docs. _ For list-related administrative tasks:

Re: [plt-dev] scheme/set

2010-02-23 Thread Matthew Flatt
At Mon, 22 Feb 2010 20:39:54 -0500, Carl Eastlund wrote: I appreciate the addition of sets to PLT datatypes, but the implementation just added to the trunk is very specific to immutable, hash table-based sets. In the spirit of scheme/dict, which allows for a variety of more interesting

Re: [plt-dev] scheme/set

2010-02-23 Thread Matthew Flatt
Tobin-Hochstadt wrote: On Tue, Feb 23, 2010 at 8:35 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 22 Feb 2010 20:39:54 -0500, Carl Eastlund wrote: I appreciate the addition of sets to PLT datatypes, but the implementation just added to the trunk is very specific to immutable, hash table

Re: [plt-dev] Apply/List vs Call-with-values/vector-values

2010-02-22 Thread Matthew Flatt
The second is faster because an intermediate list requires more allocation than an intermediate array of values. (The `call-with-values' expression is compiled to an internal `apply-values' form, so no closure is allocated in that case. Also, `make-prefab-struct' receives its arguments in an

Re: [plt-dev] regexp equality

2010-02-19 Thread Matthew Flatt
At Fri, 19 Feb 2010 11:20:25 -0700, Jay McCarthy wrote: How do I test regexps for equality? (equal? #rx #rx) #f You can use `object-name' to extract the string. _ For list-related administrative tasks:

Re: [plt-dev] Exponential expansion

2010-02-16 Thread Matthew Flatt
Yes, it's roughly quadratic, since each discovered internal `define' adds an item to an environment represented as a linked list (and recognizing the next `define' means walking through the environment to check for shadowing bindings). I'll try to improve it. At Sun, 14 Feb 2010 19:41:21 -0500,

[plt-dev] `rico' and .rkt

2010-02-15 Thread Matthew Flatt
More Racket plans for discussion: * Some of us have discussed collapsing `setup-plt', `mzc', `planet', `plt-help' and (in case I've overlooked any) other miscellaneous programming tools into a single `rico' executable. The `rico' program will take a command name, similar to `svn' and

Re: [plt-dev] `rico' and .rkt

2010-02-15 Thread Matthew Flatt
[Just responding to bullets where I have particular opinions:] At Mon, 15 Feb 2010 12:13:46 -0500, Neil Van Dyke wrote: * I'm ambivalent about having a monolithic racket or rico command. A small downside is that monolitic does feel more like a closed platform. A small upside is that it

Re: [plt-dev] Cygwin 1.7.1-1 build question: undefined reference to `_scheme_add_namespace_option'

2010-02-14 Thread Matthew Flatt
This should be fixed, now. The obsolete namespace-option support has been only partially removed. At Sun, 14 Feb 2010 08:13:58 -0600, Grant Rettke wrote: Hi, Building trunk on Cygwin 1.7.1-1 on Windows XP, the build errors out here: snip make mzschemecgc make[3]: Entering directory

[plt-dev] Racket

2010-02-14 Thread Matthew Flatt
We don't want to make much noise with this announcement --- not yet, at least. The core developers of PLT Scheme have agreed to change the name of the language. See http://www.plt-racket.org/new-name.html You will soon see a new branch in the SVN repository and other activity for the name

Re: [plt-dev] i hate the new language dialog

2010-02-01 Thread Matthew Flatt
At Mon, 1 Feb 2010 10:25:00 -0600, Robby Findler wrote: There is some feature in the OS that lets you move around between radio buttons with the keyboard. Matthew uses it under mac os x, so maybe he can tell you more. Ctl-F7 to enable. There's also a checkbox in the system preferences. But it

Re: [plt-dev] #lang: the stake in Dracula's heart?

2010-02-01 Thread Matthew Flatt
At Mon, 1 Feb 2010 11:57:31 -0600, Robby Findler wrote: One other possibility is to use a file extension. I don't like depending on extensions, but it's the one general way that systems offer to designate a file type. We could treat file extensions in a similar way to `#lang' declarations.

Re: [plt-dev] new language dialog, iii

2010-01-30 Thread Matthew Flatt
At Sat, 30 Jan 2010 18:28:48 -0500, Eli Barzilay wrote: In any case, perhaps it's best to have some skip whitespace and comments function from mzscheme to deal with this situation. Matthew: is this difficult to get? It's awkward. How about having `read-language' (or a variant?) somehow

Re: [plt-dev] Re: Fine-tuning performance

2010-01-29 Thread Matthew Flatt
(Thanks for the alert about my mail!) On Fri, Jan 29, 2010 at 12:27 PM, Carl Eastlund c...@ccs.neu.edu wrote: One, there are some functions that I memoize with a weak hash table. Are there any sorts of values that will never be collected, and will persist forever in the hash table?  For

Re: [plt-dev] language dialog, some minor changes bugfixes

2010-01-29 Thread Matthew Flatt
What if the default where --- #lang |click me to pick a language| --- ? An experienced user could delete the box and type scheme or typed-scheme or whatever. A student could click the box and get a list of popular choices,

[plt-dev] update on reimplementing MrEd

2010-01-28 Thread Matthew Flatt
At Fri, 30 Oct 2009 15:17:31 -0600, Matthew Flatt wrote: I can imagine releasing Phase 2 sometime early next year. That is, we'd throw out all the C++ code for drawing that's in MrEd, and we'd instead use Scheme+FFI code that draws via Cairo+Pango. (A canvas window would still be implemented

Re: [plt-dev] Pre-Release Checklist for v4.2.4

2010-01-24 Thread Matthew Flatt
At Sat, 23 Jan 2010 15:52:23 -0700, Matthew Flatt wrote: At Thu, 21 Jan 2010 20:07:50 -0500, Eli Barzilay wrote: - mzc Tests Failed. I've committed a repair, so I need to check again after the next build. Done. _ For list-related

Re: [plt-dev] Release Announcement for v4.2.4

2010-01-24 Thread Matthew Flatt
At Sun, 24 Jan 2010 19:26:09 -0500, Eli Barzilay wrote: * [Matthew] scheme/fixnum, scheme/flonum, flvectors * [Matthew] Unsafe stuff (make it's ready to describe now?) * The `scheme/flonum' and `scheme/fixnum' libraries provide flonum- and fixnum-specific operations. In the case of

Re: [plt-dev] (fail) Re: Pre-Release Checklist for v4.2.4

2010-01-23 Thread Matthew Flatt
The change was that expansion lifts certificates to the top of the expanded form (i.e., a change to 'expand'). On Jan 23, 2010, at 11:48 AM, John Clements cleme...@brinckerhoff.org wrote: On Jan 21, 2010, at 5:07 PM, Eli Barzilay wrote: Checklist items for the v4.2.4 release (using

Re: [plt-dev] phase for unbound identifiers

2010-01-23 Thread Matthew Flatt
I committed a variant of this that is probably closer to your earlier version. There's no point specializing the message to phase -1, because no expression is compiled in that phase. Also, as you suggested before, I prefer leaving out phase 0, since that makes the message simpler for the common

Re: [plt-dev] Pre-Release Checklist for v4.2.4

2010-01-23 Thread Matthew Flatt
At Thu, 21 Jan 2010 20:07:50 -0500, Eli Barzilay wrote: * Matthew Flatt mfl...@cs.utah.edu - MzScheme Tests - Languages Tests - MrEd Tests (Also check that `mred -z' and `mred-text' still works in Windows and Mac OS X) - mzc --exe tests - .plt-packing Tests - Games Tests

Re: [plt-dev] Strange error message from the compiler

2010-01-13 Thread Matthew Flatt
-acl2 (Builds the two packages via setup-plt; skips other packages and all documentation.) I don't think this process pulls in other planet packages, but it might. It's not a small test case but hopefully it suffices. --Carl On Wed, Jan 13, 2010 at 12:38 PM, Matthew Flatt mfl

Re: [plt-dev] MzScheme port on Windows x86_64: a report.

2010-01-12 Thread Matthew Flatt
At Tue, 12 Jan 2010 11:50:00 +0100, Gabriel Cuvillier wrote: Section(modprot) ERROR: UNKNOWN::291: read (compiled): ill-formed code [..\..\mzscheme\src\read.c:5522] = This is good, but something seems to be problematic with reading compiled code. Is it because the JIT is deactivated? No,

Re: [plt-dev] MzScheme port on Windows x86_64: a report.

2010-01-11 Thread Matthew Flatt
I'm impressed that you got it working, and I'd appreciate patches for what you have so far. To test, run plt/collects/tests/mzscheme/quiet.ss Yes, the JIT problem is surely LP64 vs. LLP64; the JIT generates 64-bit operations for data structures that contain `long's. I think we'll eventually

Re: [plt-dev] certificates, #%module-begin, and typed-scheme's soundness

2009-12-30 Thread Matthew Flatt
At Thu, 17 Dec 2009 10:54:58 -0700, Matthew Flatt wrote: The example below is independent of Typed Scheme. The problem is that a macro introduces `f' by itself. As soon as that macro returns, the identifier `f' is certified to stand alone. The result seems wrong, particularly since

Re: [plt-dev] Async channels and GC

2009-12-20 Thread Matthew Flatt
That was a leak. The implementation of `scheme/async-channel' uses `thread-resume', which created a strong link from its first argument to its second argument. The link should be weak if the thread is blocked in some way other than being explicitly suspended. The bug fixed is now fix in SVN.

Re: [plt-dev] flvector

2009-12-18 Thread Matthew Flatt
I finally saw the DrScheme-loading error, and it's now fixed. At Fri, 18 Dec 2009 10:15:57 -0700, Matthew Flatt wrote: I don't yet see this on my machine, but I'm investigating. At Fri, 18 Dec 2009 12:00:45 -0500, Sam TH wrote: This commit seems to break a bunch of things. For example

Re: [plt-dev] Segfault building r17352

2009-12-18 Thread Matthew Flatt
Can you send me the Crash Reporter log? At Fri, 18 Dec 2009 14:05:50 -0500, Carl Eastlund wrote: This on PPC Mac: env XFORM_USE_PRECOMP=xsrc/precomp.h ../mzschemecgc -cqu ../../../mzscheme/gc2/xform.ss --setup . --cpp gcc -E -I./.. -I../../../mzscheme/gc2/../include -DOS_X

  1   2   3   >