Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-16 Thread David Van Horn
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?)]))

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-16 Thread David Van Horn
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

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread David Van Horn
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

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread David Van Horn
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

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread David Van Horn
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

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread David Van Horn
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

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread David Van Horn
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

Re: [racket-dev] Pre-Release Checklist for v6.1.1, Second Call

2014-10-23 Thread David Van Horn
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

[racket-dev] requested package not available: draw-x86_64-macosx-2

2014-05-03 Thread David Van Horn
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

Re: [racket-dev] requested package not available: draw-x86_64-macosx-2

2014-05-03 Thread David Van Horn
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

Re: [racket-dev] Pre-Release Checklist for v6.0.1

2014-04-17 Thread David Van Horn
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

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

2013-12-30 Thread David Van Horn
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

[racket-dev] Fwd: Call for satellite events for TFP 2014 in the Netherlands (May 26-28, 2014)

2013-08-23 Thread David Van Horn
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,

Re: [racket-dev] proposal for moving to packages

2013-05-21 Thread David Van Horn
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

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

2013-04-17 Thread David Van Horn
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

Re: [racket-dev] Purpose of typed/racket/no-check

2013-04-01 Thread David Van Horn
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

[racket-dev] gracket on retina

2013-02-27 Thread David Van Horn
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

[racket-dev] Pull request for make-base-eval

2013-02-22 Thread David Van Horn
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.

Re: [racket-dev] Pull request for make-base-eval

2013-02-22 Thread David Van Horn
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

[racket-dev] Scribble: feature request - module paths for image

2013-02-15 Thread David Van Horn
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

Re: [racket-dev] Scribble: feature request - module paths for image

2013-02-15 Thread David Van Horn
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

Re: [racket-dev] Scribble: feature request - module paths for image

2013-02-15 Thread David Van Horn
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

Re: [racket-dev] How to avoid to modify .gitignore when pull request

2012-12-13 Thread David Van Horn
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

[racket-dev] Quick feedback on first planet2 experience

2012-12-03 Thread David Van Horn
- 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:

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
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

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
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

Re: [racket-dev] The `var` pattern in `match`

2012-11-28 Thread David Van Horn
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

Re: [racket-dev] check-match?

2012-11-19 Thread David Van Horn
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

Re: [racket-dev] check-match?

2012-11-19 Thread David Van Horn
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

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

2012-10-17 Thread David Van Horn
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

Re: [racket-dev] Racket Questions?

2012-09-15 Thread David Van Horn
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

[racket-dev] Empty 5.3 release announcements on web

2012-08-07 Thread David Van Horn
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

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

2012-07-24 Thread David Van Horn
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

[racket-dev] arity error with latest from git

2012-07-17 Thread David Van Horn
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:

Re: [racket-dev] arity error with latest from git

2012-07-17 Thread David Van Horn
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

[racket-dev] redex.racket-lang.org Index of /

2012-07-08 Thread David Van Horn
redex.racket-lang.org seems to have reverted to serving the index of /. David _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Comparison functions and the `data' collection

2012-06-21 Thread David Van Horn
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

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

2012-04-18 Thread David Van Horn
On 4/18/12 11:00 AM, Ryan Culpepper wrote: - EoPL Tests Done. David _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] provide specs in eopl in repository use (all-defined-out) instead of (all-defined)

2012-04-05 Thread David Van Horn
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

Re: [racket-dev] EOPL tests

2012-02-24 Thread David Van Horn
On 2/21/12 2:38 PM, David Van Horn wrote: 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. The test suite is now in tests/eopl. David _ Racket Developers list: http://lists.racket

[racket-dev] EOPL tests

2012-02-21 Thread David Van Horn
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

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread David Van Horn
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

Re: [racket-dev] very unhelpful beginner language error message, possible fix proposed

2012-02-13 Thread David Van Horn
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

Re: [racket-dev] very unhelpful beginner language error message, possible fix proposed

2012-02-13 Thread David Van Horn
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

Re: [racket-dev] very unhelpful beginner language error message, possible fix proposed

2012-02-13 Thread David Van Horn
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

Re: [racket-dev] new logo

2012-02-12 Thread David Van Horn
On 2/11/12 3:04 PM, Asumu Takikawa wrote: On 2012-02-11 13:23:46 -0500, Matthias Felleisen wrote: Have you guys considered a small change that makes the 'r' more lambda-ish? Maybe an 'r' in different scripts can be considered? For example, an R rotunda:

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread David Van Horn
On 12/20/11 8:02 AM, Tony Garnock-Jones wrote: On 2011-12-20 4:07 AM, Robby Findler wrote: I like the idea, but I think our twitter feed and blog aren't updated enough. When we decided to put a twitter feed on the rabbitmq.com homepage, we went with simply including *any tweet mentioning

Re: [racket-dev] feature request: gcd, lcm for rationals

2011-12-14 Thread David Van Horn
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

Re: [racket-dev] feature request: gcd, lcm for rationals

2011-12-10 Thread David Van Horn
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 are fairly trivial things in Q. I took x

Re: [racket-dev] feature request: gcd, lcm for rationals

2011-12-10 Thread David Van Horn
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

[racket-dev] Universe and Redex

2011-04-23 Thread David Van Horn
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

[racket-dev] Building docs in v5.0.99.900

2011-02-07 Thread David Van Horn
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

[racket-dev] secref problems

2011-01-27 Thread David Van Horn
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

Re: [racket-dev] Something wrong with check-within

2010-11-11 Thread David Van Horn
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

[racket-dev] set operations

2010-11-10 Thread David Van Horn
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)])

[racket-dev] BSL, test: bad syntax

2010-10-20 Thread David Van Horn
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:

Re: [racket-dev] BSL, test: bad syntax

2010-10-20 Thread David Van Horn
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

[racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
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

Re: [racket-dev] --enable-macprefix gone?

2010-10-19 Thread David Van Horn
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

Re: [racket-dev] =?

2010-10-06 Thread David Van Horn
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

Re: [racket-dev] for/first and multiple values

2010-08-29 Thread David Van Horn
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

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

2010-07-27 Thread David Van Horn
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