Re: [racket-dev] make --clone installed pkgs

2015-02-18 Thread Sam Tobin-Hochstadt
-Hochstadt wrote: On Tue, Feb 17, 2015 at 6:41 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 17 Feb 2015 14:12:54 -0500, Sam Tobin-Hochstadt wrote: Does another system have a Racket-like in-place option (that works better)? I haven't used it, but GHC has an in-place build

Re: [racket-dev] make --clone installed pkgs

2015-02-17 Thread Sam Tobin-Hochstadt
On Tue, Feb 17, 2015 at 8:49 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Feb 17, 2015, at 7:59 PM, Sam Tobin-Hochstadt wrote: I expect that the packages that update for Matthias on `make` are packages in main-distribution, Personally, I have used the 'same' one-line command

Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Sam Tobin-Hochstadt
On Tue, Feb 17, 2015 at 11:31 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: 2015-02-17 14:26 GMT+01:00 Robby Findler ro...@eecs.northwestern.edu: I don't think the libraries are sufficient as is, but I would resist adding aliases. A alternative: Added the word zip to the documentation

Re: [racket-dev] make --clone installed pkgs

2015-02-17 Thread Sam Tobin-Hochstadt
I think there are two seperable issues here: 1. Can we make `raco pkg update -a` better/more robust in this case? 2. Should `make` run `raco pkg update -a`? In reverse order: - I think `make`, by default, shouldn't update anything, and that we should have a different Makefile target which

Re: [racket-dev] In Typed Racket, struct declarations do not work in an internal definition context

2015-01-24 Thread Sam Tobin-Hochstadt
On Thu, Jan 22, 2015 at 3:57 PM, Alexis King lexi.lam...@gmail.com wrote: I can work around this in a variety of ways—I can extract this into an untyped module and use require/typed, I can use vectors to “fake” structs and provide an appropriate interface, etc. Still, I wonder if there are any

Re: [racket-dev] Implementing contracts for async channels

2015-01-15 Thread Sam Tobin-Hochstadt
On Thu, Jan 15, 2015 at 4:33 PM, Alexis King lexi.lam...@gmail.com wrote: As an update, I’ve made a bit more progress on this. I’ve implemented an impersonate-async-channel function, and I’ve actually included this in the exports from racket/contract. I also realized the blame information is

Re: [racket-dev] [racket/web-server] 1c6411: Removing out-dated WebSocket implementation

2015-01-14 Thread Sam Tobin-Hochstadt
How does this fit with backward compatibility? Sam On Wed, Jan 14, 2015 at 2:26 PM, Jay McCarthy jay.mccar...@gmail.com wrote: Branch: refs/heads/master Home: https://github.com/racket/web-server Commit: 1c6411c670c1aa86df507a99c64dfc2701d36c0f

[racket-dev] Continuous integration for Racket on Windows

2014-12-15 Thread Sam Tobin-Hochstadt
Over the last couple days, I've set up a continuous integration system for Racket that runs on Windows, using the service provided by AppVeyor. You can see the current state here: https://ci.appveyor.com/project/plt/racket It's configured by the `appveyor.yml` file in the root of the

Re: [racket-dev] collects search order

2014-12-12 Thread Sam Tobin-Hochstadt
On Fri, Dec 12, 2014 at 8:46 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 11 Dec 2014 17:00:14 -0800, Dan Liebgold wrote: If I use the -X and -S command line parameters to Racket to make my local collects dir the first one searched, it makes it so I can't do (require srfi/1). Yes,

Re: [racket-dev] The repository is now split

2014-12-05 Thread Sam Tobin-Hochstadt
The rate limit only applies to API calls, not to downloads, so I don't think that could be it. Sam On Fri, Dec 5, 2014 at 1:07 PM, Stephen Chang stch...@ccs.neu.edu wrote: Typed make and it timed out again. Could it be a github rate limit? https://developer.github.com/v3/rate_limit/

Re: [racket-dev] The repository is now split

