Re: [racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Carl Eastlund
Carl Eastlund On Wed, Jul 10, 2013 at 11:28 PM, Matthew Flatt wrote: > At Wed, 10 Jul 2013 23:15:46 -0400, Ryan Culpepper wrote: > > On 07/10/2013 09:04 PM, Asumu Takikawa wrote: > > > Hi all, > > > > > > I'm currently trying to fix the Typed Racket unit tests. I think I've > > > narrowed down

Re: [racket-dev] Compilation dependencies

2013-07-10 Thread Matthew Flatt
Thanks for the additional information. Something definitely went wrong, but I don't have any idea what happened, and I haven't been able to provoke similar behavior myself. At Wed, 10 Jul 2013 20:13:22 -0400, Carl Eastlund wrote: > There were some dependency errors: > > raco setup: --- checking p

Re: [racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Matthew Flatt
At Wed, 10 Jul 2013 23:15:46 -0400, Ryan Culpepper wrote: > On 07/10/2013 09:04 PM, Asumu Takikawa wrote: > > Hi all, > > > > I'm currently trying to fix the Typed Racket unit tests. I think I've > > narrowed down the issue to a certain syntax property for keyword > > functions. > > > > The issue i

Re: [racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Ryan Culpepper
On 07/10/2013 09:04 PM, Asumu Takikawa wrote: Hi all, I'm currently trying to fix the Typed Racket unit tests. I think I've narrowed down the issue to a certain syntax property for keyword functions. The issue is illustrated by the following example: #lang racket (require racket/file

Re: [racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Eric Dobson
I'm not sure about the exact problem. But I have some work for the TR unit tests that make it use a saner way of running the tests, and it allows for the TR syntax properties to be gensyms. It will likely be a week or two until they are in HEAD (tons of commits that need to be cleaned up and review

[racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Asumu Takikawa
Hi all, I'm currently trying to fix the Typed Racket unit tests. I think I've narrowed down the issue to a certain syntax property for keyword functions. The issue is illustrated by the following example: #lang racket (require racket/file (for-syntax racket/file

Re: [racket-dev] Compilation dependencies

2013-07-10 Thread Carl Eastlund
There were some dependency errors: raco setup: --- checking package dependencies --- raco setup: found undeclared dependency: raco setup: mode: build raco setup: for package: "errortrace-lib" raco setup: on package: "compatibility-lib" raco setup: dependent source: zo-compile_rkt.dep raco

Re: [racket-dev] Compilation dependencies

2013-07-10 Thread Matthew Flatt
At Wed, 10 Jul 2013 19:41:44 -0400, Carl Eastlund wrote: > raco setup: pkgs/math/private/distributions/beta-dist.rkt:69:42: link: > module mismatch; > raco setup:possibly, bytecode file needs re-compile because > dependencies changed > > I got this error after updating my git checkout and ru

[racket-dev] Compilation dependencies

2013-07-10 Thread Carl Eastlund
raco setup: pkgs/math/private/distributions/beta-dist.rkt:69:42: link: module mismatch; raco setup:possibly, bytecode file needs re-compile because dependencies changed I got this error after updating my git checkout and running "make". If "make" and "raco setup" don't re-compile dependenci

Re: [racket-dev] snapshot builds

2013-07-10 Thread Matthew Flatt
At Thu, 4 Jul 2013 12:24:42 -0400, Sam Tobin-Hochstadt wrote: > On Tue, Jul 2, 2013 at 3:40 PM, Matthew Flatt wrote: > > Here's a rough cut at a snapshot build with the new package > > organization: > > > > http://www.cs.utah.edu/plt/snapshots/20130702-c90365e/ > > The latest snapshots (32 and

Re: [racket-dev] generate-temporaries and #%top

2013-07-10 Thread Ryan Culpepper
This sounds like a job for the zero-values define-syntaxes trick, documented here: http://docs.racket-lang.org/reference/syntax-model.html#%28part._macro-introduced-bindings%29 Ryan On 07/10/2013 03:40 PM, Carl Eastlund wrote: I'm having trouble with some of the features of define-generics i

[racket-dev] generate-temporaries and #%top

2013-07-10 Thread Carl Eastlund
I'm having trouble with some of the features of define-generics in top-level contexts. Specifically, if I generate any names with generate-temporaries, and there are forward references to them in the expanded code, then the forward reference fails to expand because #%top is not bound in the contex

[racket-dev] Generics update

2013-07-10 Thread Carl Eastlund
I just pushed some of my work on generics in response to the mailing list thread about define/generic. What I pushed includes: - define-generics now takes keyword arguments in any order, and allows them before and/or after the method declarations - #:defaults now works exactly like #:methods; it

Re: [racket-dev] making DrRacket.app

2013-07-10 Thread Geoffrey S. Knauth
On Jul 8, 2013, at 21:15 , Matthew Flatt wrote: > Repairs pushed --- thanks for the report! And thanks for the fix! I have a symlink: ls -n ~/test/plt/git/plt/racket /usr/local/racket which I run after this get-racket script (below), and now everything is running perfectly. Geoffrey -