On 7/27/10 11:17 PM, Eli Barzilay wrote:
The release announcement sketch that I have so far is below. Please
send edits or (changes in order) if you see anything.
* Changes (as part of 5.0) in the `racket' language compared to the
`scheme' language include constructor-style printing, a
On 8/29/10 8:33 PM, Carl Eastlund wrote:
On Sun, Aug 29, 2010 at 8:32 PM, David Van Horndvanh...@ccs.neu.edu wrote:
On 8/29/10 8:27 PM, Carl Eastlund wrote:
What do you propose for/first should return if the set s is empty?
#f?
Which will do what in a 2-valued context?
Blow up I
On 10/6/10 2:24 PM, Shriram Krishnamurthi wrote:
It would be the same as =, ie, numeric equality. It's not meant to be
some sort of generalized equality checker. It's just that we teach
our students that predicates end in ?, and that's true of symbol=?,
string=?, but not =.
So shouldn't it
Has the --enable-macprefix option been removed from the configure
script? When I configure, I get:
configure: WARNING: unrecognized options: --enable-macprefix
If so, the src/README file should be updated to reflect the change.
David
_
For
On 10/19/10 10:03 PM, Eli Barzilay wrote:
9 hours ago, David Van Horn wrote:
Has the --enable-macprefix option been removed from the configure
script? When I configure, I get:
configure: WARNING: unrecognized options: --enable-macprefix
If so, the src/README file should be updated
Are others aware of this?
Welcome to DrRacket, version 5.0.2.1--2010-08-25(-/f) [3m].
Language: Beginning Student; memory limit: 512 MB.
5
5
test: bad syntax
David
_
For list-related administrative tasks:
On 10/20/10 10:53 AM, David Van Horn wrote:
Are others aware of this?
Welcome to DrRacket, version 5.0.2.1--2010-08-25(-/f) [3m].
Language: Beginning Student; memory limit: 512 MB.
5
5
test: bad syntax
Er, I just rebuilt from git, so something is wrong on my end given the
2010-08-25 date
The set library is missing a convenient way of selecting an element from
a set, making it hard to write recursive functions matching the
inductive structure of a set.
Could you add this function, or something like it?
(define (set-choose s)
(let ((x (for/first ([x (in-set s)])
On 11/11/10 7:34 PM, Nadeem Abdul Hamid wrote:
The check-within in the follow program (in BSL/ISL) seems to hang.
I see DrRacket (5.0.1, 5.0.99) loop on this:
(check-within (make-posn (list 0)
(list 0))
(make-posn (list 0)
(list
Am I doing something wrong, or is this a bug? The references with
numbers or hyphens don't resolve, while the others do.
#lang scribble/manual
@secref[#:doc '(lib teachpack/teachpack.scrbl) simulations]
@secref[#:doc '(lib teachpack/teachpack.scrbl) interactive]
@secref[#:doc '(lib
I'm seeing this error when installing a .plt file using the current
release candidate:
...
raco setup: --- creating launchers ---
raco setup: --- building documentation ---
link: reference (phase 0) to a variable in module /Applications/Racket
Sam and I have been teaching a first year course on programming and our
final project is a distributed, multi-player game similar to this one:
http://www.gamedesign.jp/flash/dice/dice.html
Students had to write clients, servers, and AI players, and during our
final exam period, we're going
On 12/10/11 9:25 AM, David Van Horn wrote:
On 12/9/11 3:31 PM, Daniel King wrote:
On Fri, Dec 9, 2011 at 15:27, Carl Eastlundc...@ccs.neu.edu wrote:
What does divides even mean in Q? I think we need David to explain
what his extension of GCD and LCM means here, in that divisors and
multiples
On 12/14/11 5:11 AM, Marijn wrote:
(gcd-rational 2/3 2/3 2/3)
2/3
(lcm-rational 2/3 2/3 2/3)
4/9
is that 4/9 the intended result?
No, I must've messed up the definition. Fortunately, Matthew did the
right thing when he implemented lcm:
Welcome to Racket v5.2.0.6.
(lcm 2/3 2/3 2/3)
2/3
On 2/13/12 8:11 AM, Stephen Bloch wrote:
On Feb 13, 2012, at 5:05 AM, Marijn wrote:
... it highlighted the id list-sum-odd in what should have
been the 'else' case, and wrote:
list-sum-odd: expected a function call, but there is no open
parenthesis before this function
... which is really
On 2/13/12 4:20 PM, Stephen Bloch wrote:
On Feb 13, 2012, at 8:28 AM, David Van Horn wrote:
In BSL, you can detect when the first element of a clause is a variable bound
to a function, but I don't follow the reasoning about ISL. You can't
distinguish good from bad uses without running
On 2/13/12 7:32 PM, Stephen Bloch wrote:
In ISL, there's an additional case: a local variable might or might not be
bound to a function. That's a little more hassle to check, but it should be
doable at compile-time. Again, if the first element of a cond-clause is an
identifier bound to a
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 an e-mail to Asumu about a week ago that sneakily tried to get him to
take responsibility, and it sounds like he might be on it. If
Is there a test suite for EOPL? I didn't find anything in collects/eopl
or collects/tests, but eopl.rkt mentions the test harness.
David
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 4/2/12 8:42 PM, Nadeem Abdul Hamid wrote:
OK, thanks. Just wanted to make sure something wasn't broken. It's
only a minor inconvenience - my students are using the version from
the download page, while I usually use one built from source, but I've
just been using the regular 5.2.1 version to
On 4/18/12 11:00 AM, Ryan Culpepper wrote:
- EoPL Tests
Done.
David
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 6/21/12 6:04 PM, Ryan Culpepper wrote:
On 06/21/2012 09:38 AM, Eli Barzilay wrote:
More than a week ago, Ryan Culpepper wrote:
On 06/11/2012 02:36 PM, Eli Barzilay wrote:
Yesterday, Danny Yoo wrote:
It's a little unfortunate that there's a slight impedance mismatch
between what
redex.racket-lang.org seems to have reverted to serving the index of /.
David
_
Racket Developers list:
http://lists.racket-lang.org/dev
Hi,
I'm getting an arity mismatch error whenever I run a saved file in DrRacket.
Welcome to DrRacket, version 5.3.0.15--2012-07-17(3b5eb1da/d) [3m].
Language: racket [custom]; memory limit: 1024 MB.
. . ../../racket/collects/drracket/private/module-language.rkt:373:8:
On 7/17/12 5:33 PM, Matthew Flatt wrote:
I've pushed a correction related to a change today in the module name
resolver (missed a direct call in DrRacket).
Thanks for the quick fix!
I notice a small typo in the docs:
A module name resolver takes one and four arguments:
Should be two and
On 7/24/12 11:03 AM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Passed.
_
Racket Developers list:
http://lists.racket-lang.org/dev
http://download.racket-lang.org/v5.3.html
This page shows Release Announcements for Version 5.3 but no notes.
David
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 9/14/12 3:36 PM, Becca MacKenzie wrote:
Hello!
So a friend of mine just started learning Racket and was wondering if
there's a particular reason why the modulo function in racket only takes
in integers? He wrote his own mod function to take in other things but
he was just wondering what the
On 10/16/12 12:58 AM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Done.
_
Racket Developers list:
http://lists.racket-lang.org/dev
I written things like this before, so something built-in would be useful
to me too.
David
On 11/19/12 5:01 PM, Matthias Felleisen wrote:
That is cute. Why don't you just create a pull request and Ryan can integrate
it into rackunit? -- Matthias
On Nov 19, 2012, at 4:22 PM, Joe Gibbs
On 11/19/12 8:20 PM, Joe Gibbs Politz wrote:
Yeah, that is very nice! (It should begin with check not test
tho, right?)
Indeed; Jonah was writing w.r.t plai, which uses test. Should use
check- in rackunit.
I noticed that this also violates, from the rackunit docs:
Although checks are
On 11/28/12 7:53 PM, Sam Tobin-Hochstadt wrote:
Currently, `match` provides a pattern named `var`, which makes `(var
id)` equivalent to `id`, but without special cases for things like `_`
and `...`.
However, this frequently conflicts with structures that people define,
and is rarely used other
On 11/29/12 7:31 AM, Carl Eastlund wrote:
Having something like the var pattern can be useful for macros that
expand into uses of match, if the macro doesn't want to expose that a
bound variable will be a match pattern and therefore must not be _ or
Granted, there are ways around this, but
On 11/29/12 1:45 PM, Sam Tobin-Hochstadt wrote:
On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn dvanh...@ccs.neu.edu wrote:
On 11/29/12 7:31 AM, Carl Eastlund wrote:
Having something like the var pattern can be useful for macros that
expand into uses of match, if the macro doesn't want
- It's not clear what the red asterisk means here:
https://plt-etc.byu.edu:9004/search
(Sam tells me it means recently updated.)
- There's a typo (User-spcific) in the output of raco pkg show.
- The details link on the package upload page is broken:
On 12/13/12 9:22 AM, Chen Xiao wrote:
I fork the codebase on my local computer. Then I .configure make
make install, as a result, there are many compiled things like bin or
*.o files.
To avoid add them to my commit, I modify .gitignore to ignore them all.
But I can't avoid add .gitignore at
I have a scribble document that is built from two distinct locations,
which makes using the Scribble image form nearly impossible since it
takes a path relative to the build location. (My work around is
symbolic links in the file system.)
What would solve my problem is the ability to pass a
On 2/15/13 10:47 AM, Jay McCarthy wrote:
Does define-runtime-path work?
Yes, for some value of yes.
This works (specific to my context, but easy to generalize):
#lang scribble/base
@(require racket/runtime-path)
@(require (for-syntax racket/base))
@(define-runtime-module-path-index id
On 2/15/13 3:34 PM, Matthew Flatt wrote:
#lang scribble/base
@(define (fig name)
(collection-file-path name book figures))
@image[#:suffixes '(.png .pdf) (fig quick-lists1)]
Excellent! Thank you, this works (I figured I was making things worse
than they had to be, but man is it
This is a pull request to make racket/scribble make-base-eval more like
racket/sandbox make-evaluator, which was useful to me, but I wasn't sure
if the current design avoided this for some reason.
This should be a backwards compatible change, but I have not tested it.
On 2/22/13 7:05 PM, David Van Horn wrote:
This is a pull request to make racket/scribble make-base-eval more like
racket/sandbox make-evaluator, which was useful to me, but I wasn't sure
if the current design avoided this for some reason.
This should be a backwards compatible change, but I have
Having recently upgraded to a retina display mac, I see the problem
pointed out in this PR:
http://bugs.racket-lang.org/query/?cmd=viewpr=12909
Is there some way for me to help? If pointed in the right direction, I
can try to patch things. Short of that, I can be a guinea pig.
David
On 4/1/13 11:16 AM, Robby Findler wrote:
You could change the ellipsis to Integer. :)
Or no-check could bind ellipsis to some type. This would be useful for
sketching types out in no-check and then refining them to actual types
in TR.
David
Robby
On Mon, Apr 1, 2013 at 8:23 AM, Eli
On 4/17/13 10:36 PM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Done.
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 5/20/13 4:42 PM, Matthew Flatt wrote:
I used to think that we'd take advantage of the package manager by
gradually pulling parts out of the Racket git repo and making them
packages.
Now, I think we should just shift directly to a small-ish Racket core,
making everything else a package
In case anyone here is interested in running a TFP colocated event.
David
Original Message
Subject: Call for satellite events for TFP 2014 in the Netherlands (May
26-28, 2014)
Date: Fri, 23 Aug 2013 15:39:37 +0200
From: Jurriaan Hage j.h...@uu.nl
Dear all,
At this time,
On 12/29/13, 1:57 PM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Done.
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 4/17/14, 6:44 PM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Done.
_
Racket Developers list:
http://lists.racket-lang.org/dev
I just did a git pull and make and get the following error:
racket/bin/racket -U -G build/config racket/src/link-all.rkt ++dir pkgs
++dir native-pkgs --save main-distribution plt-services racket-lib
Linking packages:
plt-services
racket-lib
main-distribution
Recording packages choice in
On 5/3/14, 3:36 PM, Robby Findler wrote:
Just a guess but maybe git submodule update?
I always forget that step -- yes, that fixed it. Thanks!
David
On Saturday, May 3, 2014, David Van Horn dvanh...@cs.umd.edu wrote:
I just did a git pull and make and get the following error:
racket
On 10/23/14, 12:48 PM, Ryan Culpepper wrote:
* David Van Horn dvanh...@ccs.neu.edu
- EoPL Tests
Done.
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 1/15/15, 11:27 AM, Matthias Felleisen wrote:
Argh, I wanted the other way (negative). I always get the
directions confused. Sorry.
Right -- using (and/c real? (/c 0)) will also make this verify.
Thanks for trying it out!
David
On Jan 15, 2015, at 11:26 AM, David Van Horn dvanh
On 1/15/15, 11:04 AM, Matthias Felleisen wrote:
Well that got me all excited. So I tried to get the sample module
to pass the verification step -- until I realized how restricted
the grammar is!
(module f racket (provide (contract-out [f (real? . - .
integer?)])) (define (f n) (/ 1 (- 100
On 1/15/15, 11:17 AM, Matthias Felleisen wrote:
On Jan 15, 2015, at 11:13 AM, David Van Horn dvanh...@cs.umd.edu
wrote:
On 1/15/15, 11:04 AM, Matthias Felleisen wrote:
Well that got me all excited. So I tried to get the sample
module to pass the verification step -- until I realized
On 1/15/15 7:42 PM, Benjamin Greenman wrote:
I tried writing a small program, but got stuck pretty early on. When I
try verifying the divides? function below, the tool times out. What's
happening?
(module div racket
(provide (contract-out [divides? (- positive? positive? boolean?)]))
On 1/15/15 2:42 PM, David Van Horn wrote:
On 1/15/15, 2:13 PM, Asumu Takikawa wrote:
On 2015-01-14 19:11:59 -0500, David Van Horn wrote:
If you have questions, comments, bugs, or any other feedback, let
us know, or just file bug reports on the GitHub source code.
Nice tool! I like the web
On 1/15/15, 2:13 PM, Asumu Takikawa wrote:
On 2015-01-14 19:11:59 -0500, David Van Horn wrote:
If you have questions, comments, bugs, or any other feedback, let
us know, or just file bug reports on the GitHub source code.
Nice tool! I like the web interface too.
I was confused
On 1/15/15, 2:48 PM, Robby Findler wrote:
Can you randomly make up programs from your grammar, get example
errors from the tool, and then run those programs to see if you
find bugs in the analysis like that one?
Yes, we're planning to do this.
That said, I don't see how the bug in =/c is
58 matches
Mail list logo