2014-12-05 Thread Sam Tobin-Hochstadt
The bug in frtime has been fixed now. Sam On Fri, Dec 5, 2014 at 3:06 PM, Stephen Chang stch...@ccs.neu.edu wrote: One more error, with frtime: raco setup: 3 making: pkgs/frtime raco setup: 3 making: pkgs/frtime/pkgs raco setup: 3 making: pkgs/frtime/pkgs/frtime (FrTime)

[racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
I've just push a change to the plt repository that removes almost all the packages. The split repositories are all in the `racket` organization on GitHub. You can see them here: https://github.com/racket/ I *highly* recommend creating a new clone of the repository, and re-running `make`. This

Re: [racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
On Thu Dec 04 2014 at 11:27:45 AM Matthias Felleisen matth...@ccs.neu.edu wrote: For those of you who have my level of experience with such things, here is what Sam's phrase I *highly* recommend creating a new clone of the repository, and re-running `make`. means, for your value of the name

Re: [racket-dev] The repository is now split

2014-12-04 Thread Sam Tobin-Hochstadt
to worry about aborting make. Sam John On Thu, Dec 4, 2014 at 8:32 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Thu Dec 04 2014 at 11:27:45 AM Matthias Felleisen matth...@ccs.neu.edu wrote: For those of you who have my level of experience with such things, here is what Sam's

Re: [racket-dev] Line editing in the default REPL

2014-12-03 Thread Sam Tobin-Hochstadt
On Wed, Dec 3, 2014 at 6:10 PM, Eli Barzilay e...@barzilay.org wrote: If you're talking about implementing line editing yourself, then my personal reaction to that would be wonderful, but doing it properly is something that is difficult and easy to underestimate I've already done this

Re: [racket-dev] new package system collections and conflicts

2014-11-30 Thread Sam Tobin-Hochstadt
On Sun, Nov 30, 2014 at 10:44 AM, Matthew Flatt mfl...@cs.utah.edu wrote: There are plenty of real examples where it's sensible for different packages to introduce modules in overlapping collections, though. Sometimes, it's because different packages implement different facets of a conceptual

Re: [racket-dev] Splitting the Racket repository

2014-11-30 Thread Sam Tobin-Hochstadt
On Sat, Nov 29, 2014 at 8:16 PM, Eli Barzilay e...@barzilay.org wrote: On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: All the history for the code has been preserved, and for code that dates back before 2005, the history is extended back to the original CVS

Re: [racket-dev] new package system collections and conflicts

2014-11-30 Thread Sam Tobin-Hochstadt
On Sun, Nov 30, 2014 at 12:23 PM, Neil Van Dyke n...@neilvandyke.org wrote: Packages may find it convenient to build and provide reusable functionality with many organizational names. This is particularly true of data, as many packages may have useful data structures. Of course, as such

Re: [racket-dev] Splitting the Racket repository

2014-11-30 Thread Sam Tobin-Hochstadt
On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: # Changes for git users If you build Racket from source from Git, that build now contains fewer packages. There is not yet an single-step way to get all of the split pkgs as git repositories; we plan to write

[racket-dev] Splitting the Racket repository

2014-11-29 Thread Sam Tobin-Hochstadt
As Matthias mentioned in his email a few days ago, we're in the process of splitting the repository so that it doesn't bundle together so many packages. I've started this process already, and a number of packages have already been split out. For most people, this won't have a big impact, but I'll

Re: [racket-dev] Splitting the Racket repository

2014-11-29 Thread Sam Tobin-Hochstadt
On Sat, Nov 29, 2014 at 8:16 PM, Eli Barzilay e...@barzilay.org wrote: On Sat, Nov 29, 2014 at 7:14 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: All the history for the code has been preserved, and for code that dates back before 2005, the history is extended back to the original CVS

Re: [racket-dev] Line editing in the default REPL

2014-11-25 Thread Sam Tobin-Hochstadt
to libreadline. Sam At Mon, 24 Nov 2014 18:02:45 -0500, Sam Tobin-Hochstadt wrote: My understanding of the licensing issues is that if the code works with both libeditline and libreadline then it isn't a derived work of readline, and therefore could be licensed under the LGPL, like the rest of Racket

Re: [racket-dev] Line editing in the default REPL

2014-11-24 Thread Sam Tobin-Hochstadt
My understanding of the licensing issues is that if the code works with both libeditline and libreadline then it isn't a derived work of readline, and therefore could be licensed under the LGPL, like the rest of Racket. Furthermore, turning use of libeditline on by default wouldn't be linking to

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Sam Tobin-Hochstadt
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 wrote: It's quite possible that this is Eli's bug again, but boy this causes

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Sam Tobin-Hochstadt
, Matthias Felleisen matth...@ccs.neu.edu wrote: 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

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Sam Tobin-Hochstadt
...@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 wrote: It's quite possible that this is Eli's bug again, but boy this causes headaches: Type Checker: parse error

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-30 Thread Sam Tobin-Hochstadt
with all possible arguments. As a side-effect, previously well-typed programs may fail to typecheck. Sam Robby On Wed, Oct 29, 2014 at 5:12 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: The reason I don't like the second sentence you wrote is that it's true of every type system

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
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 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

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
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 3:30 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Exception handling changed to be safe

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
. 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 it. Robby On Wed, Oct 29, 2014 at 4:55 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Wed, Oct 29, 2014 at 5:47 PM, Robby

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
breaks existing programs. If you don't, I'd say Existing programs may suffer from new type errors due to this restriction. On Oct 29, 2014, at 6:32 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Here's another idea: * To ensure safety, Typed Racket now prohibits raising any

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] [plt] Push #29450: master branch updated

2014-10-28 Thread Sam Tobin-Hochstadt
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

Re: [racket-dev] Strange issue with identifier-binding being wrong for lexical variables

2014-10-22 Thread Sam Tobin-Hochstadt
enough for me to do. Sam At Tue, 21 Oct 2014 22:26:26 -0400, Sam Tobin-Hochstadt wrote: I've found what I think is a bug in the expander where lexical references can get an `identifier-binding` result that suggests that they're module-bound. In particular, you need these three files

[racket-dev] Strange issue with identifier-binding being wrong for lexical variables

2014-10-21 Thread Sam Tobin-Hochstadt
I've found what I think is a bug in the expander where lexical references can get an `identifier-binding` result that suggests that they're module-bound. In particular, you need these three files: bugtest.rkt: (module bugtest wraptest.rkt) bugtest.scm: (define (gcbench) (define main #f)

Re: [racket-dev] Working Cairo-bindings for Racket?

2014-09-27 Thread Sam Tobin-Hochstadt
antti.karttu...@gmail.com wrote: On Fri, Sep 26, 2014 at 4:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Instead of changing my Planet package, it would be better to provide an FFI to cairo based on the existing one that's in the library you mention. I don't think any of my package

Re: [racket-dev] Working Cairo-bindings for Racket?

2014-09-26 Thread Sam Tobin-Hochstadt
Instead of changing my Planet package, it would be better to provide an FFI to cairo based on the existing one that's in the library you mention. I don't think any of my package would be useful for that, though. Sam On Fri, Sep 26, 2014 at 8:44 AM, Antti Karttunen antti.karttu...@gmail.com

Re: [racket-dev] [plt] Push #29214: master branch updated

2014-09-03 Thread Sam Tobin-Hochstadt
On Wed, Sep 3, 2014 at 10:53 AM, Jay McCarthy j...@racket-lang.org wrote: I need to revert this because it horribly breaks the bootstrapping phase. It may be possible to make the core have a package in the future, but it's not an easy change. Is this because code expects #f instead of base? Or

Re: [racket-dev] current packages' docs, errors, and conflicts

2014-08-18 Thread Sam Tobin-Hochstadt
On Tue, Jul 8, 2014 at 8:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 08 Jul 2014 14:08:27 +0200, Jan Dvořák wrote: Can you provide some guidelines on docs naming? I am responsible for half of the conflicts. :-) A package X that provides a collection X of the same name should

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-17 Thread Sam Tobin-Hochstadt
How would that change things here? The issue is about finalizer-for-what, and that chaperones/impersonators affect object identity. Sam On Sun, Aug 17, 2014 at 3:37 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Could we benefit from an abstract/opaque Finalizer type here? I know we don't

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-17 Thread Sam Tobin-Hochstadt
a 'trusted' 'thing' in this case except that this would open the door for other such things. On Aug 17, 2014, at 3:39 PM, Sam Tobin-Hochstadt wrote: How would that change things here? The issue is about finalizer-for-what, and that chaperones/impersonators affect object identity. Sam

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-16 Thread Sam Tobin-Hochstadt
That's clearly the right solution for this particular bug, but it does seem like there's a more general problem here. Sam On Sat, Aug 16, 2014 at 10:40 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Seems simplest to be to have typed racket know to trust register finalizer and thus avoid

Re: [racket-dev] SGC as default

2014-08-12 Thread Sam Tobin-Hochstadt
How difficult would it be to allow the bootstrap process to use a preexisting Racket installation? This would alleviate some of the performance loss, for example in rebuilds by developers or in continuous integration. Sam On Aug 11, 2014 11:16 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've

Re: [racket-dev] Release Announcement for v6.1

2014-07-29 Thread Sam Tobin-Hochstadt
Plumbers look like a fundamental new runtime system concept, and so I think we should mention them, even though most people won't use them. Sam On Jul 29, 2014 4:02 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 28 Jul 2014 14:33:07 -0400, Ryan Culpepper wrote: mflatt: - ARM JIT: fix

Re: [racket-dev] Surprising behavior of for/fold. Bug?

2014-07-29 Thread Sam Tobin-Hochstadt
`#:when` and `#:unless` introduce nesting, a la `for/fold*`. So yes, you should expect this. Sam On Tue, Jul 29, 2014 at 1:23 PM, J. Ian Johnson i...@ccs.neu.edu wrote: This will eat all your memory, (for/list ([x '(0 1 2 3 4 5 6)] #:unless (= x 4) [i (in-naturals)])

Re: [racket-dev] Unable to expand cross-phase persistent module

2014-07-29 Thread Sam Tobin-Hochstadt
Here's a simpler version of this problem: #lang racket (parameterize ([current-namespace (make-base-namespace)]) (expand (datum-syntax #f '(module m '#%kernel (#%declare #:cross-phase-persistent) Sam On Wed, Jul 16, 2014 at 12:59 PM, Sam Tobin-Hochstadt

Re: [racket-dev] A tricky chaperone puzzle

2014-07-25 Thread Sam Tobin-Hochstadt
still have it wrong, the implementation of 2 was straightforward. I would have overlooked the need to restrict `chaperone-struct` to chaperones of accessors and mutators if you hadn't mentioned it. At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote: Consider the following module

Re: [racket-dev] [plt] Push #29098: master branch updated

2014-07-25 Thread Sam Tobin-Hochstadt
On Fri, Jul 25, 2014 at 10:39 AM, mfl...@racket-lang.org wrote: | As far as I can tell, we have to compute ourselves whether a | date is in daylight-saving time based on specifications of | when daylight and standard times start. That part seems tricky | and could use extra review. From a

[racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Sam Tobin-Hochstadt
Consider the following module: (module m racket (struct x [a]) (define v1 (x 'secret)) (define v2 (x 'public)) (provide v1 v2) (provide/contract [x-a (- x? (not/c 'secret))])) It appears that this ensures that you can't get 'secret. But, it turns out that I can write a function outside

[racket-dev] strange top-level binding for module-defined identifiers

2014-07-24 Thread Sam Tobin-Hochstadt
If you take this program (which is a lot like the implementation of `racket/fixnum`): #lang racket/base (require '#%flfxnum racket/private/vector-wraps racket/unsafe/ops (for-syntax racket/base)) (define-vector-wraps fxvector fixnum? fixnum? fxvector?

Re: [racket-dev] strange top-level binding for module-defined identifiers

2014-07-24 Thread Sam Tobin-Hochstadt
binding. At this point it seems unlikely that it's a bug, since it happens all the time, but I still don't understand. Sam On Thu, Jul 24, 2014 at 4:08 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: If you take this program (which is a lot like the implementation of `racket/fixnum

Re: [racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Sam Tobin-Hochstadt
be supported. Sam On Thu, Jul 24, 2014 at 4:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Nice example. Offhand, I think that #2 is right, but I'll have to look at it more to be sure. At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote: Consider the following module: (module m racket

Re: [racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Sam Tobin-Hochstadt
, 2014 at 3:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Nice example. Offhand, I think that #2 is right, but I'll have to look at it more to be sure. At Thu, 24 Jul 2014 15:45:18 -0400, Sam Tobin-Hochstadt wrote: Consider the following module: (module m racket (struct x

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

2014-07-23 Thread Sam Tobin-Hochstadt
The margin-notes appear to work correctly on Chrome but wrong on Firefox on my Linux system. Sam On Wed, Jul 23, 2014 at 8:13 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Believe it or not I actually tried that. Screenshot: http://www.eecs.northwestern.edu/~robby/tmp/x.png (that's

Re: [racket-dev] src-id in identifier-binding for same-module definitions

2014-07-17 Thread Sam Tobin-Hochstadt
the symbol that you need? At Wed, 16 Jul 2014 23:32:46 -0400, Sam Tobin-Hochstadt wrote: Ok, I thought I had figured this out, but I was wrong. Here's what I want to be able to do: - take an identifier in a fully-expanded source file - translate that identifier to some symbol in a predictable

[racket-dev] Unable to expand cross-phase persistent module

2014-07-16 Thread Sam Tobin-Hochstadt
Running `expand` on the module defined in `racket/tcp` errors. In transcript form: - (define p (open-input-file /home/samth/sw/plt/racket/collects/racket/tcp.rkt)) - (define mod (read-syntax (object-name p) p)) - (parameterize ([current-namespace (make-base-namespace)]) (expand

Re: [racket-dev] src-id in identifier-binding for same-module definitions

2014-07-16 Thread Sam Tobin-Hochstadt
...@cs.utah.edu wrote: Yes, it can be .2, etc. The numbers are generated as needed to create distinct names --- deterministically for a given module compilation, assuming that all macros used by expansion are deterministic. At Wed, 16 Jul 2014 07:36:50 -0400, Sam Tobin-Hochstadt wrote: Does that mean

[racket-dev] src-id in identifier-binding for same-module definitions

2014-07-15 Thread Sam Tobin-Hochstadt
If you take this program and fully-expand it in the macro stepper: #lang racket (struct posn (x y)) (define p1 (posn 1 2)) You see that the residual program has an application of the `posn1` function, which is the hidden constructor. And indeed, the fully-expanded program has a definition of

Re: [racket-dev] Semantics of struct-out with except-out

2014-07-15 Thread Sam Tobin-Hochstadt
On Tue, Jul 15, 2014 at 9:23 AM, J. Ian Johnson i...@ccs.neu.edu wrote: I'm working on enhancing struct-info to carry field names as symbols to do nice hygienic things: http://lists.racket-lang.org/users/archive/2014-July/063271.html I now see that struct-out always provides all field

Re: [racket-dev] Semantics of struct-out with except-out

2014-07-15 Thread Sam Tobin-Hochstadt
on this feature of struct-out (and probably contract-out's struct form as well). If we don't actually have a need for this, then let's wait, since it seems like it adds a bunch of complexity. Sam Thanks, -Ian - Original Message - From: Sam Tobin-Hochstadt sa...@cs.indiana.edu To: J

Re: [racket-dev] [plt] Push #29023: master branch updated

2014-07-14 Thread Sam Tobin-Hochstadt
This seems like a situation where the new error message is potentially more confusing, even though it's technically more correct. There are lots of other caveats we could add (assuming there isn't a compiler bug, etc) but I think adding them would make Racket harder to use. Sam On Mon, Jul 14,

Re: [racket-dev] [plt] Push #29023: master branch updated

2014-07-14 Thread Sam Tobin-Hochstadt
but they wrote the contract. Robby On Monday, July 14, 2014, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: This seems like a situation where the new error message is potentially more confusing, even though it's technically more correct. There are lots of other caveats we could add

Re: [racket-dev] [plt] Push #29023: master branch updated

2014-07-14 Thread Sam Tobin-Hochstadt
don't think the additional line in that error message is very helpful, and it's already a long and scary error message. Sam Let's try this experiment for a while and see what happens. On Jul 14, 2014, at 9:46 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I think the vast majority

Re: [racket-dev] racket/fasl allows sandbox escape

2014-07-10 Thread Sam Tobin-Hochstadt
for the report! At Wed, 9 Jul 2014 09:39:50 -0400, Sam Tobin-Hochstadt wrote: The following exchange with rudybot, which is running the programs in a sandbox, demonstrates the issue: 09:35 samth rudybot: eval (let () (local-require compiler/zo-marshal compiler/zo-structs racket/fasl) (fasl-s-exp

[racket-dev] racket/fasl allows sandbox escape

2014-07-09 Thread Sam Tobin-Hochstadt
The following exchange with rudybot, which is running the programs in a sandbox, demonstrates the issue: 09:35 samth rudybot: eval (let () (local-require compiler/zo-marshal compiler/zo-structs racket/fasl) (fasl-s-exp (zo-marshal (compilation-top 3 (prefix 0 '() '()) (let-void 1 #t

Re: [racket-dev] current packages' docs, errors, and conflicts

2014-07-08 Thread Sam Tobin-Hochstadt
On Tue, Jul 8, 2014 at 8:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 08 Jul 2014 14:08:27 +0200, Jan Dvořák wrote: On Tue, 2014-07-08 at 12:46 +0100, Matthew Flatt wrote: The rightmost column of the table may need some explanation. The column highlights conflicts among names of

Re: [racket-dev] current packages' docs, errors, and conflicts

2014-07-08 Thread Sam Tobin-Hochstadt
On Tue, Jul 8, 2014 at 11:35 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 8 Jul 2014 10:15:10 -0400, Sam Tobin-Hochstadt wrote: - I wonder if using Docker instead of VirtualBox could make incrementality easier, since that's one of things that they focus on. I don't think it would

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
I think this is a good idea, and something that I've wanted for a long time. But there are ways to make it much better, and generalize to all loops. First, recognize that a `for/...` loop is really a recursive function, which is passing along a bunch of arguments. In this setting, `continue`

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
I disagree strongly that this is un-rackety. Consider the following loop: (define v ) (let loop ([i 100]) (define e (vector-ref v i)) (cond [(zero? i) null] [(= 999 e) null] [(even? e) (loop (add1 i))] [else (cons e (loop add1 i))])) I don't think that's

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
On Wed, Jul 2, 2014 at 12:52 AM, John Clements cleme...@brinckerhoff.org wrote: On Jul 1, 2014, at 3:46 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I disagree strongly that this is un-rackety. Consider the following loop: (define v ) (let loop ([i 100]) (define e (vector-ref v

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-30 Thread Sam Tobin-Hochstadt
via their demo features, I see no difference. What latex distribution are you using? This is TeX Live, I think 2013 with some modifications that Debian/Ubuntu makes. Sam Robby On Mon, Jun 30, 2014 at 6:50 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Attached are the two pdfs (x1

Re: [racket-dev] help wanted: watch out for missing `@history[...]`

2014-06-30 Thread Sam Tobin-Hochstadt
On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Similarly, I don't know how much it makes sense to document refinements to types in `typed/...` libraries (and I'll leave that question to the TR implementers). I think we make a design choice to make a type

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
On Fri, Jun 27, 2014 at 4:30 AM, ro...@racket-lang.org wrote: 5280395 Robby Findler ro...@racket-lang.org 2014-06-27 03:25 : | add the --dvipdf flag to scribble | | This adds a new back-end pipeline for generating pdf to | scribble, with the hope that included picts (e.g., those |

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
somehow. But apparently if you have a retina mac, this flag isn't necessary. Robby On Fri, Jun 27, 2014 at 7:22 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Fri, Jun 27, 2014 at 4:30 AM, ro...@racket-lang.org wrote: 5280395 Robby Findler ro...@racket-lang.org 2014-06-27 03:25

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
And the one with the second x in the bottom line lower down is the one that's from --pdf and is not intended? Are there other differences between the pictures? Sam On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
(the one whose name has 8.01.25 is the uglier one). This effect is, I believe, one of the main things people mean when they say that Redex's typesetting is ugly (and it is indeed ugly in larger quantities). Robby On Fri, Jun 27, 2014 at 9:23 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
and not using system fonts, and thus there wouldn't be any such heuristics. Is that not true? Sam At Fri, 27 Jun 2014 11:30:06 -0400, Sam Tobin-Hochstadt wrote: I'm trying to determine how different they look on my machine, but unfortunately the two processes put the lines at different places

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
On Fri, Jun 27, 2014 at 12:30 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 27 Jun 2014 11:56:39 -0400, Sam Tobin-Hochstadt wrote: On Fri, Jun 27, 2014 at 11:45 AM, Matthew Flatt mfl...@cs.utah.edu wrote: For some reason, the way that PDF fragments are pulled in by `pdflatex` makes

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Sam Tobin-Hochstadt
On Fri, Jun 27, 2014 at 2:23 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 27 Jun 2014 13:43:46 -0400, Sam Tobin-Hochstadt wrote: On Fri, Jun 27, 2014 at 12:30 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 27 Jun 2014 11:56:39 -0400, Sam Tobin-Hochstadt wrote: On Fri, Jun 27

Re: [racket-dev] [plt] Push #28936: master branch updated

2014-06-26 Thread Sam Tobin-Hochstadt
Can we make this error message a little more informative? People find this confusing. Sam On Jun 26, 2014 2:22 AM, as...@racket-lang.org wrote: asumu has updated `master' from 5339cbaac9 to 9a14c9c420. http://git.racket-lang.org/plt/5339cbaac9..9a14c9c420 =[ One Commit

Re: [racket-dev] [plt] Push #28936: master branch updated

2014-06-26 Thread Sam Tobin-Hochstadt
Yeah, that looks nicer. On Thu, Jun 26, 2014 at 9:47 AM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-06-26 07:30:40 -0400, Sam Tobin-Hochstadt wrote: Can we make this error message a little more informative? People find this confusing. Sure, did you have something in mind

Re: [racket-dev] [plt] Push #28919: master branch updated

2014-06-23 Thread Sam Tobin-Hochstadt
On Mon, Jun 23, 2014 at 8:29 AM, mfl...@racket-lang.org wrote: 6a5a303 Matthew Flatt mfl...@racket-lang.org 2014-06-23 13:23:47 +0100 : | avoid getting stuck on non-UTF-8 symbol encodings in bytecode | Does this fix apply to keywords as well? I assume that strings are handled differently.

Re: [racket-dev] Broken build?

2014-06-20 Thread Sam Tobin-Hochstadt
The current Travis build succeed https://travis-ci.org/plt/racket so I think you probably have some stale compiled files somewhere. Sam On Fri, Jun 20, 2014 at 10:03 AM, J. Ian Johnson i...@ccs.neu.edu wrote: I just pulled and make gives me this libracket.a(optimize.o): In function

Re: [racket-dev] Machinery for eliding contracts

2014-06-13 Thread Sam Tobin-Hochstadt
Yes, I think this would allow all the optimizations that Eric talked about. Sam On Jun 13, 2014 4:26 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Would it be useful to get blame information back from a value, just like you can currently get the contract back? Robby On Tue, Jun 10,

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Sam Tobin-Hochstadt
On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Am I right that the contract on 'f' is actually (- symbol? any)? And if so, where is the information coming from that lets you elide the check? No, the `(boxof symbol?)` contract has to be kept around because of

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Sam Tobin-Hochstadt
On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson eric.n.dob...@gmail.com wrote: It would be nice if the contract on the input to g could be elided. It seems like this could be done by using something like prop:contracted but that allowed accessing the parties that agreed to the contract. I'm

Re: [racket-dev] [plt] Push #28817: master branch updated

2014-05-28 Thread Sam Tobin-Hochstadt
On Thu, May 29, 2014 at 4:26 AM, mfl...@racket-lang.org wrote: | optimizer: ad hoc optimization of predicates applied to constructions | | This is probably more of a job for Typed Racket, but maybe it's | useful to detect some obviously unnecessary allocations of lists, etc. I think this is

Re: [racket-dev] [plt] Push #28781: master branch updated

2014-05-26 Thread Sam Tobin-Hochstadt
On Sat, May 24, 2014 at 8:02 AM, Jay McCarthy jay.mccar...@gmail.com wrote: On May 23, 2014, at 3:59 PM, Greg Hendershott greghendersh...@gmail.com wrote: Feedback from a relatively naive Racket user: 1. +External effects are exemplified by input/output (or I/O). I/O is the +action of a

Re: [racket-dev] Easy disassembly of JIT-compiled procedures

2014-05-25 Thread Sam Tobin-Hochstadt
On Sat, May 24, 2014 at 5:53 AM, Greg Hendershott greghendersh...@gmail.com wrote: Testing of the new code (which is on by default) on platforms other than x86-64 Linux would be greatly appreciated. I tried and it works great on OS X, for untyped Racket. As for Typed Racket, I tried:

Re: [racket-dev] Easy disassembly of JIT-compiled procedures

2014-05-23 Thread Sam Tobin-Hochstadt
Racket6.0.0.4) Wed, 21 May 2014 19:50:05 -0400 от Sam Tobin-Hochstadt sa...@cs.indiana.edu: On Wed, May 21, 2014 at 6:12 PM, Neil Toronto neil.toro...@gmail.com wrote: On 05/21/2014 02:09 PM, Sam Tobin-Hochstadt wrote: Racketeers, Thanks to some improvements from Matthew, my `disassemble

Re: [racket-dev] Easy disassembly of JIT-compiled procedures

2014-05-22 Thread Sam Tobin-Hochstadt
On Wed, May 21, 2014 at 4:09 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Racketeers, Thanks to some improvements from Matthew, my `disassemble` package is now much easier to use. I've just pushed a new version of this, which uses an in-Racket disassembler based on Göran Weinholt's

[racket-dev] Easy disassembly of JIT-compiled procedures

2014-05-21 Thread Sam Tobin-Hochstadt
Racketeers, Thanks to some improvements from Matthew, my `disassemble` package is now much easier to use. [samth@punge:~/sw/disassemble (master) plt] racket Welcome to Racket v6.0.1.10. (require disassemble) (define (const x) 1) (disassemble const) 8943FCmov

Re: [racket-dev] Easy disassembly of JIT-compiled procedures

2014-05-21 Thread Sam Tobin-Hochstadt
On Wed, May 21, 2014 at 6:12 PM, Neil Toronto neil.toro...@gmail.com wrote: On 05/21/2014 02:09 PM, Sam Tobin-Hochstadt wrote: Racketeers, Thanks to some improvements from Matthew, my `disassemble` package is now much easier to use. [samth@punge:~/sw/disassemble (master) plt] racket

[racket-dev] Determining if a resolved module path is a real module name

2014-05-16 Thread Sam Tobin-Hochstadt
Sometimes, `resolved-module-path-name` produces the symbol '|expanded module|. Is this the only symbol that's produced that _isn't_ the actual name of a module? Also, given that I'm calling `expand` on a module form, is it possible to do something so that I _don't_ end up with '|expanded module|

Re: [racket-dev] Determining if a resolved module path is a real module name

2014-05-16 Thread Sam Tobin-Hochstadt
for this case, that's plenty for me. Sam At Fri, 16 May 2014 09:58:12 -0400, Sam Tobin-Hochstadt wrote: Sometimes, `resolved-module-path-name` produces the symbol '|expanded module|. Is this the only symbol that's produced that _isn't_ the actual name of a module? Also, given that I'm calling

[racket-dev] Travis now providing CI testing for Racket on Mac OS X

2014-05-14 Thread Sam Tobin-Hochstadt
Travis, the free CI system that we're using in addition to DrDr, is now available on Macs, and I've turned that on for Racket. You can see the first results (sadly featuring a transient error) here: https://travis-ci.org/plt/racket/builds/25168300 This now happens on every push, so we should be

  1   2   3   4   5   6   7   8   >