Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread Neil Toronto
02:25 PM, J. Ian Johnson wrote: How do you determine the difference between the two vector types is the question... -Ian - Original Message - From: Neil Toronto neil.toro...@gmail.com To: dev@racket-lang.org dev@racket-lang.org Sent: Monday, August 6, 2012 4:12:53 PM GMT -05:00 US/Canada

Re: [racket-dev] Plot Contour Intervals Question (Bug?)

2012-08-04 Thread Neil Toronto
On 08/03/2012 11:59 AM, Doug Williams wrote: Here is a simple contour-interval example that I don't understand. [We are changing out some uses of shade in older code when I came across something I simplified to this.] Consider the following simple program. (require plot) (plot

Re: [racket-dev] Plot Contour Intervals Question (Bug?)

2012-08-04 Thread Neil Toronto
On 08/03/2012 11:59 AM, Doug Williams wrote: (require plot) (plot (contour-intervals (lambda (x y) (define z (- x y)) (cond (( z -1) -1) (( z 1) 1) (else z))) -2 2 -2 2)) ... Why is the lower white triangle not colored red -

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Neil Toronto
On 08/01/2012 05:34 AM, Ryan Culpepper wrote: * The API for fast floating-point bitmaps (flomaps) supports image processing operations, including pointwise arithmetic, gradients, blur, resizing with correct downsampling, arbitrary spatial transformations, and pict-like combiners. This

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Neil Toronto
for fast floating-point bitmaps (flomaps) supports image processing operations. It is written in Typed Racket, so Typed Racket code may use it without the cost of contract checks. ? Robby On Wed, Aug 1, 2012 at 11:05 AM, Neil Toronto neil.toro...@gmail.com wrote: On 08/01/2012 05:34 AM

Re: [racket-dev] A Const type constructor

2012-07-31 Thread Neil Toronto
On 07/25/2012 07:10 PM, D Herring wrote: On 07/25/2012 12:29 PM, Neil Toronto wrote: What if TR had a notion of const-ness, like in C? Suppose (Vectorof A) is a subtype of (Const-Vectorof B) when A is a subtype of B, and (Const-Vectorof A) is never a subtype of (Vectorof B). In C, const

Re: [racket-dev] raco make cannot marshal value error

2012-07-29 Thread Neil Toronto
Maybe it would be good to have official support for safe 3D values. I realized after I wrote the `images/compile-time' module that it was just a special case. It could be extended to handle anything serializable. Having to serialize values at expansion time and unserialize them at runtime

Re: [racket-dev] A Const type constructor

2012-07-25 Thread Neil Toronto
On 07/25/2012 10:26 AM, Sam Tobin-Hochstadt wrote: On Wed, Jul 25, 2012 at 9:29 AM, Neil Toronto neil.toro...@gmail.com wrote: After thinking about it, I don't want an Immutable-Vector type, for which v : Immutable-Vector proves (immutable? v) is #t. That would be seriously annoying to users

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

2012-07-25 Thread Neil Toronto
On 07/25/2012 10:26 AM, Ryan Culpepper wrote: neil: - image, flomaps changes? - resizable plot snips (3ed1a787) The Typed Racket API for fast floating-point bitmaps (flomaps) is now public. Image processing operations include pointwise arithmetic, gradients, blur, resizing with correct

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

2012-07-25 Thread Neil Toronto
On 07/24/2012 08:03 AM, Ryan Culpepper wrote: * Neil Toronto neil.toro...@gmail.com - Plot Tests Done. Can you also add the following to future checklists? - Images tests - Inspect icons I've just done these, too. Sorry about replying late. I'm on a 1/2-to-3/4-time-ish vacation

Re: [racket-dev] Best way to handle duplicate identifiers

2012-07-25 Thread Neil Toronto
On 07/25/2012 01:50 PM, Robby Findler wrote: I think you're best off to release a new version of the science collection and make it require 5.3 as the minimum version (one that differs from the currently released one only by sorting out this conflict). I'm not sure which version of nan? and

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

2012-07-11 Thread Neil Toronto
Excellent! On 07/11/2012 09:25 AM, stamo...@racket-lang.org wrote: 84feb38 Vincent St-Amour stamo...@racket-lang.org 2011-10-11 14:26 : | Enable performance report no matter the language. : M collects/typed-racket/optimizer/tool/tool.rkt | 21 +++-- I can't tell from the

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

2012-07-11 Thread Neil Toronto
. Robby On Wed, Jul 11, 2012 at 11:40 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Wed, 11 Jul 2012 09:37:19 -0700, Neil Toronto wrote: On 07/11/2012 09:25 AM, stamo...@racket-lang.org wrote: 84feb38 Vincent St-Amour stamo...@racket-lang.org 2011-10-11 14:26 : | Enable performance report

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

2012-07-11 Thread Neil Toronto
. We need a more scalable way to include these things. Check Syntax should go away (and it will when online check syntax is done), for example. Robby On Wed, Jul 11, 2012 at 12:34 PM, Neil Toronto neil.toro...@gmail.com wrote: I would hate to hide a nifty new tool away in a menu item. How about

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

2012-07-10 Thread Neil Toronto
I've been looking forward to trying this since I read your paper draft last night. I didn't expect it so soon, though! Neil ⊥ On 07/10/2012 09:01 AM, jamesswa...@racket-lang.org wrote: jamesswaine has updated `master' from 48e154e3cb to dbec8765e3.

