On Tue, Dec 20, 2011 at 2:00 PM, Neil Van Dyke n...@neilvandyke.org wrote:
Eli Barzilay wrote at 12/20/2011 01:45 PM:
and there no sane way to debug it other than viewing it in all browsers.
Asumu, it seems like you're on a good track, but after you get the layout
how you like it in your
On Tue, Dec 20, 2011 at 2:10 PM, Eli Barzilay e...@barzilay.org wrote:
Just now, Sam Tobin-Hochstadt wrote:
On Tue, Dec 20, 2011 at 2:00 PM, Neil Van Dyke n...@neilvandyke.org wrote:
Eli Barzilay wrote at 12/20/2011 01:45 PM:
and there no sane way to debug it other than viewing it in all
This blog post (from Parse.com, recently mentioned on the list) has an
excellent discussion of good practices for writing API documentation:
http://blog.parse.com/2012/01/11/designing-great-api-docs/
Fortunately, we follow a lot of these already, but more improvement is
always possible.
--
sam
On Fri, Jan 13, 2012 at 4:46 PM, Eli Barzilay e...@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
On Mon, Jan 23, 2012 at 8:57 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Performance improvements include the use of epoll()/kqueue() instead
of select() for the Racket thread scheduler
I think this deserves more prominent notice -- the GHC developers
wrote a whole paper about it when they
On Fri, Jan 20, 2012 at 3:18 PM, Ryan Culpepper r...@cs.utah.edu wrote:
* Sam Tobin-Hochstadt sa...@ccs.neu.edu,
Vincent St-Amour stamo...@ccs.neu.edu
- Match Tests
- Typed Racket Tests
Done, modulo the commit to the tests that I just pushed.
- Typed Racket Updates: update HISTORY
On Tue, Jan 24, 2012 at 9:51 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
- Typed Racket Updates: update HISTORY
(updates should show v5.2.1 as the most current version; email me
to pick the changes when they're done, or tell me if there are no such
changes.)
Done.
--
sam th
sa
On Wed, Jan 25, 2012 at 12:23 AM, Eli Barzilay e...@barzilay.org wrote:
There's no mention of the new icons at all now (not the library).
Superficial, but will probably make many happy.
I think we should mention the icons, for two reasons:
1. Neil did a ton of work, and it should be
Currently, the following collections have no one listed as
responsible, along with who i think should be assigned to them:
- tests (eli, mflatt) -- just the top level directory, not the subdirectories
- mzlib (mflatt)
- info-domain (mflatt) -- NB: contains no source files
Any objections to
On Mon, Feb 6, 2012 at 9:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Actually, on second thought, I'm not yet sure how the typesetting is
going to go. Say you have something like this:
(define-language L1
(a ... somestuff ...))
(define-metafunction L1
f : a - a
On Tue, Feb 7, 2012 at 12:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Feb 7, 2012 at 10:21 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Mon, Feb 6, 2012 at 9:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Actually, on second thought, I'm not yet sure how
On Tue, Feb 7, 2012 at 1:28 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
2. Support `define-union-language', without worrying too much about
its typesetting, because it would be primarily used for defining these
metafunctions and not explicitly described in a paper.
I see. I'll think
On Sat, Feb 11, 2012 at 1:23 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
For the record, I like the idea of changing our logo a bit.
I like the direction in which is evolving, though I will admit
that losing the lambda completely.
First, I really like the new logo -- the improvement is
Google continues to run the summer of code project, and in recent
years, they've significantly expanded the set of open-source projects
they accept. We should submit Racket this year:
http://www.google-melange.com/gsoc/homepage/google/gsoc2012
--
sam th
sa...@ccs.neu.edu
On Wed, Feb 15, 2012 at 10:31 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Feb 15, 2012, at 8:33 AM, David Van Horn wrote:
On 2/15/12 8:27 AM, Matthias Felleisen wrote:
On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote:
On 2012-02-14 09:58:12 -0800, John Clements wrote:
I sent
On Fri, Feb 3, 2012 at 6:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
Currently, the following collections have no one listed as
responsible, along with who i think should be assigned to them:
- mzlib (mflatt)
Done.
Any objections to this? If not, I'll do this soon.
As well
On Fri, Feb 3, 2012 at 7:47 PM, Eli Barzilay e...@barzilay.org wrote:
An hour ago, Sam Tobin-Hochstadt wrote:
Currently, the following collections have no one listed as
responsible, along with who i think should be assigned to them:
- tests (eli, mflatt) -- just the top level directory
On Fri, Feb 17, 2012 at 8:52 AM, Eli Barzilay e...@barzilay.org wrote:
Just now, Sam Tobin-Hochstadt wrote:
For `tests', there are currently 3 files with no one responsible at
the top level:
- eli-tester.rkt
- info.rkt
- run-automated-tests.rkt
I think they should all have you
On Fri, Feb 17, 2012 at 9:06 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Fri, 17 Feb 2012 08:43:48 -0500, Sam Tobin-Hochstadt wrote:
On Fri, Feb 3, 2012 at 6:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
As well as:
- gui-builder
No one has made significant changes (other than
On Fri, Feb 17, 2012 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
Also, it would be good to run a script
that checks that all source files are owned.
Yes, that's a good idea. I'll do that.
The .rkt files with no one responsible are (all in tests, with who I
think should
On Fri, Feb 17, 2012 at 9:00 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Feb 17, 2012 at 7:43 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
- eopl
Various people have changed this collection in the past few years
(robby, eli, mflatt). Who should I assign bugs
Findler ro...@eecs.northwestern.edu
wrote:
Do we have any bugs in category 2.?
Robby
On Fri, Feb 17, 2012 at 4:38 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Fri, Feb 17, 2012 at 9:00 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Feb 17, 2012 at 7:43 AM, Sam
On Sat, Feb 18, 2012 at 11:10 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
How about:
Not enough languages in your life?
Download Racket and add a few hundred more.
I like this a lot.
Or, with the Matthias theme:
I want YOU to build your own language [1]
[1]
On Sat, Feb 18, 2012 at 11:03 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
I'm lovin it (isn't that what they say now?) You restored my hair, better
than it ever was :-)
For more inspiration of how to draw the young Matthias:
On Tue, Feb 21, 2012 at 5:51 PM, SF sf.ro...@gmail.com wrote:
On Sat, Feb 18, 2012 at 7:31 PM, Sean Reque wrote:
I'm getting this error on the latest release of Racket (5.2) on Windows just
using vanilla Racket and running my program. The exact message is:
exception raised by error display
This repair seems to have broken uses of `net/url' over SSL.
For example, this:
(get-pure-port (string-url https://api.github.com/;))
produces:
#input-port:pipe
; read-bytes: SSL read failed #f
; === context ===
; /home/samth/sw/plt/collects/openssl/mzssl.rkt:235:2: error/network
;
Summary: we are currently violating the license of James Clark's XML
test suite, and should fix this.
Currently, the `tests/xml' directory [1] contains a comprehensive
collection tests for XML parsing from James Clark [2]. The
readme.html file [3] in that directory states the license of that
to work:
- (gunzip xmltest.zip)
; gnu-unzip: bad header [,bt for context]
On Thu, Mar 8, 2012 at 9:39 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
Summary: we are currently violating the license of James Clark's XML
test suite, and should fix this.
Currently, the `tests/xml' directory [1
On Fri, Mar 9, 2012 at 9:54 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
I intend to change DrDr so that it always uses raco test -r rather
than racket -t.
I assume you mean just changing the defaults. Will this resulting in
running any less code?
--
sam th
sa...@ccs.neu.edu
, Intel, Belgium
* Tom Van Cutsem, Vrije Universiteit Brussel, Belgium
* Marcus Denker, Inria, France
* Matthew Flatt, University of Utah, USA
* Charlotte Herzeel, Vrije Universiteit Brussel, Belgium
* Robert Hirschfeld, Hasso-Plattner-Institut Potsdam, Germany
* Sam Tobin-Hochstadt, Northeastern
On Sat, Mar 17, 2012 at 10:55 AM, Eli Barzilay e...@barzilay.org wrote:
The real issue is whether it's really alright with you... Currently,
something that I do and I'm sure others do it to, is keep the bug in my
mailbox with any followup discussions. In some cases the followups contain
--
From: Roger Tobie rto...@verizon.net
Date: Tue, Mar 20, 2012 at 10:18 PM
Subject: Re: [racket-bug] all/12642: #lang slideshow gets error
message module: this function is not defined
To: Sam Tobin-Hochstadt sa...@ccs.neu.edu
Good evening,
Yes, it works. Thank you!
However, I would argue
tutorial.
Also, Roger (the bug reporter) tried basically all the languages in
the dialog, but did not understand that Use the language declared in
the source was even an option.
Robby
On Wed, Mar 21, 2012 at 7:05 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
The below email transcript
On Wed, Mar 21, 2012 at 10:48 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Also, Roger (the bug reporter) tried basically all the languages in
the dialog, but did not understand that Use the language declared in
the source was even an option.
Ugh. That's unfortunate. We spent a lot
On Wed, Mar 21, 2012 at 5:36 PM, John Clements
cleme...@brinckerhoff.org wrote:
It looks like 'path-string?' is not labeled as a discriminator type.
path-string?
- : (Any - Boolean)
#procedure:path-string?
Is this just an oversight?
Yes, that's just an oversight, although it's slightly
...@brinckerhoff.org wrote:
On Mar 21, 2012, at 3:20 PM, Sam Tobin-Hochstadt wrote:
On Wed, Mar 21, 2012 at 5:36 PM, John Clements
cleme...@brinckerhoff.org wrote:
It looks like 'path-string?' is not labeled as a discriminator type.
path-string?
- : (Any - Boolean)
#procedure:path
[on dev@]
On Fri, Mar 23, 2012 at 12:24 PM, Jon Rafkind rafk...@cs.utah.edu wrote:
I'm not quite sure what will happen if you have both the racket ppa and the
racket-nightly ppa but probably you shouldn't try it :p. This setup is quite
new (as of this week) so let me know if anything
the question of getting
into path-strings for other platforms...)
Yesterday, Sam Tobin-Hochstadt wrote:
That's true, which is why it has to have a more complex filter than
you'd expect. But if a value isn't `path-string?', then it is
definitely not a `Path', and if it *is* `path-string
I think `racket/string' should provide the useful string functions,
rather than refer users to srfis. The only srfi/13 function I ever
use is `string-trim-both' -- any objection to adding that to
`racket/string'?
On Tue, Apr 17, 2012 at 5:29 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
I
On Thu, Apr 19, 2012 at 8:21 AM, Eli Barzilay e...@barzilay.org wrote:
Two hours ago, Laurent wrote:
One string function that I often find useful in various scripting
languages is a `string-split' (explode in php). It can be done with
`regexp-split', but having something more along the lines
On Thu, Apr 26, 2012 at 11:13 PM, rafk...@racket-lang.org wrote:
565e844 Jon Rafkind rafk...@racket-lang.org 2012-04-24 14:53
:
| [honu] add vim syntax file for honu
:
A collects/honu/misc/honu.vim
I think this file should go in collects/meta/contrib, along with
things like shell
On Tue, May 29, 2012 at 7:17 AM, Eli Barzilay e...@barzilay.org wrote:
** More about the change (especially if you want to try to improve
things):
This is not real ranking, but it should give better results overall.
The thing is that the search assigns a small integer score for each
term,
On Tue, May 29, 2012 at 7:33 AM, Eli Barzilay e...@barzilay.org wrote:
That can currently get to ~20k things to sort and adjust for
additional entries that get added on each release, planet packages,
etc.
Have you measured how long this takes? On my machine, the `sort()`
method on an array of
On Tue, May 29, 2012 at 8:16 AM, Eli Barzilay e...@barzilay.org wrote:
20 minutes ago, Sam Tobin-Hochstadt wrote:
On Tue, May 29, 2012 at 7:33 AM, Eli Barzilay e...@barzilay.org wrote:
That can currently get to ~20k things to sort and adjust for
additional entries that get added on each
On Tue, May 29, 2012 at 7:33 AM, Eli Barzilay e...@barzilay.org wrote:
Just now, Sam Tobin-Hochstadt wrote:
On Tue, May 29, 2012 at 7:17 AM, Eli Barzilay e...@barzilay.org wrote:
** More about the change (especially if you want to try to improve
things):
This is not real ranking
On Tue, May 29, 2012 at 10:25 AM, Eli Barzilay e...@barzilay.org wrote:
20 minutes ago, Eli Barzilay wrote:
An hour and a half ago, Sam Tobin-Hochstadt wrote:
To stop the sort in the middle, use a custom comparison function,
a bit of state, and an exception.
This might work.
I
On Tue, May 29, 2012 at 11:53 AM, Eli Barzilay e...@barzilay.org wrote:
Three hours ago, Sam Tobin-Hochstadt wrote:
On Tue, May 29, 2012 at 7:33 AM, Eli Barzilay e...@barzilay.org wrote:
Just now, Sam Tobin-Hochstadt wrote:
I think you probably want to rank/divide '1' here based on how
Having just done a pretty trivial microbenchmark of writing a lot of
numbers to file, I discovered that Racket is sadly not as fast as one
would hope here. You can see the program I ran at:
https://gist.github.com/2874695, along with a python program I
compared it to [1]. The Racket program is
I think the current semantics of submodules doesn't work for Typed
Racket, and in general for the technique described in Language as
Libraries, but we can fix it easily.
In particular, consider a language that lets you statically assert
that an identifier is bound to 5, so that this program is a
I'm trying to use the new behavior of `local-expand` to handle
submodules in Typed Racket. However, I can't get the stop list to
work the way I thought it would. In particular, this expression:
(local-expand #'(#%plain-module-begin forms ...) 'module-begin
(list #'module*))
doesn't stop on
On Thu, Jun 21, 2012 at 1:58 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-06-21 13:03:18 -0400, Eli Barzilay wrote:
Nice. How about adding a big deprecated to the class100 docs, and
make a note to remove it in a year?
That trick is neat, but would it be a problem to just remove it
It appears that the expansion of (module* m #f ...) occurs in a fresh
store, but before running the inner module's `#%module-begin` binding.
To see this, run the program at https://gist.github.com/2991214 , and
note that in module-begin is printed only once, but the expansion
of `m` fails,
, the inner `#%module-begin` is
expanded quite late, which I think breaks other possible expectations
about #%module-begin as well. Moving it earlier will, I think,
alleviate all of these issues.
At Mon, 25 Jun 2012 17:05:21 -0400, Sam Tobin-Hochstadt wrote:
It appears that the expansion
is form `m' to check whether it's being expanded in
a 'module-begin context, in which case it should wrap itself in
`begin', or something like that.
At Mon, 25 Jun 2012 17:28:23 -0400, Sam Tobin-Hochstadt wrote:
On Mon, Jun 25, 2012 at 5:14 PM, Matthew Flatt mfl...@cs.utah.edu wrote
) the affected submodules include everything that uses `module+`, so
rejecting those isn't really an option.
Sam
On Jun 25, 2012, at 6:47 PM, Matthew Flatt wrote:
At Mon, 25 Jun 2012 17:50:27 -0400, Sam Tobin-Hochstadt wrote:
The problem (I
think) is that the implicit `require` of `(submod ..)` happens
Certainly the dependent contract approach will work, but the 'Real - Real'
contract is also safe, so I'll see about generating that.
Sam
On Jun 26, 2012 8:37 PM, Robby Findler ro...@eecs.northwestern.edu
wrote:
In this case, the contract could turn into a dependent one with the
same semantics.
appropriate simpler contracts,
such as `(- real? real?)`.
Sam
Robby
On Tue, Jun 26, 2012 at 8:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
Certainly the dependent contract approach will work, but the 'Real - Real'
contract is also safe, so I'll see about generating that.
Sam
On Tue, Jun 26, 2012 at 9:29 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
This sounds like a terrible solution.
There are lots of places in our system where we just declare facts and
don't prove them and then use them for lots of things (often
optimizations). Why should this one be
On Tue, Jun 26, 2012 at 10:44 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Jun 26, 2012 at 9:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Tue, Jun 26, 2012 at 9:29 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
This sounds like a terrible solution
itself or some other module
that trusts the macro, but it's difficult to be sure.
At Mon, 25 Jun 2012 16:47:36 -0600, Matthew Flatt wrote:
At Mon, 25 Jun 2012 17:50:27 -0400, Sam Tobin-Hochstadt wrote:
The problem (I
think) is that the implicit `require` of `(submod ..)` happens
*before
On Tue, Jul 3, 2012 at 11:08 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 3 Jul 2012 11:05:52 -0400, Sam Tobin-Hochstadt wrote:
However, I don't (yet) think it's the right solution. In particular,
I feel like this moves away from the really great feature of
submodules, which
On Mon, Jul 2, 2012 at 9:22 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Is it possible there is another channel that TR could use to
communicate these types? That is, could it not expand
(: f Integer)
(define f 5)
into something that bound 'f' to a macro that knows its type? I
I'd like to write a program basically like this:
#lang racket/load
(module m1 racket
(define l (list #'l))
(provide l))
(module m2 racket
(require (for-syntax 'm1))
(define-syntax (mac stx)
#`(module* sub #f
(length (list #,(car l)
(provide mac))
(module m3 racket
On Jul 5, 2012 8:50 PM, Neil Toronto neil.toro...@gmail.com wrote:
I just found this today:
#lang typed/racket
(define: b : (Boxof Any) (box 4))
(define-predicate boxof-integer? (Boxof Integer))
This is the bug -- there's no way to write the boxof-integer? predicate,
and define-
purposes.
At Thu, 5 Jul 2012 17:17:08 -0400, Sam Tobin-Hochstadt wrote:
I'd like to write a program basically like this:
#lang racket/load
(module m1 racket
(define l (list #'l))
(provide l))
(module m2 racket
(require (for-syntax 'm1))
(define-syntax (mac stx)
#`(module* sub
On Fri, Jul 6, 2012 at 11:59 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 07/05/2012 05:54 PM, Sam Tobin-Hochstadt wrote:
On Jul 5, 2012 8:50 PM, Neil Toronto neil.toro...@gmail.com
mailto:neil.toro...@gmail.com wrote:
(define-predicate boxof-integer? (Boxof Integer
On Fri, Jul 6, 2012 at 5:53 PM, Matthias Felleisen matth...@ccs.neu.edu wrote:
I can't think of such a primitive other than force, for which it is okay. Can
you be concrete?
Here's a type definition;
(define-type LTree
(U (Promise Integer) (Cons LTree LTree)))
This is just a tree of
On Sun, Jul 8, 2012 at 12:58 AM, Neil Toronto neil.toro...@gmail.com wrote:
It runs directly counter to what I expect from immutable containers, which I
use most of the time:
This is the problem. Immutable containers are very different from
mutable ones, and your expectations shouldn't be
I'm trying to reduce the startup overhead imposed by Typed Racket, and
I'm running into a mystifying problem
If you look here at https://gist.github.com/3098628 you'll see two
small files, `tnull.rkt` and `rlnull.rkt`. The former is an empty
file written in `typed/racket/base`. The latter is an
On Thu, Jul 12, 2012 at 11:49 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
I think the difference is GC variance due to the order that modules get
loaded. If I try
time racket -W debug -l racket/base -t tnull.rkt
time racket -W debug -l racket/base -t rlnull.rkt
then the times are
On Thu, Jul 12, 2012 at 3:20 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Of course, we usually optimize for long-term performance, and it's
sometimes tricky to balance short-term and long-term performance. Does
the difference that you see still matter when a program does something
useful?
If
I'm trying to use `unstable/lazy-require` to load time compile-time
portion of `match` on-demand; the attached patch implements what I
think should be the right thing. However, when I try to run 'raco
setup' with this, I get:
raco setup: bootstrapping from source...
write: cannot marshal value
On Mon, Jul 16, 2012 at 11:05 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 07/16/2012 07:45 AM, sa...@racket-lang.org wrote:
samth has updated `master' from 55a8445b0b to 9dac995e36.
~~
030e563 Eric Dobson eric.n.dob...@gmail.com 2012-06-17 22:14
:
| Make TR compile cleanly
On Tue, Jul 17, 2012 at 5:14 PM, David Van Horn dvanh...@ccs.neu.edu wrote:
I'm getting an arity mismatch error whenever I run a saved file in DrRacket.
I get this identical error in DrRacket with the latest git HEAD.
--
sam th
sa...@ccs.neu.edu
_
Racket Developers
On Tue, Jul 17, 2012 at 5:59 PM, Ryan Culpepper r...@cs.utah.edu wrote:
On 07/17/2012 05:32 PM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from 3b5eb1da41 to 6b3e207ecd.
http://git.racket-lang.org/plt/3b5eb1da41..6b3e207ecd
=[ 2 Commits
are working.
Sam
Robby
On Wed, Jul 18, 2012 at 8:25 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Tue, Jul 17, 2012 at 5:59 PM, Ryan Culpepper r...@cs.utah.edu wrote:
On 07/17/2012 05:32 PM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from 3b5eb1da41 to 6b3e207ecd
to racket...@racket-lang.org .
Sam Tobin-Hochstadt
_
Racket Developers list:
http://lists.racket-lang.org/dev
On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa as...@ccs.neu.edu wrote:
I heard rumours that there was once an official PLT PLaneT account
intended for packages maintained by the dev team. Does anyone know if it
exists and how to go about getting access to it?
I think Carl is the right
On Fri, Jul 20, 2012 at 7:36 AM, Neil Van Dyke n...@neilvandyke.org wrote:
Sam Tobin-Hochstadt wrote at 07/20/2012 07:23 AM:
I was thinking that it'd be more appropriate to put the
'parser-combinator' and 'tex2page' packages under such an account rather
than under mine.
Note that it's
On Fri, Jul 20, 2012 at 8:21 AM, Neil Van Dyke n...@neilvandyke.org wrote:
Sam Tobin-Hochstadt wrote at 07/20/2012 07:44 AM:
Shouldn't everyone try to eat PLaneT brand dog food? (Not subsist off of
Git brand dog treats.)
Whether or not that's the case in general, in 5.2.1 you can do
I also see this error, and as I don't have those particular files, it
seems unlikely that it's something specific to Robby's setup.
On Fri, Jul 20, 2012 at 8:49 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Just to clarify: the props script is now useless to as a mechanism for
actually
On Fri, Jul 20, 2012 at 10:49 AM, Eli Barzilay e...@barzilay.org wrote:
Two hours ago, Sam Tobin-Hochstadt wrote:
I also see this error, and as I don't have those particular files, it
seems unlikely that it's something specific to Robby's setup.
You shouldn't see errors about .DS_Store
I've been trying to use the new futures visualizer (which is great) to
improve my parallel version of the mandelbrot benchmark
(collects/tests/racket/shootout/mandelbrot-futures.rkt). My current
code is attached. You can run it like this:
$ racket mand.rkt 4000 8 # 8 is the number of
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 of a vector library.
What if TR had a notion of
in DrRacket. But, I just tried raco exe --gui
main.rkt to create it and get exactly the same error.
On Wed, Jul 25, 2012 at 11:46 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
Is this application generated with 'raco exe'? Or 'Create Executable'
in DrRacket?
On Wed, Jul 25, 2012 at 10:31 AM
On Sun, Jul 29, 2012 at 7:57 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote:
At Sun, 29 Jul 2012 10:15:17 -0400,
Matthias Felleisen wrote:
With all due respect. Was there a reason why parametric imports don't
work? They do change behavior in a way that doesn't jive with the TR
On Tue, Jul 31, 2012 at 6:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
To start afresh, here are two suggestions, which are mutually
exclusive. The first is my preference:
1. Revert the addition of `compatibility/package' and
`compatibility/mpair', including the documentation changes
On Wed, Aug 1, 2012 at 8:34 AM, Ryan Culpepper r...@cs.utah.edu wrote:
* There is now a very complete completion code for zsh. It is not
included in the distribution though, get it at: http://goo.gl/DU8JK
(This script and the bash completions will be included in the
standard installers
On Wednesday, August 1, 2012, Robby Findler wrote:
On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt
sa...@ccs.neu.edujavascript:;
wrote:
The following have been deprecated and will be removed in the
August 2013 release:
- the `define-contract-struct' form. Use `struct
On Wed, Aug 1, 2012 at 10:52 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Wed, Aug 1, 2012 at 9:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Wednesday, August 1, 2012, Robby Findler wrote:
On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote
I think the below should be somewhat reordered, as follows:
On Thu, Aug 2, 2012 at 11:16 AM, Ryan Culpepper r...@cs.utah.edu wrote:
* Most error messages use a new multi-line format
* The new `racket/generic' library
* The contract library comes with support for
* The futures visualizer
*
of) importance to Racket
programmers. For example, the new error messages are likely to be the
first thing people notice about v5.3.
On Aug 2, 2012, at 11:24 AM, Sam Tobin-Hochstadt wrote:
I think the below should be somewhat reordered, as follows:
On Thu, Aug 2, 2012 at 11:16 AM, Ryan Culpepper
difficult to evaluate for a reasonably large audience but topics
are easy to group. If you don't mind, let's leave it alone.
On Aug 2, 2012, at 11:46 AM, Sam Tobin-Hochstadt wrote:
On Thu, Aug 2, 2012 at 11:44 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Why? They are currently grouped
This interaction seems wrong to me. Did we change the semantics of
`-m` to only use submodules?
[samth@loki:~/tmp plt] racket
Welcome to Racket v5.3.0.17.
-
[samth@loki:~/tmp plt] cat x.rkt
#lang racket
(provide main)
(define (main) 42)
[samth@loki:~/tmp plt] racket -m x.rkt
main: not defined or
More generally, this is a case where you want some form of negation
(plus bounded polymorphism) in the type system, but that's not
something I know how to add straightforwardly to Typed Racket.
Sam
On Tue, Aug 7, 2012 at 1:07 PM, Eric Dobson eric.n.dob...@gmail.com wrote:
No it is not possible
Yes, if you can do that, then it will all work nicely.
On Tue, Aug 7, 2012 at 1:59 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Altho in Neil's case, it maybe that he can positively state the types
allowed in the leaves.
Robby
On Tue, Aug 7, 2012 at 12:55 PM, Sam Tobin-Hochstadt sa
On Tue, Aug 14, 2012 at 11:52 PM, Neil Toronto neil.toro...@gmail.com wrote:
Some typed for loops would have to be reimplemented, unless inference
improves a lot. To make this easier, I've attached an example implementation
of `for/vector:' and `for*/vector:'. It allows both body and result
On Wed, Aug 15, 2012 at 9:54 AM, Neil Toronto neil.toro...@gmail.com wrote:
On 08/15/2012 05:24 AM, Sam Tobin-Hochstadt wrote:
On Tue, Aug 14, 2012 at 11:52 PM, Neil Toronto neil.toro...@gmail.com
wrote:
Some typed for loops would have to be reimplemented, unless inference
improves a lot
Since I've made the Typed Racket tests run in parallel, there have
been intermittent errors in DrDr, like this:
http://drdr.racket-lang.org/25278/collects/tests/typed-racket/run.rkt
I'm not sure exactly what could be causing this -- I don't think
promises should ever fail to `force`. Might
Thanks for figuring this out!
It looks like Patch 3 or readline 6.2 fixes this bug:
http://lists.gnu.org/archive/html/bug-readline/2012-07/msg2.html
but I don't know how to detect that, or whether any systems are
shipping it.
Sam
On Tue, Aug 28, 2012 at 11:39 PM, ry...@racket-lang.org
201 - 300 of 697 matches
Mail list logo
