[racket-dev] Behavioral subtyping for editor% and its implementing classes

2010-12-02 Thread Asumu Takikawa
Hi all, While writing contracts for classes in racket/gui, I noticed that the implementations of text% and pasteboard% do not act as behavioral subtypes of editor%, which both classes implement. In particular, consider the do-copy method from editor%. Its contract looks like this: (send

Re: [racket-dev] SSLv2 in collects

2011-04-25 Thread Asumu Takikawa
On 2011-04-25 14:54:18 -0300, David Bremner wrote: Yeah, this is a problem for the official Debian builds as well. Would it be enough just to hack out all of the mentions of SSLv2_(client|server)_method? Has anyone tried? The latest commit changes the openssl module to fail gracefully at

Re: [racket-dev] Inline caching (was Re: my '312' this semester, how we compare to others)

2011-05-04 Thread Asumu Takikawa
On 2011-05-04 18:49:13 -0400, Tony Garnock-Jones wrote: The attached (highly experimental) patch seems to improve the performance of normal sends (in the case of a cache hit) by roughly 100% - 150%. The difference between this mere factor of two improvement and the factor of six-through-ten I

[racket-dev] Non-negative real predicate?

2011-06-10 Thread Asumu Takikawa
Hi all, I've seen some locations in the docs where a currently imaginary predicate is used as a contract. e.g. the sleep function has a nonnegative-number? contract The same contract is often expressed as (and/c real? (not/c negative?)) in many locations. e.g. the get-extent method for

Re: [racket-dev] Non-negative real predicate?

2011-06-10 Thread Asumu Takikawa
On 2011-06-10 13:11:51 -0700, Matthew Flatt wrote: I'm more in favor of using `(and/c real? (not/c negative?))'. Stevie just pointed out that the following contract is equivalent and shorter: (=/c 0) so I'll go with that. Cheers, Asumu _ For

Re: [racket-dev] Roogle?

2011-08-04 Thread Asumu Takikawa
On 2011-08-05 00:08:03 -0400, Eli Barzilay wrote: Are there any *practical* uses for that thing? It could be useful if you have an idea of the name of the thing you're looking for and then want to narrow it down by type. Or you know you want a higher order function that works on a list but don't

Re: [racket-dev] online check syntax: now disabled by default

2011-09-16 Thread Asumu Takikawa
On 2011-09-16 14:49:12 -0500, Casey Klein wrote: On Thu, Sep 15, 2011 at 8:13 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yes, certainly! Core files (or just stack traces) are useful, I expect. I've been seeing a freeze roughly once a day. DrRacket gets permanently stuck with

[racket-dev] Racket home page proposal

2011-12-19 Thread Asumu Takikawa
Hi all, Currently, the Racket home page is really nice, but it leaves a significant amount of vertical space unused that could be used to communicate information. How would people feel about adding more content below the fold on the website? To be more concrete about this, here's a mockup I

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Asumu Takikawa
On 2011-12-20 08:02:15 -0500, Matthias Felleisen wrote: I do NOT like pages that have text below my laptop screen 'fold'. My eyes do glaze over. And I am off the page quickly. Taking some feedback into account, here's a second mockup: http://www.ccs.neu.edu/home/asumu/racket-home-3/ It leaves

Re: [racket-dev] bookmarks in drracket?

2012-02-03 Thread Asumu Takikawa
On 2012-02-03 12:06:16 -0500, Stephen Chang wrote: Any ideas on what the graphical representation should look like? Should it be a popup window? Or a side bar? I like the idea of a breadcrumb UI (maybe at the bottom like PLaneT?): http://en.wikipedia.org/wiki/Breadcrumb_(navigation) Cheers,

Re: [racket-dev] collections with no one responsible

2012-02-03 Thread Asumu Takikawa
On 2012-02-03 18:32:46 -0500, Sam Tobin-Hochstadt wrote: As well as: - gui-builder No one has made significant changes (other than collection-wide cleanups) to guibuilder in more than 6 years, except Asumu. Asumu, do you want to take this on? AFAIK, this doesn't even ship with the

[racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
Hi all, Stevie and I have been hacking on an addition to the class system that would allow classes to be made abstract. Abstract classes are already used in the codebase, so the idea here is to make this a language feature rather than a pattern. e.g., the private editor% class that implements

Re: [racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
On 2012-02-07 12:01:10 -0600, Robby Findler wrote: I'd say to try this position and go around in the codebase looking for abstract classes to see if it works with what we have. That's a good idea. I can look into that. One other abstract classe in the framework come to mind: the

Re: [racket-dev] Abstract classes

2012-02-07 Thread Asumu Takikawa
On 2012-02-07 12:17:18 -0600, Robby Findler wrote: That seems like an interesting thing to explore, but it is in a subtyping, not subclassing direction and probably is violated somewhere in our codebase. Overall, it seems to point to a larger redesign of the class system. That makes sense.

Re: [racket-dev] Racket logo

2012-02-08 Thread Asumu Takikawa
On 2012-02-08 19:18:47 -0600, Robby Findler wrote: John Clements and Neil Toronto have put together a new Racket logo that I've just put on the DrRacket splash screen. See what you think. Very nice work! I think it will take some getting used to, but I like how energetic it is. Cheers, Asumu

Re: [racket-dev] web pages

2012-02-11 Thread Asumu Takikawa
On 2012-02-11 13:19:11 -0500, Matthias Felleisen wrote: Asumu, did you drop the ball on your new web page design or is still in the works? -- Matthias I haven't had time to work on it since my last e-mail, though I did discuss some ideas with Sam. I don't think I will be able to find much time

Re: [racket-dev] new logo

2012-02-11 Thread Asumu Takikawa
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: http://en.wikipedia.org/wiki/R_rotunda Or perhaps a script capital R: ℛ (if that

Re: [racket-dev] Google Summer of Code

2012-02-14 Thread Asumu Takikawa
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 not, I'll take the lead. Asumu? I'm still up for it. The application process starts on the 27th but

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

2012-02-25 Thread Asumu Takikawa
On 2012-02-25 17:27:31 -0600, Robby Findler wrote: I'm now going to be using it in DrRacket to do a better job with picts in the REPL. Inspired by this talk[1] by any chance? I was thinking today that it'd be really neat if there were on-the-fly pict viewing somehow (not necessarily in DrRacket

Re: [racket-dev] submodules

2012-03-08 Thread Asumu Takikawa
This sounds great! I haven't tried it out yet, but here are some preliminary comments. On 2012-03-07 10:14:35 -0700, Matthew Flatt wrote: Submodules declared with `module' are declared locally while expanding a module body, which means that the submodules can be `require'd afterward by the

[racket-dev] Changes to `git push`

2012-03-19 Thread Asumu Takikawa
I just saw that the git project is considering changing the default behavior of the `git push` command and are taking feedback on the potential change. In case anyone is interested, here is the call for feedback: https://lwn.net/Articles/487131/ Cheers, Asumu _ Racket

Re: [racket-dev] request for triangle in slideshow/pict

2012-03-22 Thread Asumu Takikawa
On 2012-03-22 15:26:55 -0400, Stephen Chang wrote: Would anyone find it useful to have a triangle primitive in slideshow/pict? How easy would it be to add one? I told Stephen about this, but a generally useful thing is to have a procedure (and corresponding macro) that can build a pict out of a

[racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
Hi all, Recently I have been adding class contracts to parts of the GUI system. In tandem, I've also added a new feature to `class/c` that allows a contract to be opaque, which means that the contract requires that *all* public methods fields in the contracted class are themselves contracted.

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 13:17:36 -0500, Robby Findler wrote: Specifically, it seems like I can add the contract (unconstrained-domain- any) to each method to get it to be opaque without actually contributing anything of value. [...] Or is there something else going on there that I'm missing? The

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 13:37:02 -0500, Robby Findler wrote: I think that maybe I still misunderstand? Specifically, if I put an opaque object contract on a value and the contract does not mention 'm', then (send ... m) will be a runtime error The opaque class contract wouldn't produce an error on (send

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Asumu Takikawa
On 2012-04-27 17:44:06 -0400, Matthias Felleisen wrote: [[If you mentioned this issue in my office yesterday, I failed to catch it.]] I remembered/thought it as I was composing the e-mail. In the old world, I could write contracts such as (and/c (class/cc ...) (class/c ...)) and that was

[racket-dev] Getting Started install instructions

2012-05-01 Thread Asumu Takikawa
Hi all, I've long thought that the Getting Started page in the documentation is too sparse, so I discussed with Ryan and added some more content to it. The intent is to try to answer some frequent questions that beginners ask (e.g., do I want the `racket` or the `drracket` executable?). Ideally,

Re: [racket-dev] Getting Started install instructions

2012-05-01 Thread Asumu Takikawa
On 2012-05-01 16:04:18 -0400, Eli Barzilay wrote: 1. No. The download page does try to detect your platform and put the relevant download(s) first, but I don't think that even for this use case the decision should be made automatically based on that guess. What I was getting at is

[racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
Hi all, Racket currently provides several generic extensible data structure APIs such as dictionaries, sequences, streams, and so on. Unfortunately, each data structure currently has its own extension API, but no consistent convention exists: some APIs use lists of methods, some use vectors, etc.

Re: [racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
On 2012-05-09 19:01:10 -0400, Neil Van Dyke wrote: When you say dictionaries, sequences,, are you including the Racket types hash, vector, and list? Yes, the changes we made to racket/dict will work with hashes, vectors, and a-lists in the same way it did before. The only difference is when you

Re: [racket-dev] Generics and data structures

2012-05-09 Thread Asumu Takikawa
On 2012-05-09 18:02:04 -0600, Ryan Culpepper wrote: See the 'supers' argument to 'make-struct-type-property'. Create 'real-prop:sequence' that takes a vector (compatible with generics library). Define 'prop:sequence' as a backwards compatibility property that takes an old-style

[racket-dev] Abort behavior different in DrRacket Racket

2012-05-23 Thread Asumu Takikawa
Hi all, In the Guide entry on control[1], there's a section detailing prompts and abort. Here's an example from that section: (define (escape v) (abort-current-continuation (default-continuation-prompt-tag) (lambda () v))) (+ 1 (+ 1 (+ 1 (+ 1 (+ 1 (+ 1 (escape 0))) If you

[racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
`syntax/stx` for most users and provide both better error messages and identifiers that follow standard Racket naming convention. I've attached a patch that implements this. Any comments? Cheers, Asumu From f480e8511c6f162e6a35d06861fb5dcd5a3bfb7a Mon Sep 17 00:00:00 2001 From: Asumu Takikawa

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 15:12:05 -0400, Asumu Takikawa wrote: I've attached a patch that implements this. Any comments? Just realized after I sent it that I'd change two things in the patch: * `syntax-null?`, `syntax-pair?`, `syntax-list?` would be defined using `procedure-rename` to get better

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 15:09:15 -0600, Ryan Culpepper wrote: The 'stx-*' functions work on values that aren't syntax objects, so renaming them to 'syntax-*' would be misleading. Is that really so misleading though? There is already precedent for functions which take arguments not exactly matching their

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Asumu Takikawa
On 2012-06-15 17:39:27 -0400, Matthias Felleisen wrote: Sounds like this should be documented and possibly even contracted. The contracts I wrote in the patch do reflect this via the `stx-pair?` predicate, FYI. By the way, the definition of a syntax pair in the documentation is this: A

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

2012-06-21 Thread Asumu Takikawa
On 2012-06-21 13:03:18 -0400, Eli Barzilay wrote: Nice. How about adding a big deprecated to the class100 docs, and make a note to remove it in a year? That trick is neat, but would it be a problem to just remove it now? Tony had the idea that we could just put it on PLaneT and tell people to

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

2012-06-25 Thread Asumu Takikawa
On 2012-06-25 20:35:21 -0400, as...@racket-lang.org wrote: | racket/generics: add contract combinator | | The generics library now generates a `name/c` macro | for a generic interface `name`. The combinator can be | used to contract instances (or constructors) of a | generic interface across

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

2012-06-25 Thread Asumu Takikawa
On 2012-06-25 20:15:49 -0500, Robby Findler wrote: This is not directly related to your particular commit, but if I make a make-prime-dict, does apply a contract at that point (using 'contract')? If so, who are the parties that get blamed? The short answer is: the generated contract can be

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

2012-06-25 Thread Asumu Takikawa
On 2012-06-25 21:28:52 -0400, Asumu Takikawa wrote: (provide/contract [make-int-dict (- key-value-list? (simple-dict/c [dict-ref (-* (simple-dict? symbol?) (any/c) integer?)] [dict-set (- simple-dict? symbol? integer? simple-dict?)] [dict-remove

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

2012-06-25 Thread Asumu Takikawa
On 2012-06-25 20:17:33 -0600, Ryan Culpepper wrote: IIUC from your later message, you've implemented the generics analogue of object/c (per-instance contract), whereas prop:dict/contract is closer to class/c (per-type contract). It's a little fuzzy because prop:dict/contract hacks in

Re: [racket-dev] Bitwise operators

2012-06-27 Thread Asumu Takikawa
On 2012-06-19 17:54:48 -0400, Harry Spier wrote: 2. Why the names arithmetic-shift and integer-length instead of bitwise-shift and bitwise-length ? Late reply, but here's a reason: SRFI-33[1] and SRFI-60[2] already use these names. Although it looks like Racket's `arithmetic-shift` name

Re: [racket-dev] Proposal for a no-argument

2012-07-02 Thread Asumu Takikawa
On 2012-07-01 09:27:00 -0400, Eli Barzilay wrote: A more robust way to do that, which has become idiomatic in Racket is to use (gensym). (And as a sidenote, in other implementations there are various similar eq-based hacks.) IMO, this is an attempt to improve on the #f case by guaranteeing a

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-09 Thread Asumu Takikawa
On 2012-07-08 15:47:27 +0800, Grecks Grecks wrote: Hi, I post an issue on github 2 month before.  [1]https://github.com/plt/racket/issues/101 For devs: while fixing this, I noticed that the code that used to implement this menu item is still around (along with string constants) but are

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Asumu Takikawa
On 2012-07-10 07:20:59 -0500, Robby Findler wrote: Which string constants specifically were you planning to remove? I should probably check that they aren't used on planet. The `slideshow-insert-pict-box` constant doesn't appear to be used. There are also `slideshow-hide-picts,

[racket-dev] Deprecating collects

2012-07-10 Thread Asumu Takikawa
Hi all, Recently, we've made some progress on getting rid of parts of our legacy codebase (e.g., mzlib/class100). Since a release is coming up, that is an opportunity to do more cleanup. Vincent and I have been brainstorming what other collections could be set on a 1-year deprecation removal

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Asumu Takikawa
- Original Message - I agree that these should never be removed. I would not mind if they were marked in some way as these are here for legacy reasons. New code should use XYZ with specific pointers and helpful advice. Okay, we will just add the deprecation notices to the

Re: [racket-dev] [racket-bug] all/12861: promise/c does not maintain equality

2012-07-11 Thread Asumu Takikawa
(sending this e-mail to dev since it's not directly related to promise/c) On 2012-07-10 22:13:58 -0500, Robby Findler wrote: Note that this means the guard on there is now going to be gone (as it is meaningless since impersonators can arbitrarily change it). This is something that has

Re: [racket-dev] [racket-bug] all/12861: promise/c does not maintain equality

2012-07-11 Thread Asumu Takikawa
On 2012-07-11 11:33:39 -0500, Robby Findler wrote: If you're limiting access, could you provide a function-based interface that wrapped the impersonating procedures to add the checks instead of using a guard? I'm not sure this would work because the user interface for inserting the data into

Re: [racket-dev] Deprecating collects

2012-07-12 Thread Asumu Takikawa
On 2012-07-10 13:39:37 -0600, Matthew Flatt wrote: - combinator-parser [...] - test-box-recovery [...] - tex2page [...] These seem fine with me, because I think they have no current users. We've had enough versions with the test-box recovery tool that if someone really needs it, they

Re: [racket-dev] contracts not okay?

2012-07-12 Thread Asumu Takikawa
On 2012-07-12 19:38:44 -0400, Matthias Felleisen wrote: | I updated and noticed that this was now failing because interface | contracts are not check structurally (any more?). I don't think this is a case of checking structurally or not. It is not valid, for example, for the following

Re: [racket-dev] contracts not okay?

2012-07-12 Thread Asumu Takikawa
On 2012-07-12 20:19:34 -0400, Jay McCarthy wrote: First, the interface wasn't even being associated with the class. This was the source of my structural/not comment. Ah, I see. This interface was actually defined with `class-interface` before and I forgot to update the class to use the new

[racket-dev] `make-struct-type-property` and impersonators

2012-07-17 Thread Asumu Takikawa
Hi all, I mentioned an issue I had with struct type properties impersonators in the promise/c thread, but I figured I should explain this in more detail. Currently, `make-struct-type-property` takes an optional argument which is the guard for the property. This guard is a procedure that checks

[racket-dev] Official PLaneT account?

2012-07-19 Thread Asumu Takikawa
Hi all, I heard rumours that there was once an official PLT PLaneT account intended for packages maintained by the dev team. Does anyone know if it exists and how to go about getting access to it? I was thinking that it'd be more appropriate to put the 'parser-combinator' and 'tex2page' packages

[racket-dev] Coroutines (mzlib/thread)

2012-07-20 Thread Asumu Takikawa
Hi all, I've been moving some libraries from mzlib to more appropriate places recently. I was meaning to move `mzlib/thread` to `racket/coroutine`, but had some questions about its API. It appears that the coroutines from `mzlib/thread` don't actually provide a built-in way to yield the

Re: [racket-dev] Coroutines (mzlib/thread)

2012-07-21 Thread Asumu Takikawa
On 2012-07-20 21:48:38 -0400, Matthias Felleisen wrote: We can build it for real. Both interfaces have separate uses and should be kept separate. -- Matthias My first thought was that these could be provided by the same interface, but let me see if I understand what you're saying. The issue

Re: [racket-dev] small documentation bug

2012-07-25 Thread Asumu Takikawa
On 2012-07-25 01:50:19 -0400, D Herring wrote: I think that is incorrect. The Racket Reference says #void is the result only when the body is not evaluated. Thanks for the report! This was recently fixed in the pre-release version and will be in the docs for the next release. Cheers, Asumu

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

2012-07-26 Thread Asumu Takikawa
On 2012-07-25 13:26:53 -0400, Ryan Culpepper wrote: - add contracts to interfaces (6f4ad1de) Interfaces from the racket/class library now allow contracts to be specified for methods. Instances of classes that implement such contracted interfaces will be protected by these

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

2012-07-26 Thread Asumu Takikawa
On 2012-07-26 20:07:16 -0400, ro...@racket-lang.org wrote: 9356e8e Robby Findler ro...@racket-lang.org 2012-07-26 18:58 : | try out Asumu's suggestion, namely if there is a keyboard event, | then hide the definitions/interactions labels for a while (2 | seconds currently). also, when the 2

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

2012-07-26 Thread Asumu Takikawa
On 2012-07-26 19:06:38 -0500, Robby Findler wrote: How about something like this: - the contract library has better support for interfaces, generics, prompts, continuation-marks, and structs and then put those bullets, plus a bullet for struct/dc into the racket HISTORY file (if they're

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Asumu Takikawa
On 2012-08-01 09:44:13 -0400, Sam Tobin-Hochstadt wrote: * The `tex2page' and `combinator-parser' libraries have been moved from the Racket distribution to PLaneT. This should include the URLs to the planet packages, and perhaps the `require` lines. For convenience:

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

2012-08-12 Thread Asumu Takikawa
This is really great. I especially like how you can lock the docs into place. One thing I was confused by is how to activate it. It appears to activate when I type an identifier standalone. For example, when typing this into the definitions window, it shows up ($ is the cursor):

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

2012-08-21 Thread Asumu Takikawa
On 2012-08-21 12:45:03 -0400, as...@racket-lang.org wrote: | This enables the use of polymorphic contracts with generic | interfaces and their instances. If you're curious how this can be used, I have an example up as a Gist that I've also checked in as a test:

[racket-dev] #:forall for contract-out

2012-08-21 Thread Asumu Takikawa
. Cheers, Asumu From 39c7f488736dc842e6989c5088930e7b049142b5 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa as...@ccs.neu.edu Date: Tue, 21 Aug 2012 14:46:13 -0400 Subject: [PATCH] =?UTF-8?q?Add=20#:forall,=20#:=E2=88=80=20to=20contract-out?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8

Re: [racket-dev] stream confusion

2012-08-22 Thread Asumu Takikawa
On 2012-08-22 14:04:36 -0700, Martin Neal wrote: *Maybe a problem with generics? Thanks, that was a good insight. I'm pretty sure this is a problem with the addition of generics. The `stream-map` function uses the wrong bindings (the ones generated by the generics system) rather than the

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

2012-08-22 Thread Asumu Takikawa
On 2012-08-22 19:51:34 -0500, Robby Findler wrote: I had imagined that one would mostly leave it open and use f2 to close it when it was too big and open it again when there is a question. In other words, using the mouse to hover over the arrow is mostly what I'd imagined people would only do

[racket-dev] Changing call/cc

2012-08-29 Thread Asumu Takikawa
Hi all, Sam, Stevie, and I have been working on a contract mechanism for control operators and allowing delimited control to be used in Typed Racket. In the process, we've found out that `call/cc` combined with delimited control is incompatible with Typed Racket. We have a proposal for changing

Re: [racket-dev] Changing call/cc

2012-08-30 Thread Asumu Takikawa
On 2012-08-30 06:53:58 -0600, Matthew Flatt wrote: That variant is called `call/cc-via-composable' in the tests. It's meant for use with `call-with-continuation-prompt-for-composable', which is why there is an extra `call-with-continuation-prompt'. I think you may want the extra prompt in

Re: [racket-dev] Changing call/cc

2012-08-30 Thread Asumu Takikawa
On 2012-08-30 06:53:58 -0600, Matthew Flatt wrote: I think this combination of replacing both `call/cc' and `dynamic-wind' would be equivalent to a smaller change to the semantics of `call/cc', which is that it behaves as it does now if there's a shared `dynamic-wind' between the source and

Re: [racket-dev] Changing call/cc

2012-08-30 Thread Asumu Takikawa
On 2012-08-30 10:09:30 -0400, Matthias Felleisen wrote: We implemented amb before abort and abort handlers were around. Does this library use them for convenience or does it add some functionality to amb? -- Matthias It's a fancy `amb` that has nice features like `for/amb` and `in-amb`.

Re: [racket-dev] Changing call/cc

2012-09-03 Thread Asumu Takikawa
On 2012-08-30 11:36:55 -0400, Asumu Takikawa wrote: Sam and I discussed this some more, and we think it sounds workable and will go and try to add it to the Redex model and see what tests fail. We were concerned about one thing though: it sounds like this would modify the behavior of `call/cc

Re: [racket-dev] Changing call/cc

2012-09-03 Thread Asumu Takikawa
On 2012-09-04 00:45:05 -0400, Asumu Takikawa wrote: I've attached a patch that implements something like what I described Stevie's Law: Emails you send that say file attached will never have the file attached. --Asumu From a5eecb89c484f5dc643a085348dfef7885ddff26 Mon Sep 17 00:00:00 2001 From

Re: [racket-dev] Changing call/cc

2012-09-03 Thread Asumu Takikawa
On 2012-09-04 00:45:05 -0400, Asumu Takikawa wrote: would still be enough for TR, but shouldn't affect dynamic wind uses because the prompts being different should imply that all dynamic winds handlers would be run anyway. Nevermind, this appears to actually be false as the following

Re: [racket-dev] Is this expected behavior?

2012-09-17 Thread Asumu Takikawa
On 2012-09-17 11:39:55 -0600, Jordan Schatz wrote: On a freshly pulled and compiled racket: This is a known bug, see PR 13096: http://bugs.racket-lang.org/query/?cmd=viewpr=13096 It does indeed seem to be an issue with submodules, but the precise problem is hard to track down. Cheers, Asumu

[racket-dev] Top level is hopeless or bug?

2012-09-17 Thread Asumu Takikawa
Hi all, Is the following interaction the expected behavior here or is it a bug? Welcome to Racket v5.3.0.24. - (module foo racket (define x 0) (provide x)) - (require 'foo) - x 0 - (module foo racket (module* bar #f (define x 1) (provide x))) - x ; readline-input:4:0: link: module mismatch; ;

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

2012-10-16 Thread Asumu Takikawa
On 2012-10-16 15:27:46 -0400, mfl...@racket-lang.org wrote: 843c722 Matthew Flatt mfl...@racket-lang.org 2012-10-16 15:10 : | add an argument to `{chaperone,impersonate}-prompt-tag' | | The new argument gets to filter results that come from a | non-composable continuation that replaces one

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Asumu Takikawa
On 2012-11-05 22:14:57 -0500, Matthias Felleisen wrote: -- I would use The Racket Language for the first line of the first item The latest dialog with this change looks really nice! FWIW, one thing that confused me was that the language selector in the bottom left still says Determine language

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Asumu Takikawa
On 2012-11-06 14:27:42 -0500, Asumu Takikawa wrote: The latest dialog with this change looks really nice! FWIW, one thing that confused me was that the language selector in the bottom left still says Determine language from source when you click on The Racket Language in the dialog. Another

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Asumu Takikawa
On 2012-11-08 06:16:58 -0700, Jay McCarthy wrote: Now that the 5.3.1 release is finished, I've just pushed the beta release of Planet 2 to the Racket core. Very nice! I'll provide some feedback once I've tried to port a package. BTW, I get an exception when I click Log in on this page

Re: [racket-dev] [DrDr] R25724 (timeout 0) (unclean 6470) (stderr 6470) (changes 6471)

2012-11-20 Thread Asumu Takikawa
On 2012-11-20 12:19:16 -0700, Jay McCarthy wrote: There was a strange time error with this commit and I've told DrDr to re-test it. My laptop clock is set, for some reason, two hours forward by accident. I guess DrDr did not like me committing from the future. Cheers, Asumu

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

2012-11-21 Thread Asumu Takikawa
On 2012-11-21 12:10:10 -0500, ro...@racket-lang.org wrote: 9863366 Robby Findler ro...@racket-lang.org 2012-11-21 07:29 : | extend data/queue library Nice! | [...] | | - make queues be sequences directly (and use make-do-sequence | to implement in-queue instead of building a list)

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

2012-11-21 Thread Asumu Takikawa
On 2012-11-21 12:50:49 -0600, Robby Findler wrote: On Wed, Nov 21, 2012 at 11:52 AM, Asumu Takikawa as...@ccs.neu.edu wrote: Should queues also be streams or just sequences? I didn't think about this: if you think they should also be streams, that's okay with me. I'm not really sure

Re: [racket-dev] [racket] Survey for DrRacket users related to automatic parentheses behavior

2012-11-22 Thread Asumu Takikawa
On 2012-11-22 19:20:54 -0500, Nadeem Abdul Hamid wrote: The idea is to have DrRacket automatically skip over automatically-inserted closing parens if the user types one while the cursor is right in front of one. (The Eclipse Java IDE does this with various types of braces and

Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-28 Thread Asumu Takikawa
Note: taking this to dev since my reply isn't directly relevant to the bug report. On 2012-11-28 05:00:02 -0500, sper...@deinprogramm.de wrote: *** Description: So I tried to resurrect the tr-pfds collection with purely functional data structures. It's not quite up to data with the current

Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 10:06:49 +0100, Michael Sperber wrote: Sam also asked about the REPL output: (queue 1 2 3) - : (Queue Any) #Queue I gather that in earlier versions of Racket, I'd get (Queue Positive-Byte) or something similar. Is (ann (queue 1 2 3) (Queue Integer)) the right fix

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 06:52:07 -0700, Matthew Flatt wrote: The changes are small, so far, but the most prominent change is that the interpretation of a package source is now determined syntactically. If you want to install from a local directory fish-tank, you need to write raco pkg install

Re: [racket-dev] Planet 2 Beta Release

2012-11-29 Thread Asumu Takikawa
On 2012-11-29 13:28:03 -0700, Jay McCarthy wrote: That is my suggestion to developers. I think all installed packages should be either local links or named by the naming service. All the other package source modes are for people doing creative things, like maintaining their own sets of

[racket-dev] Planet broken

2012-11-30 Thread Asumu Takikawa
Hi all, Is planet broken for anyone else on git HEAD? It keeps producing the following error when I try to install any packages: application: procedure does not expect an argument with given keyword procedure: setup given keyword: #:planet-spec given arguments: #:collections

Re: [racket-dev] [DrDr] R25887 (timeout 1) (unclean 1) (stderr 1) (changes 64)

2012-12-12 Thread Asumu Takikawa
On 2012-12-11 15:01:42 -0500, Sam Tobin-Hochstadt wrote: which I think indicates that a thread is being killed somewhere, but I don't know why that would be happening, and I haven't seen this happening on other machines. FWIW, I get this intermittently when I run the Racket tests. Cheers,

Re: [racket-dev] [DrDr] R25887 (timeout 1) (unclean 1) (stderr 1) (changes 64)

2012-12-12 Thread Asumu Takikawa
On 2012-12-12 13:54:14 -0500, Asumu Takikawa wrote: FWIW, I get this intermittently when I run the Racket tests. Clarification: I meant the TR tests. Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] planet2 and versions

2012-12-12 Thread Asumu Takikawa
On 2012-12-12 14:29:32 -0500, Ryan Culpepper wrote: I'm trying to understand how things are supposed to work in planet2 without version information. Maybe this was discussed in the other (quite long) thread about Planet 2, but another thing that the lack of versions makes difficult is having

Re: [racket-dev] planet2 and versions

2012-12-13 Thread Asumu Takikawa
On 2012-12-13 08:17:32 -0700, Jay McCarthy wrote: Why aren't you just only using the development version? This mainly comes up if I want to test the uploaded version to make sure it works. I can probably figure out a better workflow though (such as keeping around a release version of Racket to

Re: [racket-dev] first and rest in racket/base

2012-12-13 Thread Asumu Takikawa
On 2012-12-13 12:44:38 -0500, Vincent St-Amour wrote: Does this sound reasonable? +1. While we're at it, might as well also put at least `empty` and `empty?` in there too. These trip me up as well. Cheers, Asumu _ Racket Developers list:

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

2012-12-13 Thread Asumu Takikawa
On 2012-12-13 15:34:04 -0500, Greg Hendershott wrote: I had a similar confusion a week ago, building Racket for the first time ever, and got an answer on #racket. One thing that makes this easier is if you use the `plt-fresh-build` script from this git repo:

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Asumu Takikawa
On 2012-12-17 09:54:36 -0500, Matthias Felleisen wrote: It has serious performance implications for untyped modules that require plot -- and these should not be hidden. My understanding (possibly wrong), was that the typed submodule would only be required from another typed module in this

[racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Asumu Takikawa
Hi all, I had a few design questions about date types as used in the racket/date and srfi/19 libraries. First, for some reason racket/date and srfi/19 use mutually incompatible date representations and this is noted in the documentation (so it's intentional). Is there a good reason for this? As

Re: [racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Asumu Takikawa
it to the start day of the Unix epoch (arbitrarily). Cheers, Asumu From 9ab3a4d77ec1c16a9148690b85d6e7924aaf105d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa as...@ccs.neu.edu Date: Fri, 11 Jan 2013 21:06:01 -0500 Subject: [PATCH] Make srfi/19 compatible with date* structs --- collects/srfi/19

Re: [racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Asumu Takikawa
On 2013-01-11 20:35:50 -0600, Robby Findler wrote: (The diff shows all of the tests changing). Are the tests for exported functions? If so, that sound bad. Only a subset of the string-date tests should have changed in the diff (which is how it shows up in my mail reader). Was the

Re: [racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Asumu Takikawa
8855d390571eabbb9082516d2486301531c36dae Mon Sep 17 00:00:00 2001 From: Asumu Takikawa as...@ccs.neu.edu Date: Fri, 11 Jan 2013 21:06:01 -0500 Subject: [PATCH] Make srfi/19 compatible with date* structs --- collects/srfi/19/time.rkt| 229 ++ collects/tests/srfi/19

Re: [racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Asumu Takikawa
srfi/19, so maybe it's not a big deal. In any case, see attached patch for implementation (just catches the exception). Cheers, Asumu From 77287c4e948dabdb7c761af1b6f56d82cbc36adc Mon Sep 17 00:00:00 2001 From: Asumu Takikawa as...@ccs.neu.edu Date: Fri, 11 Jan 2013 21:06:01 -0500 Subject: [PATCH

  1   2   3   >