Re: [racket-dev] Custom write that pretty-prints and works well with quote?

2012-07-09 Thread Neil Toronto
-print-output-port' from `racket/pretty' help? At Sat, 07 Jul 2012 11:40:49 -0700, Neil Toronto wrote: I've got an array structure like so: (struct: (A) strict-array ([shape : (Listof Index)] [data : (Vectorof A)]) Say I have this value: (strict-array '(2 2) #(1

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

2012-07-09 Thread Neil Toronto
I suppose this means it's a bad time for the initial commits for the `math' library. :D I'd like to make `math/array' accessible to Jens Axel so he can start on the linear algebra parts. What are my options? Neil ⊥ On 07/09/2012 01:24 PM, Ryan Culpepper wrote: The release process for v5.3

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

2012-07-09 Thread Neil Toronto
On 07/09/2012 06:48 PM, Eli Barzilay wrote: 30 minutes ago, Neil Toronto wrote: I suppose this means it's a bad time for the initial commits for the `math' library. :D As long as it's new code, there's no problem. It's unfinished and undocumented, and lacks serious testing. I'd rather

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

2012-07-09 Thread Neil Toronto
On 07/09/2012 06:54 PM, Eli Barzilay wrote: [But if your main concern is sharing work, then you can just as well go with a GH fork, and either make a nice single commit when it's ready, or push your commits in a single batch.] Ha! Thanks for reminding me that I DO have a git server out there

[racket-dev] Custom write that pretty-prints and works well with quote?

2012-07-07 Thread Neil Toronto
I've got an array structure like so: (struct: (A) strict-array ([shape : (Listof Index)] [data : (Vectorof A)]) Say I have this value: (strict-array '(2 2) #(1 2 3 4)) I want it to print like this at the REPL: #strict-array '(2 2) '[[1 2] [3 4]] If there's

Re: [racket-dev] math

2012-07-07 Thread Neil Toronto
On 07/07/2012 01:39 PM, Matthias Felleisen wrote: Neil, do you intend to provide differentiat and integrate and possibly adjoin operations on operators from your math collection? I've considered numerical differentiation and integration. If you want them, I'll make sure they

[racket-dev] Overly general types for mutable containers

2012-07-07 Thread Neil Toronto
#lang typed/racket (define: x : Index 1) (: bar ((Vectorof Index) - (Vectorof Index))) (define (bar xs) xs) (: foo (All (A) ((Vectorof Index) - (Vectorof Index (define (foo xs) xs) So we have an Index `x' and a couple of identity functions `bar' and `foo' that only differ by the fact

Re: [racket-dev] A very listy Typed Racket Integer

2012-07-06 Thread Neil Toronto
On 07/06/2012 09:11 AM, Sam Tobin-Hochstadt wrote: On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto neil.toro...@gmail.com wrote: Anticipating a bug fix, I've started converting my recent TR code so that it doesn't define predicates for mutable container types. Instead of using `define-predicate

[racket-dev] A very listy Typed Racket Integer

2012-07-05 Thread Neil Toronto
I just found this today: #lang typed/racket (define: b : (Boxof Any) (box 4)) (define-predicate boxof-integer? (Boxof Integer)) (define (set-b-box! v) (set-box! b v)) (: a-very-listy-integer (- Integer)) (define (a-very-listy-integer) (cond [(boxof-integer? b) (set-b-box! '(1 2 3))

Re: [racket-dev] Sublinear functions of superfloat numbers

2012-07-03 Thread Neil Toronto
Perfectly good summary, my good man. Anyway, I've decided to regard `log' (with huge rationals) and `sqrt' (with perfect squares) as anomalies, because I'm finding more examples that don't work. Here's one: (real-double-flonum (/ #e1e400 #e1e200)) 1e+200 (/ #e1e400 1e200) +inf.0 So it

Re: [racket-dev] Sublinear functions of superfloat numbers

2012-07-01 Thread Neil Toronto
How about more words and examples? Argument reduction is using function properties to reduce the magnitude of arguments to make computation more tractable or more accurate. I'll bet `log' uses this property: (log (sqrt x)) = (log (expt x 1/2)) = (* 1/2 (log x)) This form is nice for

[racket-dev] Sublinear functions of superfloat numbers

2012-06-30 Thread Neil Toronto
I've noticed something interesting about the `log' function. Check out this interaction: (real-double-flonum #e1e400) +inf.0 (log #e1e400) 921.0340371976183 It's obviously not just converting to flonum first; it's likely doing some kind of argument reduction internally. `sqrt' operates on

[racket-dev] Using licensed code

2012-06-30 Thread Neil Toronto
I'm cribbing from the Boost C++ libraries [*] for much of the `math' collection. The license is extremely liberal, requiring only that the text of the license be included in any source distribution. What's the protocol for this? FWIW, the FSF says Boost libraries and works derived from it can

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

2012-06-29 Thread Neil Toronto
Yay! On 06/29/2012 02:28 PM, stamo...@racket-lang.org wrote: stamourv has updated `master' from 9e97ea4cae to 1d43b5a0db. http://git.racket-lang.org/plt/9e97ea4cae..1d43b5a0db =[ One Commit ]= Directory summary: 100.0%

Re: [racket-dev] Hyperbolic functions

2012-06-26 Thread Neil Toronto
On 06/26/2012 08:04 AM, Jens Axel Søgaard wrote: Just in case: They are available in the Science Collection: They are - Doug's done good work. I'd convert those to TR, check TR's optimizations, and harden them if they need it (especially near 0.0 and +/-inf.0). Also, I have a few not in

Re: [racket-dev] Hyperbolic functions

2012-06-26 Thread Neil Toronto
With these two votes, it's official. I'll make it one of my vacation projects. Neil ⊥ On 06/26/2012 03:00 PM, Doug Williams wrote: Doug is for any of it. I'd love to get some student projects that move the science collection to TR. On Tue, Jun 26, 2012 at 1:42 PM, Matthias Felleisen

Re: [racket-dev] math collection [was: Hyperbolic functions]

2012-06-26 Thread Neil Toronto
Ten minutes in, I've hit a snag. I'd like the stuff in math/functions to have precise types. For example, log1p could have the type (case- (Zero - Zero) (Float - Float) (Real - Real)) It was easy to get the implementation to typecheck, but when I tried to plot it in

Re: [racket-dev] math collection [was: Hyperbolic functions]

2012-06-26 Thread Neil Toronto
I'm addicted to optimizations. If I use Real - Real, TR can't prove that (log1p 1.0) is Float and... hmm. I'll let Vincent explain why that's bad. :) Another option is to provide both log1p and fllog1p. I just wrote fllog1p anyway. Neil ⊥ On 06/26/2012 07:05 PM, Matthias Felleisen wrote:

Re: [racket-dev] math collection [was: Hyperbolic functions]

2012-06-26 Thread Neil Toronto
I haven't got a clue what you two are arguing about anymore. If you both stop, maybe Sam can implement that perfectly safe change to the typed - untyped contract barrier that he said he could do. That would be nice. ;) Neil ⊥ On 06/26/2012 09:23 PM, Robby Findler wrote: On Tue, Jun 26, 2012

Re: [racket-dev] Hyperbolic functions

2012-06-25 Thread Neil Toronto
On 06/24/2012 10:40 AM, Antonio Menezes Leitao wrote: Hi, Given that Racket implements the hyperbolic functions sinh, cosh, and tanh, I would like to suggest that it also provides the inverse functions asinh, acosh and atanh. For the moment, I'm living with my own definitions but it would be

Re: [racket-dev] Error message structure (error-message overhaul)

2012-06-19 Thread Neil Toronto
On 06/19/2012 06:11 PM, Eli Barzilay wrote: * There are two contexts where error messages are unwieldy: TR and contract errors. In both of these the error text is huge to the point of making a useless text that you need to manually grep through. In TR it got bad enough that

Re: [racket-dev] Single-flonum-ness not preserved in racket/math functions

2012-06-05 Thread Neil Toronto
On 06/05/2012 03:57 PM, Vincent St-Amour wrote: At Tue, 05 Jun 2012 15:45:09 -0600, Neil Toronto wrote: Vincent, is there a quick way for me to test whether the types I give the new functions are sound? I recently added redex-based random testing for TR's float types. It's in collects/tests

Re: [racket-dev] Code micro-level organization

2012-05-31 Thread Neil Toronto
On 05/30/2012 03:40 PM, Eli Barzilay wrote: Now, lets imagine that instead of a simple `' hole, there are two kinds of holes with an up or a down direction -- this leads to this kind of a syntax: (○ foo bar baz (substring ↑ 3 8) (string-trim ↑) (let ([str ↑]) ↓) (and

[racket-dev] Custom write for flvector?

2012-05-28 Thread Neil Toronto
Would it break anything to have flvectors print nicely? For example: (flvector 1.0 2.0 3.0) (flvector 1.0 2.0 3.0) I've been working on publicizing/documenting the floating-point bitmaps module used internally in `images'. I realized that flvectors are the right data type for

Re: [racket-dev] error-message overhaul

2012-05-25 Thread Neil Toronto
New error format: +2 Changing my code: -1 Overall, +1. :D Should we have a Big Push to convert error message call sites, starting with actively maintained code? Neil ⊥ On 05/26/2012 06:09 AM, Matthew Flatt wrote: I've pushed a first cut at overhauling error messages from `racket/base'.

Re: [racket-dev] Very quick poll re `string-trim'

2012-05-11 Thread Neil Toronto
I would say yes. Isn't this primarily a string function? How about a #:repeated? argument that defaults to #t? Neil ⊥ On 05/11/2012 08:38 AM, Matthias Felleisen wrote: The question you need to ask is whether you want string-trim to be usable by someone who is not familiar with our syntax

Re: [racket-dev] A few suggestions on indentation and DrRacket graphical syntax

2012-05-11 Thread Neil Toronto
On 05/09/2012 02:18 AM, Laurent wrote: From the guide: Caveat 1: Until language specifications come with fixed indentation rules, we need to use the default settings of DrRacket’s indentation for this rule to make sense. Maybe a special submodule like drracket-indentation with declarations

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

2012-02-25 Thread Neil Toronto
This is nifty. What do you plan to do with it? Neil ⊥ On 02/25/2012 02:22 PM, mfl...@racket-lang.org wrote: mflatt has updated `master' from 678941ce5a to 645ca02e92. http://git.racket-lang.org/plt/678941ce5a..645ca02e92 =[ 1 Commits

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-19 Thread Neil Toronto
Beat me to it. +2 On 02/19/2012 01:26 PM, Jay McCarthy wrote: Awesome On Sun, Feb 19, 2012 at 10:47 AM, Eli Barzilaye...@barzilay.org wrote: Just now, Matthias Felleisen wrote: On Feb 19, 2012, at 12:42 PM, Matthias Felleisen wrote: Or, with the Matthias theme: I want YOU to build your

[racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-18 Thread Neil Toronto
Jay had a cool idea to make propagan--er, promotional posters. The attached SVG isn't the style Jay wanted (like the Obama Hope posters) but I kinda like it. It's here: http://students.cs.byu.edu/~ntoronto/matthias-poster.svg Comments and criticisms? I'm not sure where to put the PLT logo.

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-18 Thread Neil Toronto
On 02/18/2012 09:03 AM, Matthew Flatt wrote: At Sat, 18 Feb 2012 08:56:22 -0700, Neil Toronto wrote: Jay had a cool idea to make propagan--er, promotional posters. The attached SVG isn't the style Jay wanted (like the Obama Hope posters) but I kinda like it. It's here: http

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-18 Thread Neil Toronto
On 02/18/2012 09:35 AM, Robby Findler wrote: On Sat, Feb 18, 2012 at 10:23 AM, Neil Torontoneil.toro...@gmail.com wrote: Another angle: what aspects of Racket do we want to advertise? Language building. Definitely. I like Sam's idea on this one. I want a hi-res picture of Matthew,

Re: [racket-dev] new logo

2012-02-18 Thread Neil Toronto
I've attached my entry into the lambda + R prototype series. I went for symmetry on the lambda body, mimicked the round part of the Times New Roman R, and compromised as little as possible on the angle of the left leg. This is a very tricky logo idea, FWIW. The left-leg angle is always hard

Re: [racket-dev] new logo

2012-02-15 Thread Neil Toronto
On 02/15/2012 12:21 PM, John Clements wrote: On Feb 15, 2012, at 10:24 AM, Michael W wrote: I'm no graphics designer but I've been playing with Eli's logo a bit. I went gradient-happy; sorry. Here it is with a silvery sheen: http://dl.dropbox.com/u/219506/racket-logo/whitesilver-subtle.png

Re: [racket-dev] new logo

2012-02-14 Thread Neil Toronto
So do I. Ending it with a dot makes it feel like an unfinished program to me, parameterized on a Racket. Neil ⊥ On 02/13/2012 10:03 AM, Matthias Felleisen wrote: I do actually like the combination of lambda and r, though I am sure the color scheme could benefit from some variation. On Feb

Re: [racket-dev] new logo

2012-02-14 Thread Neil Toronto
I decided to play with this one a bit. I used PLT's lambda, put the r in the same style, and then made it into a lambda r.acket banner. Here's the deal, though. This one, even just the lambda r. in a circle, is pushing complexity. We've been approaching logo design too much like language

Re: [racket-dev] new logo

2012-02-12 Thread Neil Toronto
On 02/12/2012 05:58 PM, Robby Findler wrote: On Sat, Feb 11, 2012 at 6:49 PM, Neil Torontoneil.toro...@gmail.com wrote: (Robby already said no to animations, but he has to do what you say, right? :p) For the record, I don't oppose animations. I said that privately in a series of messages to

Re: [racket-dev] new logo

2012-02-11 Thread Neil Toronto
On 02/11/2012 11:40 AM, Matthias Felleisen wrote: On Feb 11, 2012, at 1:27 PM, John Clements wrote: Would it be productive to choose one randomly on startup? Also, in case it's not obvious, a rotated and flipped version of the logo does recall the lambda pretty clearly:

[racket-dev] Is anybody else getting this error?

2012-02-07 Thread Neil Toronto
This is from the latest release. On Redex errors and some Typed Racket errors (so far), I get something like exception raised by error display handler: normalize-path: #path:/var/tmp/racket (within the input path) is not a directory or does not exist; original exception raised:

Re: [racket-dev] Is anybody else getting this error?

2012-02-07 Thread Neil Toronto
Nope. On 02/07/2012 12:08 PM, Robby Findler wrote: Do you get a stacktrace? Robby On Tue, Feb 7, 2012 at 1:01 PM, Neil Torontoneil.toro...@gmail.com wrote: This is from the latest release. On Redex errors and some Typed Racket errors (so far), I get something like exception raised by error

Re: [racket-dev] Is anybody else getting this error?

2012-02-07 Thread Neil Toronto
On 02/07/2012 01:59 PM, Eli Barzilay wrote: Two hours ago, Neil Toronto wrote: This is from the latest release. On Redex errors and some Typed Racket errors (so far), I get something like exception raised by error display handler: normalize-path: #path:/var/tmp/racket (within the input path

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-05 Thread Neil Toronto
On 02/05/2012 03:11 PM, Stephen Chang wrote: I want to write a redex metafunction contract that goes between two languages. Is there currently a way to do this? For example, #lang racket (require redex) (define-language L1 (e 1)) (define-language L2 (f 2)) (define-metafunction L1

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-05 Thread Neil Toronto
I think in my case I actually do want the same nonterminal names. The higher-order language has lambdas while the first-order language doesn't. The first-order language has an outer `let' while the higher-order language has no `let'. Every other kind of expression is the same and has the same

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

2012-02-01 Thread Neil Toronto
On 02/01/2012 09:55 AM, ntoro...@racket-lang.org wrote: ntoronto has updated `master' from e4b1ef1b6e to 950f034936. ~~ | Pushing unfinished but stable flomap transforms so Matthew can debug a segfault : M collects/images/icons/misc.rkt | 123 ++-

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

2012-02-01 Thread Neil Toronto
On 02/01/2012 10:10 AM, Ryan Culpepper wrote: On 02/01/2012 09:55 AM, ntoro...@racket-lang.org wrote: collects/unstable/contract.rkt ~~ --- OLD/collects/unstable/contract.rkt +++ NEW/collects/unstable/contract.rkt @@ -171,6 +171,14 @@ (lambda (idx . elems) #t)))

Re: [racket-dev] floor-log/base, ceiling-log/base, from Neil Toronto's recent commit

2012-02-01 Thread Neil Toronto
On 02/01/2012 05:58 PM, John Boyle wrote: I happened to observe this commit from today by Neil Toronto: http://git.racket-lang.org/plt/commitdiff/47fcdd4916a2d33ee5c28eb833397ce1d2a515e2 I may have some useful input on this, having dealt with similar problems myself. The problem: Given b

Re: [racket-dev] Release Announcement for v5.2.1, second draft

2012-01-25 Thread Neil Toronto
* Plots look nicer, render up to 4 times faster, and are more correct at very small and very large scales. New features include customizable dual axis ticks and transforms (e.g. log axes, date and currency ticks, axis interval collapse and stretch), stacked histograms, and 3D

[racket-dev] Can't get for-label to work in Scribble docs

2012-01-23 Thread Neil Toronto
For some reason, when I require (for-label db/base), I still get warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red underlines under them. I'm also requiring (for-label slideshow/pict), but I get no warnings or underlines for `pict?'. Is there something special I need to do

Re: [racket-dev] Can't get for-label to work in Scribble docs

2012-01-23 Thread Neil Toronto
On 01/23/2012 01:18 PM, Neil Toronto wrote: For some reason, when I require (for-label db/base), I still get warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red underlines under them. Okay, I figured out what I need to do, but not why it works. I have to require JUST

Re: [racket-dev] Can't get for-label to work in Scribble docs

2012-01-23 Thread Neil Toronto
On 01/23/2012 01:36 PM, Ryan Culpepper wrote: On 01/23/2012 01:31 PM, Neil Toronto wrote: On 01/23/2012 01:18 PM, Neil Toronto wrote: For some reason, when I require (for-label db/base), I still get warnings about `sql-timestamp?', `sql-time?' and `sql-date?', and red underlines under them

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

2012-01-23 Thread Neil Toronto
On 01/23/2012 08:04 PM, Ryan Culpepper wrote: On 01/23/2012 06:30 PM, Robby Findler wrote: * DrRacket now has a new slate of icons The other seem too minor (and the second one is questionable; I think everyone will appreciate them, but few will download because of that, I guess). I expect

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

2012-01-23 Thread Neil Toronto
On 01/23/2012 05:27 PM, Ryan Culpepper wrote: Below is a rough list of additions and changes for v5.2.1. If you are responsible for a change, please either elaborate it into an announcement item or tell me if it shouldn't be included in the announcement. Let me know if I've missed something.

Re: [racket-dev] GIF files cannot be included in PDFs

2012-01-15 Thread Neil Toronto
I admit to being a chronic limit-pusher. I'll take the GIF out or make it HTML-only. Neil T On 01/15/2012 06:46 PM, Eli Barzilay wrote: The recent addition of GIF files doesn't work with PDFs, which breaks the nightly build. _ Racket Developers list:

Re: [racket-dev] Caching rendered icons

2012-01-13 Thread Neil Toronto
, 2012 at 4:46 PM, Eli Barzilaye...@barzilay.org wrote: Yesterday, Neil Toronto wrote: On 01/12/2012 12:22 PM, Eli Barzilay wrote: Is there a way to reliably get the compiled directory path during expansion, and then load files from it at runtime? Can I ensure that .PNG files are distributed

Re: [racket-dev] Caching rendered icons

2012-01-13 Thread Neil Toronto
On 01/13/2012 06:16 PM, Robby Findler wrote: On Fri, Jan 13, 2012 at 7:09 PM, Neil Torontoneil.toro...@gmail.com wrote: I agree with everybody, especially Sam. :) We're supposed to have a rich compiler extension API, in which programs evaluated at expansion time are just as capable as runtime

[racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
The time taken to render icons is becoming noticeable when DrRacket starts up. I estimate ~300ms on my beefy laptop, and it will probably double. 20ms per icon is fine until there are 50 icons and icon parts. (This also would have happened if the icons were rendered from SVG in Racket. The

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
On 01/12/2012 11:52 AM, Matthew Flatt wrote: At Thu, 12 Jan 2012 11:19:55 -0700, Neil Toronto wrote: 2. Compile time: Provide macros that render icons during expansion and try to store them in the compiled directory. Do you need icons to be in separate files? A macro could expand to a byte

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
On 01/12/2012 12:22 PM, Eli Barzilay wrote: Neither of these is relevant now, but still: An hour ago, Neil Toronto wrote: Which directory would I put them in? Would I make a subdirectory of 'pref-dir? (Not 'temp-dir, because that might be the current directory.) The temp directory is a bad

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
On 01/12/2012 12:22 PM, Eli Barzilay wrote: Is there a way to reliably get the compiled directory path during expansion, and then load files from it at runtime? Can I ensure that .PNG files are distributed automatically? Putting other stuff in compiled directories would probably complicate

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
On 01/12/2012 11:52 AM, Matthew Flatt wrote: At Thu, 12 Jan 2012 11:19:55 -0700, Neil Toronto wrote: 2. Compile time: Provide macros that render icons during expansion and try to store them in the compiled directory. Do you need icons to be in separate files? A macro could expand to a byte

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
On 01/12/2012 02:25 PM, Eli Barzilay wrote: 20 minutes ago, Neil Toronto wrote: This is friggin' awesome. The expression (compiled-left-arrow-icon '(255 95 78) 24) Why is there a `compiled-' in the name? There's also a left-arrow-icon function, which renders it at runtime

Re: [racket-dev] Caching rendered icons

2012-01-12 Thread Neil Toronto
Sure! BTW, having been inspired by Jay's latest elegant macro, I've shrunk the implementation to 21 lines of code. (That's good for a tutorial.) It works a little differently now, too. I think it's better. Here's an example that bakes a list of stickman animation frames into a compiled

Re: [racket-dev] .1 evaluates to 0.0 [was Re: plot doesn't plot (inexact-exact: no exact representation for +nan.0)]

2012-01-11 Thread Neil Toronto
On 01/11/2012 06:32 AM, Marijn wrote: It looks like there is still a residual bug though, that causes the stairs function when zoomed in to have non-vertical parts as you can see in the screenshot, though I can reproduce it also with the C locale, so looks like a genuine plot library bug this

Re: [racket-dev] drracket buttons

2012-01-11 Thread Neil Toronto
Does Debug Syntax not work for the macro stepper? I'd call it that and switch it with the debugger. Then we'd have (left to right): Check Syntax Debug Syntax Debug [Program] Run [Program] Stop [Program] My 10th-grade English teacher wouldn't complain about a lack of parallelism anymore,

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

2012-01-10 Thread Neil Toronto
Forgot to say: please merge these into 5.2.1. Thanks! On 01/10/2012 03:24 PM, ntoro...@racket-lang.org wrote: ntoronto has updated `master' from dc2aa3ea5c to 5736695bae. http://git.racket-lang.org/plt/dc2aa3ea5c..5736695bae =[ 4 Commits

Re: [racket-dev] Icon issues resolved (almost)

2012-01-08 Thread Neil Toronto
On 01/08/2012 08:10 PM, Eli Barzilay wrote: Yesterday, Neil Toronto wrote: I've pushed a change that removes DrRacket's dependence on `slideshow/pict' (via `icons'), removes the `icons' module, and adds a new `images' collection. Instead of precompiling SVGs, the new code ray-traces floating

[racket-dev] Icon issues resolved (almost)

2012-01-07 Thread Neil Toronto
I've pushed a change that removes DrRacket's dependence on `slideshow/pict' (via `icons'), removes the `icons' module, and adds a new `images' collection. Instead of precompiling SVGs, the new code ray-traces floating-point ARGB+Z bitmaps; instead of composing icons from picts, it composites

Re: [racket-dev] Internal definitions in `define'

2011-12-30 Thread Neil Toronto
Now that I'm a whiny junior dev, does that mean I can do the +/-1 thing? Because after reading Eli's argument - particularly the symmetry arguments - I'm totally +1-ing his proposal. This is one of the last places I find myself using the (let () ...) idiom. (The others are

Re: [racket-dev] Icons issues

2011-12-08 Thread Neil Toronto
Thanks, Ryan. Now everybody's not angry with me. Well, Eli still is, but that's nothing new. Neil T (I'm just kidding, Eli.) On 12/07/2011 11:52 PM, Ryan Culpepper wrote: I've pushed a temporary fix to the dist-specs, and meta/check-dists now runs without errors. Hopefully the nightly builds

Re: [racket-dev] Icons issues

2011-12-05 Thread Neil Toronto
On 12/05/2011 02:49 PM, Robby Findler wrote: Matthew, Neil, and I have been talking about how to resolve the dependency problem. I think that the our thinking was that the best plan is to break out a pict library that both slideshow and drracket can safely depend on, and have the icons library

[racket-dev] PLaneT logo

2011-12-01 Thread Neil Toronto
The new PLaneT logo I just pushed is in the logo icon category, so it gets pre-rendered up to 512x512. (In case anybody wants it in the future for the web site or something.) If you want to see what it looks like, do this: #lang racket (require icons) (for*/list ([color icon-colors]

Re: [racket-dev] Subnormal numbers?

2011-11-29 Thread Neil Toronto
I can't answer the question about underflow. But if you don't mind installing a nightly build of Racket, you get the (currently undocumented) module `unstable/flonum', which exports these: flonum-bit-field bit-field-flonum flonum-ordinal; number of flonums away from 0 (+ or -)

Re: [racket-dev] [racket] DrRacket needs work

2011-11-27 Thread Neil Toronto
Moving to dev. 16x16 is tiny! But I can see why. I've attached my current toolbar, which uses all 22px icons. They look a bit big. I'm doing more than just replacing icons. We need abstractions. Not having them is partly why DrRacket's icon set looks old and inconsistent. So here's what

Re: [racket-dev] [racket] DrRacket needs work

2011-11-27 Thread Neil Toronto
On 11/27/2011 01:28 PM, Robby Findler wrote: On Sun, Nov 27, 2011 at 2:02 PM, Neil Torontoneil.toro...@gmail.com wrote: Thanks for taking this on, Neil! :) No no, that's just from back before we had alpha bitmaps. Please get rid of it! Roger roger. Just loading them with 'png/alpha seems

Re: [racket-dev] nan?, infinite? and regular-real? [Was: Latest Plot Package]

2011-11-18 Thread Neil Toronto
On 11/18/2011 01:35 PM, Stephen Bloch wrote: On Nov 18, 2011, at 2:34 PM, Neil Torontoneil.toro...@gmail.com wrote: ... I'd like to add exact-round, exact-floor, exact-truncate and exact-ceiling. I rarely need to chop off fractional parts without also making the result exact. That might be

[racket-dev] Push #23836

2011-11-10 Thread Neil Toronto
I'd quote the commit email but Thunderbird inexplicably freezes in various spots when editing multi-megabyte emails... Anyway, one commit erroneously says Merge into 5.2. Please ignore that. Also, for those interested, I've added `unstable/parameter-group'. Neil T

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

2011-11-02 Thread Neil Toronto
On 11/02/2011 09:06 AM, Eli Barzilay wrote: The release announcement sketch is finally ready, apologies for the delay. It should be close to being a final version, and I'll probably proceed with the release tonight -- so if there are any issues with it, please reply soon.

Re: [racket-dev] Release Announcement for v5.2, second call

2011-11-02 Thread Neil Toronto
On 11/02/2011 03:31 PM, Eli Barzilay wrote: Just now, Sam Tobin-Hochstadt wrote: On Wed, Nov 2, 2011 at 5:24 PM, Eli Barzilaye...@barzilay.org wrote: * The `plot' collection has been reimplemented in Racket. It now offers PDF output, log axes, histograms, and more. Some code that uses

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

2011-10-18 Thread Neil Toronto
On 10/17/2011 07:02 PM, Ryan Culpepper wrote: * Neil Torontoneil.toro...@gmail.com - Plot Tests All passed. Neil T _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] New plot library pushed

