On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote:
On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
No, the browser isn't hiding the query part.
Here are the content of two script files:
$ cat a.scrpt
open location
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote:
Not that it matters, but did you try to see if it's the file
permissions?
Oh, they are!
[...]
And that was it!!
If I run:
$ xattr
On Fri, Nov 21, 2014 at 9:29 AM, Eli Barzilay e...@barzilay.org wrote:
On Fri, Nov 21, 2014 at 8:46 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote:
Not that it matters, but did you try to see if it's the file
On Fri, Nov 21, 2014 at 9:45 AM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
We have labs of macs here at IU.
[*sigh* at that kind of spending...]
And this is why I said that it's not really relevant -- AFAICT, the fact
that things are setup in a way that prevents passing queries and
No that doesn't work. You can see why if you follow the technical details
in the thread (and get a Mac maybe).
Matthew is adding something to the setup collection and drr will use it and
we will be all set I expect.
Sam doing some testing after that point will be useful tho.
Robby
On Friday,
On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Oh, my apologies. I thought you meant something different.
Yes, this works.
Ah, in this case, the patch that I sent earlier should work fine.
(I could do a pull request, but it should really be tested...)
I
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay e...@barzilay.org wrote:
On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Oh, my apologies. I thought you meant something different.
Yes, this works.
Ah, in this case, the patch that I sent earlier should work
Would bringing a browser view into DrRacket be a third way, or would that
be no different?
(That said the native win OS and apple OS 'help' browser viewers aren't
exactly inspiring - are they a fourth option?)
S.
On Fri, 21 Nov 2014 at 21:26 Robby Findler ro...@eecs.northwestern.edu
wrote:
On
Is it significant that on the non-working machine running 6.1.1.5
(perform-search xyz) returns
file:///Applications/Racket%20v6.1.1.5/doc/search/index.html
But my working instance running 6.1.1.5 (it is a day later build)
running (perform-search XYX) returns
Ah, thanks! I see that if it is trying to load the docs that are in
/Applications then it runs the code below, which somehow magically
drops the query argument by the time safari gets it. It's not because
of the space, either; when I rename Racket v6.1.1.5 to just r, it
also doesn't work. But if I
On Thu, Nov 20, 2014 at 5:22 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Ah, thanks! I see that if it is trying to load the docs that are in
/Applications then it runs the code below, which somehow magically
drops the query argument by the time safari gets it. It's not because
of the
in DrRacket:
(send-url file:///Users/spdegabrielle/hello.html?q=aaaba)
works
(send-url file:///Applications/hello.html?q=xyz)
works
(send-url
file:///Applications/Racket%20v6.1.1.5/doc/search/index.html?q=xyz)
fails
in bash:
Miriams-MacBook-Pro-2:~ spdegabrielle$ open
On Thu, Nov 20, 2014 at 7:51 PM, Stephen De Gabrielle
spdegabrie...@gmail.com wrote:
in DrRacket:
(send-url file:///Users/spdegabrielle/hello.html?q=aaaba)
works
(send-url file:///Applications/hello.html?q=xyz)
works
In that case I think that it's a different problem than what I
No, the browser isn't hiding the query part.
Here are the content of two script files:
$ cat a.scrpt
open location file:///Applications/r/doc/search/index.html?q=xyz
$ cat b.scrpt
open location
file:///Users/robby/Library/Racket/development/doc/search/index.html?q=xyz
Running osascript
On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
No, the browser isn't hiding the query part.
Here are the content of two script files:
$ cat a.scrpt
open location file:///Applications/r/doc/search/index.html?q=xyz
$ cat b.scrpt
open location
I've noticed that too.
You can search the bug db at
http://bugs.racket-lang.org/query/
Kind regards,
S.
On Wed, 19 Nov 2014 at 20:48 Kevin Forchione lyss...@gmail.com wrote:
I’m not sure if this has been reported yet, but it seems the PF1 “search
in help desk for …” feature no longer
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with
Racket help. Is that the same thing? --Geoff
On Nov 19, 2014, at 15:46 , Kevin Forchione lyss...@gmail.com wrote:
I’m not sure if this has been reported yet, but it seems the PF1 “search in
help desk for …” feature
It's the search for selected term.
S.
On Wed, 19 Nov 2014 at 20:54 Geoffrey S. Knauth ge...@knauth.org wrote:
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with
Racket help. Is that the same thing? --Geoff
On Nov 19, 2014, at 15:46 , Kevin Forchione lyss...@gmail.com
I tried this which worked:
typed the word: cond
highlighted it
right-clicked it
browser came up with:
file:///${HOME}/test/plt/git/plt/racket/doc/search/index.html?q=cond
On Nov 19, 2014, at 15:53 , Geoffrey S. Knauth ge...@knauth.org wrote:
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and
On Nov 19, 2014, at 1:53 PM, Geoffrey S. Knauth ge...@knauth.org wrote:
I tried F1 on my Racket 6.1.1 on OSX 10.10.1 and the browser came up with
Racket help. Is that the same thing? --Geoff
Yes. Interesting. Looks like we’re running the same OS. F5 runs the program for
me, F1 does
Hmm. I typed cond, highlighted cond, pressed F1, help on cond came up in
browser. But I built my own Racket from git sources, on 2014-11-06.
On Nov 19, 2014, at 15:55 , Stephen De Gabrielle spdegabrie...@gmail.com
wrote:
It's the search for selected term.
S.
On Wed, 19 Nov 2014 at
I just tried it on the latest osx 64 bit full build.
Logged as
You won't be surprised to learn that my machine is one of the ones
where it works. :(
If I understand correctly, you're getting to the browser, but not
seeing the right thing in the browser? Is that right? If so, what is
the url in the url bar? And which browser? Does it work if you switch
to
I'm such a doofus I forgot to put it on the bug report
Safari, Version 8.0 (10600.1.25.1)
file:///Applications/Racket%20v6.1.1.5/doc/search/index.html
OS X 10.10.1 (14B25)
all updates up-to-date
Welcome to DrRacket, version 6.1.1.5--2014-11-19(6c9172f/a) [3m].
Language: racket/gui; memory
If you navigate to the file in the file: url, is it empty?
Robby
On Wed, Nov 19, 2014 at 5:52 PM, Stephen De Gabrielle
spdegabrie...@gmail.com wrote:
I'm such a doofus I forgot to put it on the bug report
Safari, Version 8.0 (10600.1.25.1)
This: file:///Applications/Racket%20v6.1.1.5/doc/search/index.html
it just shows the search screen as usual - just without the
search text.
s.
On Wed Nov 19 2014 at 11:58:01 PM Robby Findler ro...@eecs.northwestern.edu
wrote:
If you navigate to the file in the file: url, is it empty?
Robby
You ran raco setup with no arguments to completion?
On Tuesday, November 18, 2014, j...@racket-lang.org wrote:
jay has updated `master' from 26fe66b141 to 804599fe98.
http://git.racket-lang.org/plt/26fe66b141..804599fe98
=[ One Commit
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type variable must be used with ...
variable: Y in: Y
And it points precisely to where Y
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
It's quite possible that this is Eli's bug again, but boy this causes
headaches:
Type Checker: parse error in type;
type
Attached is the screen shot of the error report.
On Nov 18, 2014, at 11:54 AM, Matthias Felleisen matth...@ccs.neu.edu wrote:
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
wrote:
On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
matth...@ccs.neu.edu
No, I ran it, it barfed, and then I figured out what went wrong. Then
I sent you an email with a fix. Unfortunately, that fix isn't enough
to make the program type check. Partly, there's an internal error, but
that's a missing case that will take work to support properly.
We can do better with
What I sent is the exact program that produced the attached error in today's
drracket [updated around 10am].
On Nov 18, 2014, at 11:58 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
No, I ran it, it barfed, and then I figured out what went wrong. Then
I sent you an email with a fix.
With that program, I get this error message:
unsaved editor:7:48: Type Checker: parse error in type; type
variable must be used with ... variable: Y in: Y
Which you also got. What changed it from the parse error to the
unbound identifier error?
Sam
On Tue, Nov 18, 2014 at 12:05 PM,
I am sending you the status line from
DrRacket, version 6.1.1.5--2014-11-18(c4684c12/d) [3m].
On Nov 18, 2014, at 12:10 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
With that program, I get this error message:
unsaved editor:7:48: Type Checker: parse error in type; type
This change broke racklog:
http://drdr.racket-lang.org/29418/pkgs/racklog/tests/bible.rkt
(and others)
Jay
On Wed, Oct 22, 2014 at 4:32 PM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from 9c30da7682 to 1f764a3dba.
http://git.racket-lang.org/plt/9c30da7682..1f764a3dba
In terms of bugs, it’s probably related to this problem with call-with-values
and poly-dots:
#lang typed/racket
(: f : (All (a ...) [(- (values Any ... a)) - Void]))
(define (f g)
(call-with-values g void))
;=
. . ../../Applications/Racket
Yes, fix (for the internal error) coming soon.
Sam
On Tue, Nov 18, 2014 at 5:24 PM, Alexander D. Knauth
alexan...@knauth.org wrote:
In terms of bugs, it’s probably related to this problem with call-with-values
and poly-dots:
#lang typed/racket
(: f : (All (a ...) [(- (values Any ... a)) -
On 2014-11-11 17:25:37 -0500, Asumu Takikawa wrote:
I found this unintuitive. Is there anything I can do to get the bytecode
compiler to help me out here?
FWIW, I also tried looking at the optimizer logs in both cases to see if
there was much difference. Grepping for inlining shows counts of 75
Currently, the documentation says that the default value is
default-server-root-path but that is not a link to anything. In the
actual code, this is
(define-runtime-path default-web-root default-web-root)
I think the right thing to do is just change what the default argument
says to be
On Mon, Nov 3, 2014 at 8:03 PM, Matthias Felleisen matth...@ccs.neu.edu
wrote:
What this really shows is how bad the choice of load was. I would bet a
beer or something that you'll find #lang/require and friend will eventually
make your life easier and happier.
Ouch. I'm going to need that
On Oct 27, 2014, at 7:00 PM, Dan Liebgold wrote:
I have a namespace behind a particular API. I'd love to hook into the module
system to control compilation, visibility, etc. of all the definitions and
references.
Here's an example. 'a' is available in the top level module even though it
Matthias -
Hello... so, yes, Jay and I continued our discussion on the IRC channel.
To answer your question, yes, the code as written should behave as it does.
What I wanted was to make a not visible to the enclosing module unless it
was exported via provide or an analogous operation. Jay's
On Nov 3, 2014, at 10:10 PM, Dan Liebgold wrote:
Jay's idea was to use define to create a module binding from a to a
generated or decorated name, provide a (or not), and put the generated name
in the hash table. I'm pursuing that approach currently.
Yeap, that would be the next idea (now
Hi,
I downloaded racket-6.1-src-builtpkgs.tgz. According to src/README, this
should be compilable on cygwin with --enable-shared. I did not have
success doing so.
The first problem was dynsrc/mzdyn.c failed to
compile due to expected specifier-qualifier-list before ‘(’ token
error
Yes, our Cygwin support has rotted in a variety of small but exotic
ways.
I'm in the process of fixing the problems. The enclosed patch applies
to the development branch or the v6.1.1 release candidate, and it might
work for you, but I'm still checking it.
The fixed-up implementation will be
On Wed, Oct 29, 2014 at 9:46 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I don't think that it's true of every type system everywhere is a
good rationale for not owning backwards-incompatible changes (even
when they are good backwards incompatible changes, as this one
certainly is). I
On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
How about this one? (Starting from Matthias's offering and editing the
apology from Sam's a bit.)
Typed Racket closes a safety hole in the typing for the
exception system. The revised type system restricts
I like the last sentence of Sam's latest bullet.
Robby
On Thursday, October 30, 2014, Matthias Felleisen matth...@ccs.neu.edu
wrote:
On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu
javascript:; wrote:
How about this one? (Starting from Matthias's offering and
On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Exception handling changed to be safe. This may break existing
programs that rely on unsafe behavior.
* Casts and predicates are supported in typed regions.
I think these two bullets (esp the first one) need to make
Reviewing the git logs, it looks like I made a mistake (according to
commit b192620b0d1c26773167c6afa14ceb6303588591), and that it's
actually the docs that are wrong. Sorry. Fixing it now.
On Wed, Oct 29, 2014 at 4:33 PM, stch...@racket-lang.org wrote:
stchang has updated `master' from
Sam: can you elaborate on precisely what the hole was? In particular,
if there are any safe programs that the type system now rejects, I'd
be in favor of a slightly different wording.
Robby
On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
On Wed, Oct 29, 2014 at
There were two holes.
1. We allowed exception handlers to assume that they received values
of type `exn`, even when that wasn't right.
2. We allowed typed programs to throw arbitrary values, which means
that you could throw a typed function to an untyped handler, which
could then misuse it.
Both
Yes, that's what I mean. I don't think that the sentence This may
break existing programs that rely on unsafe behavior. is accurate.
How about This may break existing programs. or Closing this hole
requires us to disallow some programs that do not signal runtime
errors. or something like that?
I prefer the second sentence I sent to either of those. Fundamentally
I think it is reasonable for the sentence to be slightly apologetic.
There was a problem, we fixed it, but the fix may require some pain of
our users. There's nothing wrong with that; it's just a fact of life.
No shame in hiding
On Wed, Oct 29, 2014 at 5:47 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Yes, that's what I mean. I don't think that the sentence This may
break existing programs that rely on unsafe behavior. is accurate.
How about This may break existing programs. or Closing this hole
requires us to
The reason I don't like the second sentence you wrote is that it's
true of every type system everywhere. And also, the more significant
change for users will almost certainly be the first one (it's required
changes to several packages already) -- almost no one raises anything
that isn't an exn,
Here's another idea:
* To ensure safety, Typed Racket now prohibits raising any values
other than exns and simple flat data. Some existing programs may now
have type errors because of this.
Sam
On Wed, Oct 29, 2014 at 6:12 PM, Sam Tobin-Hochstadt
sa...@cs.indiana.edu wrote:
The reason I don't
1. Can we please, pretty please, drop these nows from every single sentence?
2. I think this is close to what we may wish to say. Here is a small edit:
* Typed Racket closes a safety hole due to the types for the
exception system. The revised type system restricts raise so
that only
properly - corresponding fashion?
Otherwise fine
On Oct 29, 2014, at 6:54 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
On Wed, Oct 29, 2014 at 6:42 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
1. Can we please, pretty please, drop these nows from every single
sentence?
On Wed, Oct 29, 2014 at 6:57 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
properly - corresponding fashion?
No, it's a different change (the one I numbered 1. in my first message).
Sam
Otherwise fine
On Oct 29, 2014, at 6:54 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
On
I don't think that it's true of every type system everywhere is a
good rationale for not owning backwards-incompatible changes (even
when they are good backwards incompatible changes, as this one
certainly is). I do agree with you, however, that what is especially
bad is requiring changes to
On 2014-10-28 12:05:12 -0400, sa...@racket-lang.org wrote:
| Avoid requires of contracts when they're not used.
|
| This changes when various libraries that provide contract
| support to possible contracted bindings to declare when
| those bindings are needed.
Is there some unit test we can
On Tue, Oct 28, 2014 at 12:26 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2014-10-28 12:05:12 -0400, sa...@racket-lang.org wrote:
| Avoid requires of contracts when they're not used.
|
| This changes when various libraries that provide contract
| support to possible contracted bindings to
I think you probably want to get information directly from
`compiler/cm`, probably `compiler/cm` doesn't provide the right
information right now, and probably some adjustments to `compiler/cm`
could get you useful information through the logging API. Also,
`parallel-compile-files` might need to
On 2014-10-28 17:58:49 -0400, as...@racket-lang.org wrote:
64bc7d4 Asumu Takikawa as...@racket-lang.org 2014-10-28 17:41
:
| Send thunks to check-syntax for type tooltips
|
| This avoids the cost of computing the printed types
| to some degree. It still does have overhead (~5%) over
| not
I am always inclined to update. Is there also some new benefit or
feature to 3.1?
Jay
On Mon, Oct 27, 2014 at 9:29 AM, Gustavo Frederico Temple Pedrosa
gustavo.pedr...@eldorado.org.br wrote:
Hello all,
I submitted a commit for updating the libffi, I tested it and it works fine:
Thank you, Jay.
Yes, e. g. six new architectures were added and many testsuits have been updated
From: Jay McCarthy [mailto:jay.mccar...@gmail.com]
Sent: segunda-feira, 27 de outubro de 2014 11:38
To: Gustavo Frederico Temple Pedrosa
Cc: dev@racket-lang.org
Subject: Re: [racket-dev
At Mon, 27 Oct 2014 12:25:22 -0400, Ryan Culpepper wrote:
mflatt:
- optimizations (most from Gustavo Massaccesi) (82ffd405, 25c05d66,
a7a912ee, 1f2f7a1d, d14b4a80, 769c5b6e, 35eb6562, 15423988)
- add replace-evt (as suggested by Jan Dvořák) (bc69a9b0)
- fixing letrec updates? (eg
For me:
* Added the drracket/check-syntax library to facilitate check
syntax-like behavior in other IDEs
* Redex: explained the benchmark programs added a conditional-form
to metafunctions
* 2htdp/image's notion of equality no longer considers an image's baseline.
* Contracts:
For TR:
* Exception handling changed to be safe. This may break existing
programs that rely on unsafe behavior.
* Exports from the GUI and framework libraries have types, and can be
used transparently from typed programs.
* Casts and predicates are supported in typed regions.
Vincent
On 10/27/2014 12:25 PM, Ryan Culpepper wrote:
neil:
- remove dependence on libgtkgl (c601b82f)
* For OpenGL on Linux, removed dependence on libgtkgl and added support
for core profiles (see `set-legacy?`).
Neil ⊥
_
Racket Developers list:
I'm having trouble understanding the problem.
In your example, is 'base the namespace API that you have available?
It has a way of referencing an identifier and making a binding? And
you are looking at a way to take modules like 'm1 (which are really
written using this namespace mechanism) and
On 10/23/2014 12:48 PM, Ryan Culpepper wrote:
* Neil Toronto neil.toro...@gmail.com
- Plot Tests
- Images Tests
- Inspect icons
- Math tests
All pass.
Neil ⊥
_
Racket Developers list:
http://lists.racket-lang.org/dev
Hi Michael,
On 2014-10-24 17:55:24 +, Michael Bernstein wrote:
Proposed Racket version (based on the Erlang example)
uses #:where keyword:
(define/match (insert X lst)
[{ X '() } (list X)]
[{ X (cons H T) } #:where (= X H) (list* X H T)]
* Jon Rafkind rafk...@cs.utah.edu
Release tests for (one of the) linux releases:
- Test that the `racket' and `racket-textual' source releases
compile fine (note that they're still called `plt' and `mz' at
this stage).
- Test that the binary installers for both work, try each
* Jon Rafkind rafk...@cs.utah.edu
Release tests for (one of the) linux releases:
- Test that the `racket' and `racket-textual' source releases
compile fine (note that they're still called `plt' and `mz' at
this stage).
- Test that the binary installers for both work, try each
David Bremner da...@tethera.net writes:
Building racket 6.1, from racket-6.1-src.tgz, the debian build
calls make install twice,
the first time with PLT_EXTRA=--no-docs --no-zo, and the second time
with PLT_EXTRA=--no-launcher --no-install --no-post-install. This
second (main) call is
David Bremner da...@tethera.net writes:
As a point of information, I can duplicate the crash with yesterdays
snapshot (20141022-d9f2a84). I didn't bother getting a backtrace there,
but I can if it would help.
I verified that the version of libcairo2 is what makes a difference.
Installing
Hi David,
FWIW here is how I built the libraries for DrRacket from scratch on OS X.
I found out that it was important that the libcairo loaded by DrRacket
was built with the same versions of the helper libraries that
DrRacket loads.
The readme has the details:
Jens Axel Søgaard jensa...@soegaard.net writes:
It might me worth doubling checking that the versions of the shared
libaries that Racket loads matches your expectations.
Then again, maybe there were an API change in Cairo that
caused the problem - and if so the above is irrelevant.
Since
I can confirm the crash with a Cairo 1.14 build on 64-bit Mac OS X.
I've submitted a bug report for Cairo (Bug 85372).
For the record, here's how I assembled the report:
The crash happened for me when building the plot documentation. By
successively pruning the document's source, I whittled the
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
DrRacket on Mac OS X, 64-bit, Installer Package won't start on double-click.
At the command line, I get this error message:
[:~] matthias% /Applications/Racket/DrRacket.app/Contents/MacOS/DrRacket
Is it possible that you installed on top of an existing v6.0.900.900
installation (for the previous release's candidate)?
The file
share/pkgs/drracket/drracket/private/compiled/rectangle-intersect_rkt.zo
existed in v6.0.900.900, but it does not exist in v6.1.0.900, because
the library moved
Yes, I did and expected this to be the problem. Can't we add a line to the Mac
package installer that removes left-over stuff?
I deleted the old installation and re-installed and drracket starts up fine.
-- Matthias
On Oct 23, 2014, at 2:26 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Ad, I hadn't guessed that you use the Installer Package. It isn't one
of our normal distribution mode (i.e., there's no link to it on the
eventual download page), so far, and so I forgot about it, but it is
certaily prominent on the pre-release page.
I'm not yet sure of the right repair, but I'll
(I know, and I hadn't used it in forever.)
On Oct 23, 2014, at 9:04 PM, Matthew Flatt wrote:
Ad, I hadn't guessed that you use the Installer Package. It isn't one
of our normal distribution mode (i.e., there's no link to it on the
eventual download page), so far, and so I forgot about it,
#lang racket/base
;; This module has a binding and an effect, so we can see that it was
;; required even when we can't get to it.
(module example racket/base
(define x 1)
(printf I'm running here\n)
(provide x))
;; If you comment this in, you'll see the normal way to require it.
#;
(let
I agree that this is broken, but I'd like to put it on hold, because
its another basic problem with the way the current macro expander
represents lexical context.
Adjusting the context of the expressions changes the result, because
its the macro-introduced nature of the `main` definition that
At Wed, 22 Oct 2014 10:25:51 -0400, Sam Tobin-Hochstadt wrote:
On Wed, Oct 22, 2014 at 10:20 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Expansions that produce this bad `identifier-binding` result probably
happen up all the time. They don't bother the bytecode compiler,
because the
On Wed, Oct 22, 2014 at 10:20 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
I agree that this is broken, but I'd like to put it on hold, because
its another basic problem with the way the current macro expander
represents lexical context.
Adjusting the context of the expressions changes the
So, yeah... that appears to work!
I use replace-context to give the resulting require syntax output the
context of the original argument. Here's what the change looks like, with
my old way commented (unrelated note: path is actually relative):
(define-require-syntax (gamelib stx)
(syntax-case
If you have (require X) then the identifiers imported from X get the
lexical context of X. (Slight note: In something like (rename-in X [A
B]) then they get the context of A.)
If a macro made X, then the lexical context is equivalent to #f,
because every macro application gets a fresh lexical
Many of the changes are documentation, but there are some TR changes
that we may go back on; it's not clear yet.
Were there other changes that jumped out at you as worth double checking?
And yes, once Ryan announces a new build built, re-running tests is
always welcome!
Robby
On Wed, Oct 22,
That makes sense.
It turns out I need replace-context *and* quasisyntax/loc (and back to
absolute paths):
(define-require-syntax (gamelib stx)
(syntax-case stx ()
((_ name)
(replace-context stx (quasisyntax/loc stx (file #,(format
~a/some/path/~a.dc (current-directory) (syntax-datum
A tiny note for Google... the source location information isn't part
of hygiene, it's like an orthogonal axis.
When a form like (syntax ) is used, it creates a new piece of
syntax where the origin is that particular file/line. When you use
syntax/loc, you create a new syntax object but you
* Stephen Chang stch...@ccs.neu.edu
- Lazy Racket Tests
- Lazy stepper tests
All pass.
* Eli Barzilay e...@barzilay.org
- Swindle Tests
- XREPL Tests
- Verify PL language
- Racket Tree: compare new distribution tree to previous one
- Run the unix installer tests
- Run
On Thu, Oct 16, 2014 at 6:13 AM, Ryan Culpepper ry...@ccs.neu.edu wrote:
Checklist items for the v6.1.1 release
(using the v6.1.0.900 release candidate build)
* John Clements cleme...@brinckerhoff.org
- Stepper Tests
done.
Updates:
- Stepper Updates: update HISTORY
(updates
DOn't we want to merge this into 6.1.1?
On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote:
stamourv has updated `master' from 538bb75d64 to 9030680e31.
http://git.racket-lang.org/plt/538bb75d64..9030680e31
=[ One Commit
Yes, if convenient.
I already emailed Ryan privately about it.
Vincent
At Mon, 20 Oct 2014 17:54:59 -0400,
Matthias Felleisen wrote:
DOn't we want to merge this into 6.1.1?
On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote:
stamourv has updated `master' from
201 - 300 of 7549 matches
Mail list logo