2011-10-09 Thread Neil Toronto
That was quick! On 10/09/2011 01:10 PM, Doug Williams wrote: I ported all of the science collection graphics to use the new plot package. It was relatively painless. Most of the effort was actually in improving my graphics using some of the new options - like adding labels for legends. Also,

Re: [racket-dev] Preserving source location in macro-generating macros, in collects

2011-10-07 Thread Neil Toronto
On 10/07/2011 09:56 AM, Robby Findler wrote: On Fri, Oct 7, 2011 at 10:35 AM, Neil Torontoneil.toro...@gmail.com wrote: Why I care: I wrote a macro that both defines a contracted function and defines a macro that expands to a Scribble 'defproc' with the same contract. With the source locations

Re: [racket-dev] Preserving source location in macro-generating macros, in collects

2011-10-07 Thread Neil Toronto
On 10/07/2011 10:24 AM, Robby Findler wrote: On Fri, Oct 7, 2011 at 11:15 AM, Neil Torontoneil.toro...@gmail.com wrote: Here's the thing. When I first looked into it, I wasn't making a collection; 'plot' was just a directory on my hard drive. I tried using 'scribble/srcloc', and it kept not

Re: [racket-dev] racket/match is broken

2011-10-06 Thread Neil Toronto
On 10/06/2011 12:28 PM, Prabhakar Ragde wrote: On 10/6/11 2:12 PM, Eli Barzilay wrote: Sam is talking about building the ASTs *while* matching, which is what Jay was trying to do with uses of `app'. I think that a teaching context is in particular one where such a thing doesn't fit -- it

Re: [racket-dev] racket/match is broken

2011-10-06 Thread Neil Toronto
On 10/06/2011 01:20 PM, Eli Barzilay wrote: Just now, Neil Toronto wrote: On 10/06/2011 12:28 PM, Prabhakar Ragde wrote: On 10/6/11 2:12 PM, Eli Barzilay wrote: Sam is talking about building the ASTs *while* matching, which is what Jay was trying to do with uses of `app'. I think

[racket-dev] New plot library pushed

2011-10-05 Thread Neil Toronto
I've just pushed the new 'plot' library. Eli and I both forgot that the new 'plot' still needs the old libfit, and removed it along with libplplot. I just added libfit back (the sources are in src/fit now instead of src/plot/fit) along with the proper configure, Makefile.in, and get-libs.rkt

<    1   2   3   4   >