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

2015-01-15 Thread Asumu Takikawa
On 2015-01-15 14:13:02 -0500, Asumu Takikawa wrote: Contract violation: 'fact' violates '='. Value 0.105 violates predicate real? An example module that breaks it: (module user racket (require (submod .. fact)) (factorial 0.105)) (Verification takes 0.05s) Hmm

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

2015-01-15 Thread Asumu Takikawa
On 2015-01-14 19:11:59 -0500, David Van Horn wrote: If you have questions, comments, bugs, or any other feedback, let us know, or just file bug reports on the GitHub source code. Nice tool! I like the web interface too. I was confused by this interaction though. Clicking verify on this:

Re: [racket-dev] Expansion size vs. zo file size

2014-11-14 Thread Asumu Takikawa
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

[racket-dev] Expansion size vs. zo file size

2014-11-11 Thread Asumu Takikawa
Hi all, I'm currently trying to improve Typed Racket's contract generation. I have a change which improves time/memory usage and also the size of the expanded code. The trouble is that despite the decrease in the size of the expanded code, the resulting zo files are actually *larger*. I found

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

2014-10-28 Thread Asumu Takikawa
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

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

2014-10-28 Thread Asumu Takikawa
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

Re: [racket-dev] Proposed addition of #:where clause to the match library

2014-10-24 Thread Asumu Takikawa
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)]  

[racket-dev] Racket build crashes on CGC mode

2014-09-08 Thread Asumu Takikawa
Hi all, I've found a reproducible crash while building Racket using the CGC mode on my Linux machine: $ ../configure --enable-cgcdefault --enable-sgc $ make make install [... output ...] raco setup: 2 making: collects/file While receiving message from parallel-do worker 0

Re: [racket-dev] SGC as default

2014-08-11 Thread Asumu Takikawa
On 2014-08-12 05:16:21 +0100, Matthew Flatt wrote: If you have an existing build in a repo checkout, then `make` is likely to fail, because the makefile dependencies are not precise enough to deal with the switch. You can discard your old build directory, or it might work to simply delete

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

2014-08-01 Thread Asumu Takikawa
On 2014-07-28 14:33:07 -0400, Ryan Culpepper wrote: asumu: - removed mzlib/class100 (5711e900) - classes and TR (various) I don't have anything in particular for classes. For TR, we should add Stephen's contribution of async-channel support: * Typed Racket now supports asynchronous

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

2014-08-01 Thread Asumu Takikawa
On 2014-08-01 13:54:15 -0400, Asumu Takikawa wrote: On 2014-07-28 14:33:07 -0400, Ryan Culpepper wrote: asumu: - removed mzlib/class100 (5711e900) Whoops, sorry, we should actually put in a blurb about class100 though. * As noted in the v5.3.2 release, the `mzlib/class100` library

Re: [racket-dev] Problem with Values type constructor

2014-07-28 Thread Asumu Takikawa
On 2014-07-23 20:20:56 +0100, Antonio Menezes Leitao wrote: Although the typed racket documentation mentions Values as a type constructor, it does not work: [...] Am I missing something? Nope, this is just a bug. Thanks for the report. I've pushed a fix to git. Cheers, Asumu

Re: [racket-dev] flatten-begin

2014-07-21 Thread Asumu Takikawa
On 2014-07-19 23:12:51 -0400, Asumu Takikawa wrote: This sounds like a nice solution and it would be fine for my use-case too. Anyone have any reasons against? (otherwise I can make the change) I just realized that `flatten-begin` actually doesn't care if the form starts with a `begin

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

2014-07-21 Thread Asumu Takikawa
On 2014-07-21 16:14:27 -0400, Vincent St-Amour wrote: Sam, Asumu, Eric: what's new for this release? This came up on IRC the other day. I think Eric was saying the main changes were inference speedups, support for contracted functions, and better keyword support. Cheers, Asumu

Re: [racket-dev] flatten-begin

2014-07-19 Thread Asumu Takikawa
On 2014-07-18 09:52:26 -0500, Robby Findler wrote: Unless someone knows why it is a bad idea, how about adding a #:all? argument that flattens all the way down? I don't see many uses of flatten-begin in our tree, but the one in compatibility/package sure looks like it could use the #:all?

Re: [racket-dev] flatten-begin

2014-07-18 Thread Asumu Takikawa
On 2014-07-17 22:17:18 -0500, Robby Findler wrote: Why doesn't flatten-begin already do this? I'm not sure. I was hoping someone else could tell me. :) Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] flatten-begin

2014-07-17 Thread Asumu Takikawa
Hi all, I was wondering what people think about a potential API addition to the `syntax/flatten-begin` library. Something like `flatten-begin*` (or a less terrible name) that would recursively flatten `begin` expressions like the `flatten` function does for plain lists. i.e., (flatten-begin*

[racket-dev] FOOL 2014 Call for Papers

2014-07-14 Thread Asumu Takikawa
of Ireland, Maynooth) Alex Potanin (Victoria University of Wellington) Sukyoung Ryu (Korea Advanced Institute of Science and Technology) Marco Servetto (Victoria University of Wellington) Asumu Takikawa (Northeastern University) Thomas Wies (New York Univeristy) Tobias Wrigstad (Uppsala

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

2014-06-26 Thread Asumu Takikawa
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? Something like this? Type Checker: cannot apply a function with no known arities; Function `f` had

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-22 Thread Asumu Takikawa
On 2014-06-22 20:27:21 -0700, Kevin Forchione wrote: Thanks! Is there any documentation or guide on which *styles* to prefer in writing Racket code? I find myself scratching my head at times in these matters! In recent Racket distributions and online docs there's now a style manual:

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Asumu Takikawa
On 2014-06-09 00:19:40 -0700, Eric Dobson wrote: One issue I see is that we need an unforgeable property that the value actually came from the typed world so we know that eliding the new contract is safe. Does this seem like a reasonable thing to support/do people see issues with it? A

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

2014-05-06 Thread Asumu Takikawa
On 2014-05-07 00:27:34 -0400, as...@racket-lang.org wrote: f638247 Asumu Takikawa as...@racket-lang.org 2014-04-28 17:17 : | Add docs for TR's filter syntax : M .../scribblings/reference/types.scrbl | 69 +++- Since there's now documentation for the TR filter

Re: [racket-dev] Preserving trailing zeros in formatting numbers as strings

2014-05-02 Thread Asumu Takikawa
On 2014-04-24 05:25:07 -0400, Kathi Fisler wrote: I'm generating class notes in HTML via scribble.  I'm trying to include the number 10.50 (as a price in an test case, so the trailing 0 matters).  I'm using format to produce the strings that go into the rendered html.  When I do

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

2014-05-01 Thread Asumu Takikawa
On 2014-05-01 13:49:55 -0400, Ryan Culpepper wrote: asumu: * Types in Typed Racket are now pretty-printed. * Function types can now be written in prefix style, which is now preferred and is used for printing. Infix function types are still accepted for backwards compatibility. *

Re: [racket-dev] Regular expression types [was Re: [racket-bug] all/14455: wrong type for hash]

2014-04-20 Thread Asumu Takikawa
On 2014-04-20 14:38:50 -0400, Matthias Felleisen wrote: This might be one of those areas where we could 'generalize' gradual typing. I think we could do it without fundamentally changing anything about gradual typing. The issue is that uniform rest args assume that the type is always a

Re: [racket-dev] Catching the undefined value

2014-04-16 Thread Asumu Takikawa
On 2014-04-15 21:19:16 -0600, Neil Toronto wrote: Does TR not having to worry about #undefined mean that the following program will typecheck? #lang typed/racket (define-type (Lazy-Listof A) (Promise (Pair A (Lazy-Listof A (let () (define: lazy-zeros : (Lazy-Listof Zero)

Re: [racket-dev] Catching the undefined value

2014-04-15 Thread Asumu Takikawa
On 2014-04-15 18:13:31 -0400, claire alvis wrote: The push below includes changes to letrec expressions, internal definitions, units, classes, and certain ill-formed shared expressions so that they no longer leak the `undefined' value. This is great! (especially happy that TR, even with

[racket-dev] class100 removal

2014-04-14 Thread Asumu Takikawa
Hi all, A few releases ago we announced our intention to remove the mzlib/class100 library from Racket. I think this was scheduled to happen around either last release or this upcoming release. Should I go ahead and remove mzlib/class100 and its docs? Its uses in the codebase should be long gone

Re: [racket-dev] class100 removal

2014-04-14 Thread Asumu Takikawa
On 2014-04-14 15:42:18 -0500, Robby Findler wrote: Lets have a full cycles without it in the git tree before the release, but otherwise, I think so yes. Okay, then I'll remove it after v6.0.1 is released. Cheers, Asumu _ Racket Developers list:

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

2014-03-31 Thread Asumu Takikawa
On 2014-03-31 20:01:07 -0700, Eric Dobson wrote: Do we have a performance test case which shows improvment with this change? No, it turns out I misdiagnosed the issue and there was no performance bug. See commit 8a93eeb52bd7c98c5a060ca019bdc8f4c5a0b09c for the actual fix. Cheers, Asumu

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

2014-02-20 Thread Asumu Takikawa
On 2014-02-20 20:31:56 -0700, Neil Toronto wrote: How close is this to being able to support, say, the plot library converted to TR? The OO stuff in it is a few custom classes without anything complicated, a couple of snip% descendants, and drawing onto device contexts. Should be very close.

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

2014-02-20 Thread Asumu Takikawa
On 2014-02-20 23:03:22 -0500, Asumu Takikawa wrote: Should be very close. Not quite there currently because there are two more chunks that I've written and haven't pushed yet: * Implicit (mutual) recursive type aliases, so that a `define-type` can define mutually recursive type alises

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

2014-02-20 Thread Asumu Takikawa
On 2014-02-20 21:25:59 -0700, Neil Toronto wrote: You mean something like this would work? (define-type (Leaf1 X) (Pair (Leaf2 X) (Leaf2 X))) (define-type (Leaf2 X) (U X (Pair (Leaf1 X) (Leaf1 X Yes, that should work. Here's an example interaction from my development branch:

Re: [racket-dev] Testing for Racket v6.0

2014-02-14 Thread Asumu Takikawa
On 2014-02-14 15:55:59 -0500, Ryan Culpepper wrote: If you are interested in helping, please reply to this message to the mailing list and include the configuration(s) you are willing to test. I can test the following configurations: - Unix build from source, in-place install - Unix

Re: [racket-dev] Racket v5.92

2014-01-27 Thread Asumu Takikawa
On 2014-01-25 12:55:43 -0500, Ryan Culpepper wrote: * Racket's HTML documentation has a new and improved look, thanks to Matthew Butterick. BTW, the 5.92 docs are missing some of the recent CSS changes from HEAD. Could we cherry-pick some of those for 6.0? For example, the blue boxes don't

Re: [racket-dev] Bug report lost? Here it is again: Issue with help

2014-01-26 Thread Asumu Takikawa
On 2014-01-26 11:45:43 -0500, Greg Hendershott wrote: But I didn't get a confirmation email. And I don't see it using advanced query arrival-date 2014-01-24 00:00 GMT. Is that this bug report by any chance? http://bugs.racket-lang.org/query/?cmd=viewpr=14313 Odd that you didn't get a

Re: [racket-dev] Racket v5.92

2014-01-25 Thread Asumu Takikawa
On 2014-01-25 12:55:43 -0500, Ryan Culpepper wrote: Racket 5.92 has a new package system, including a catalog of hundreds of already-available packages. Please visit I noticed that the src tarball of v5.92 has a different directory structure compared to previous releases. Namely, everything is

Re: [racket-dev] Strange definition of dict-count in docs and tests

2014-01-18 Thread Asumu Takikawa
Hi Gustavo, On 2014-01-17 19:25:21 -0200, Gustavo Massaccesi wrote: The documentation about gen:dict http://docs.racket-lang.org/reference/dicts.html#%28def._%28%28lib._racket%2Fdict..rkt%29._gen~3adict%29%29 says that dict-count accepts one argument. But then it is defined with a #:default

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

2014-01-13 Thread Asumu Takikawa
On 2014-01-13 16:40:17 -0500, Eli Barzilay wrote: Why not (string-trim s #:left? #f) ? Only because I didn't know it existed. Thanks! Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] Should `dynamic-require`d libraries be in package dependencies?

2013-11-25 Thread Asumu Takikawa
Hi all, Should dynamically required libraries induce a package dependency? Take for example the xrepl-lib package. It currently depends on five other packages, but I think two of them can be dropped and `raco setup` won't complain. On the other hand, XREPL may `dynamic-require` the macro

[racket-dev] Check syntax + phase levels

2013-11-21 Thread Asumu Takikawa
Hi all, Would it be easy to supplement the current background syntax checking to display the phase level of an identifier use or definition? I was imagining it could draw the phase number next to the arrow. I'd be willing to try to implement it myself if it's feasible and someone points me in

Re: [racket-dev] new package system status

2013-11-20 Thread Asumu Takikawa
On 2013-11-20 14:10:05 -0500, Neil Van Dyke wrote: * The documentation for the package system in 5.3.6 does not seem to reflect previous discussion, and the chapter title still says (Beta). The 5.3.6 docs are by now fairly out of date. Your best bet is to look at the pre-release docs here:

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

2013-11-19 Thread Asumu Takikawa
On 2013-11-19 15:22:52 -0500, j...@racket-lang.org wrote: 80ba30e Jay McCarthy j...@racket-lang.org 2013-11-19 13:22 : | Fix PR14175 : M .../compiler-lib/compiler/commands/test.rkt | 21 +++- Thanks! I'm not sure it totally fixed the issue though. This looks better:

Re: [racket-dev] `collection-path' Considered Brittle

2013-11-04 Thread Asumu Takikawa
On 2013-11-04 11:49:44 -0600, Robby Findler wrote: collection-path is legacy and should generally be removed when you find it (I think I fixed two uses of it Saturday in fact). But hopefully you could use collection-file-path in most cases instead of a collections-path function.

Re: [racket-dev] PLT Package Catalog changes

2013-10-12 Thread Asumu Takikawa
On 2013-10-11 16:42:35 -0600, Jay McCarthy wrote: I've tested the JS code with most major browsers on Linux and I believe I use all standard things (jquery, etc) that are cross-browser, but please inform me of any problems you find. I can't seem to login on the new site. I don't get an error,

Re: [racket-dev] raco pkg dependency checks and exit code

2013-10-03 Thread Asumu Takikawa
On 2013-10-03 06:45:12 -0600, Jay McCarthy wrote: In the first case, you are forgetting to do it and we warn to tell you what you should put. In the second case, you put them in but are wrong and should be CAUGHT and PUNISHED. I think that's the logic behind it. That seems fair, but then in

[racket-dev] raco pkg dependency checks and exit code

2013-10-02 Thread Asumu Takikawa
Hi all, I noticed that if you don't specify any dependencies for a package, then `raco` will warn you about that. However, the exit code is 0 and it's not an error. Comparatively, if you supply a dependencies field of `empty`, then you will get a bunch of errors about undeclared dependencies

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

2013-09-17 Thread Asumu Takikawa
On 2013-09-17 06:15:42 -0600, Matthew Flatt wrote: Yes, please treat missing package dependencies the same as any other build error. Mistakes will happen, but they should be corrected as soon as possible, even if it requires a stop-gap solution. Whoops, sorry for breaking the snapshots. I

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

2013-09-16 Thread Asumu Takikawa
On 2013-09-16 16:17:33 -0400, as...@racket-lang.org wrote: +@defmodule[math #:no-declare #:link-target? #f] +@defmodule[plot/typed #:no-declare #:link-target? #f] These two lines cause `raco setup` to complain with a warning about undeclared dependencies. It seems silly, though, to have the TR

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

2013-08-30 Thread Asumu Takikawa
On 2013-08-30 16:15:23 -0400, Sam Tobin-Hochstadt wrote: I worry about mutable sets here, but I can't think of any bugs it can cause ATM. I don't have any segfault-causing bugs, but here's a violation of the blame theorem: #lang racket (module a0 racket (define s (mutable-set 1 2 3))

Re: [racket-dev] Updating dependency packages from other sources

2013-08-16 Thread Asumu Takikawa
On 2013-08-16 14:27:41 -0600, Matthew Flatt wrote: How about allowing a package source as an argument to `raco pkg update`? After all, removing an old package implementation and installing a new one is already the job of `raco pkg update`, not `raco pkg install`. I like this idea better than

Re: [racket-dev] Updating dependency packages from other sources

2013-08-15 Thread Asumu Takikawa
On 2013-08-15 08:19:06 -0600, Jay McCarthy wrote: As for what we could do going forward, I think either of these approaches could be 'automated'. Yes, that'd be great. For instance, we could add a command like $ raco pkg replace x11 new-x11-source This would behave like either of those

[racket-dev] Updating dependency packages from other sources

2013-08-13 Thread Asumu Takikawa
Hi all, I have a question about updating packages. I'll use an example development scenario to frame the question. Suppose I have package `aosd` installed that depends on `x11`: Installation-wide: Package ChecksumSource x11

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

2013-08-08 Thread Asumu Takikawa
On 2013-08-08 10:01:41 -0700, Eric Dobson wrote: Was this addition intentional? No, thanks for catching it. Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] struct:name exports from 2htdp/image, mrlib/image-core, etc.

2013-08-06 Thread Asumu Takikawa
Hi all, A few teaching libraries like `2htdp/image` provide struct constructors and accessors, but don't export the struct type descriptor values. Does anyone mind if I add the exports to libraries like `2htdp/image`, `mrlib/image-core`, etc.? (it's needed for Typed Racket with require/typed)

[racket-dev] chaperone-evt restrictions?

2013-08-02 Thread Asumu Takikawa
Hi all, I'm currently trying to implement contracts for synchronizable events. During that, I've discovered that there seems to be an undocumented restriction that `chaperone-evt` can only chaperone an event that is not a handle event. Here's an example: - (sync (chaperone-evt (handle-evt

Re: [racket-dev] chaperone-evt restrictions?

2013-08-02 Thread Asumu Takikawa
On 2013-08-02 18:32:38 -0400, Asumu Takikawa wrote: I'm currently trying to implement contracts for synchronizable events. During that, I've discovered that there seems to be an undocumented restriction that `chaperone-evt` can only chaperone an event that is not a handle event. Here's

Re: [racket-dev] git submodule for native-library packages

2013-07-30 Thread Asumu Takikawa
On 2013-07-27 07:10:54 -0600, Matthew Flatt wrote: I'm still unsure that submodules are going to be useful for managing a kind of main-distribution repository with references to package repositories. Perhaps it would be worth considering using the git subtree feature instead of submodules for

Re: [racket-dev] git submodule for native-library packages

2013-07-30 Thread Asumu Takikawa
On 2013-07-30 17:44:37 -0400, Carl Eastlund wrote: I looked into git-subtree, and as I recall it, nothing in the setup recalls what subtree is used for what.  Every git-subtree command you enter has to be fully explicit, which is a big hassle.  AFAIK, you are correct. OTOH, I imagine that

Re: [racket-dev] git submodule for native-library packages

2013-07-30 Thread Asumu Takikawa
On 2013-07-31 00:04:20 -0400, Asumu Takikawa wrote: Maybe I will try this with Typed Racket somewhere and see what happens. One downside I discovered immediately after trying to set this up: the subtree command is only available in git 1.7.11 and newer and it's only available if the contrib

[racket-dev] alarm-evt contract

2013-07-29 Thread Asumu Takikawa
Hi all, Is there any reason for the documented contract on `alarm-evt` to specify a non-negative real? The function will happily accept negative inputs and it seems like that's desirable (if for some reason your computer clock is set to before 1970 for a good reason). Cheers, Asumu

[racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Asumu Takikawa
Hi all, I had a question about `handle-evt` and synchronizable events in general. I was trying to understand the documentation and only have a partial idea of the motivation behind `handle-evt` and the contracts of `handle-evt` and `wrap-evt`. In particular, what is the motivation for

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Asumu Takikawa
On 2013-07-25 12:55:25 -0500, Robby Findler wrote: I think the issue is that the tail guarantee can't be met if there are two handles (one won't be in tail position wrt to the sync). I understand. I guess what I'm asking is that there seem to be two reasonable choices for the semantics

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Asumu Takikawa
On 2013-07-25 12:36:32 -0600, Matthew Flatt wrote: My thought was that you should only use `handle-evt' if you need tail behavior for something like a loop. If you use `handle-evt' and you're not getting tail behavior (but `sync' continues on, anyway), then something has gone wrong --- and

[racket-dev] RacketCon Signup

2013-07-24 Thread Asumu Takikawa
in or for Racket, please contact the organizers at racket...@racket-lang.org Cheers, Asumu Takikawa _ Racket Developers list: http://lists.racket-lang.org/dev

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

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

[racket-dev] Tool warnings from raco

2013-07-09 Thread Asumu Takikawa
Hi all, I've suddenly started getting odd warnings from `raco` on git HEAD. Any idea what's going on? warning: tool make registered twice: make and #path:/home/asumu/plt/racket-pkg/racket/lib/../../pkgs/compiler-lib/compiler/commands warning: tool exe registered twice: exe and

Re: [racket-dev] snapshot builds

2013-07-03 Thread Asumu Takikawa
On 2013-07-02 13:40:18 -0600, Matthew Flatt wrote: The snapshot page has * Racket installers with the usual stuff: DrRacket, HtDP support, etc. I tried the Racket Windows installer, but AFAICT it's missing DrRacket and other libraries. $ sha1sum.exe

Re: [racket-dev] snapshot builds

2013-07-03 Thread Asumu Takikawa
On 2013-07-03 22:56:16 -0600, Matthew Flatt wrote: The 32-bit Windows Racket installer works for me, this time --- but the Mac OX X builds seem completely broken. Thanks, this time I was able to get DrRacket from the installer. BTW, one thing that seems broken is if I go to the package manager

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

2013-06-27 Thread Asumu Takikawa
On 2013-06-27 22:21:23 -0400, as...@racket-lang.org wrote: 42b5cfe Asumu Takikawa as...@racket-lang.org 2013-06-27 22:17 : | Use racket/cmdline instead of mzlib/cmdline | | This should fix the build : This fixes the build on my machine, but there are several more files left over that have

[racket-dev] Triggered a macro system internal error

2013-06-25 Thread Asumu Takikawa
on how I can get a better test case? Cheers, Asumu From 4abd6636420c0425b77015ca5a00ecb73230f3c7 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa as...@ccs.neu.edu Date: Tue, 25 Jun 2013 10:03:02 -0400 Subject: [PATCH] Patch that triggers internal taint error --- .../typed-racket-lib/typed-racket

Re: [racket-dev] local-transformer-expand behavior

2013-06-25 Thread Asumu Takikawa
On 2013-06-25 11:02:37 +0200, Matthew Flatt wrote: That error is due to a bug in handling the 'top-level context, and I've pushed a repair. Thanks for the repair and nice explanation! Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Things we could move out of the core

2013-06-25 Thread Asumu Takikawa
On 2013-06-25 16:32:28 -0400, Sam Tobin-Hochstadt wrote: - mzlib/{pconvert, class100, serialize, thread, transcr} According to the 5.3 release announcement, class100 is set to be removed by the August release, so maybe we can just remove it entirely now. Cheers, Asumu _

[racket-dev] local-transformer-expand behavior

2013-06-24 Thread Asumu Takikawa
Hi all, Does anyone know what the behavior of (local-transformer-expand #'(define x 3) 'top-level null) should be? I'm not sure, but I expected something like what `local-expand` would do. Instead, I get an error like this: (define-syntax (m stx) (local-transformer-expand

[racket-dev] engine-kill from racket/engine

2013-06-24 Thread Asumu Takikawa
Hi all, I was trying to write an example for the racket/engine docs and stumbled on a case that seems to cause a deadlock. I'm curious if this is intentional or just accidental behavior. Here's the example: #lang racket (require racket/engine) (define e (engine (lambda (s) (sleep 5

[racket-dev] path-relative-string/setup

2013-06-21 Thread Asumu Takikawa
Hi all, It looks like in the recent pkg reorganization, the function `path-relative-string/setup` has disappeared from the `setup/path-to-relative` module. As a result, XREPL's ,enter doesn't work anymore and possibly other things. Is this an intentional omission or was it just lost by accident?

Re: [racket-dev] TR internal error

2013-06-21 Thread Asumu Takikawa
On 2013-01-21 10:48:48 +0100, Pierpaolo Bernardi wrote: the file attached causes the following internal error: Internal Typechecker Error: bad expected: #(struct:tc-results (#(struct:tc-result Char - -) #(struct:tc-result (Vector Integer Integer Integer Integer) - -)) #f) while

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Asumu Takikawa
On 2013-06-18 10:47:01 -0600, Matthew Flatt wrote: Because this change will break all sorts of things in the short run, I'd like to feel more confident that enough of us are ready before merging it to the main Racket repository. The pkg2 branch builds for me fine (modulo `plot`) and I can run

Re: [racket-dev] Project Idea to port Paredit mode to DrRacket.

2013-06-09 Thread Asumu Takikawa
On 2013-06-09 23:25:43 +0530, Mayank Jain wrote: While it does autocomplete the closing paren, it does not prevent you from breaking the form if I accidentally delete the opening/closing paren. This is a feature that I like a lot from paredit, because it provides some level of confidence that I

Re: [racket-dev] member like assoc

2013-06-09 Thread Asumu Takikawa
On 2013-05-31 19:40:52 -0400, Asumu Takikawa wrote: Is it feasible to get `member` to have the same optional argument behavior as `assoc`? That is, to have an equality predicate as the third argument. I went ahead and implemented this behavior and submitted a pull request: https://github.com

Re: [racket-dev] member like assoc

2013-06-09 Thread Asumu Takikawa
On 2013-06-09 20:51:21 -0500, Robby Findler wrote: Do the times change if you put an 'in-range' in the for loops? Is this the code change you meant? #lang racket/base (require (only-in racket/list range)) (define lst (range 1 5000)) (time (for ([i (in-range 3)]) (member

Re: [racket-dev] member like assoc

2013-06-09 Thread Asumu Takikawa
On 2013-06-09 21:15:31 -0500, Robby Findler wrote: Sorry: I should have been clearer: I would only expect a difference when the list is short (so your benchmark 2). Here're the numbers for that: #lang racket/base (define lst '(a b c)) (time (for ([i (in-range 3000)])

Re: [racket-dev] Project Idea to port Paredit mode to DrRacket.

2013-06-08 Thread Asumu Takikawa
On 2013-06-09 00:06:21 +0530, Mayank Jain wrote: I am participating in Lisp in Summer Project[0]. *Recently I stated doing this course on coursera[1], and I realized that there is no equivalent of paredit[2] mode in DrRacket (atleast I couldn't find anything of that sort). That sounds like a

[racket-dev] member like assoc

2013-05-31 Thread Asumu Takikawa
Hi all, Is it feasible to get `member` to have the same optional argument behavior as `assoc`? That is, to have an equality predicate as the third argument. I find myself writing the (imaginary) equivalent of things like: (member id some-list free-identifier=?) and it seems like it would be

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

2013-05-20 Thread Asumu Takikawa
On 2013-05-20 14:42:15 -0600, Matthew Flatt wrote: Eventually, when the dust settles, I think we'll want to convert every directory to its own git repo, and then we can incorporate the individual repos as git submodules. One nice thing about the current repo organization is that push

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

2013-05-19 Thread Asumu Takikawa
On 2013-05-19 17:55:26 -0700, Eric Dobson wrote: This doesn't pass with contract checking enabled. make-StructTop requires a Struct? not any old Type?. Is there a reason that the type is not just bottom? In the error case? I'm not sure. TBH, I cargo culted that line. Sam, do you have an

[racket-dev] set!-transformers and syntax-local-value/immediate

2013-05-17 Thread Asumu Takikawa
Hi all, I'm confused about an aspect of set! and rename transformers. I'll explain with this example: #lang racket ;; a macro that uses `syntax-local-value/immediate` (define-syntax (lookup stx) (syntax-case stx () [(_ id) (let-values ([(f _) (syntax-local-value/immediate

Re: [racket-dev] set!-transformers and syntax-local-value/immediate

2013-05-17 Thread Asumu Takikawa
On 2013-05-17 19:51:00 -0400, Carl Eastlund wrote: That's where the rename comes from. Ah, thanks! I should've looked closer at the expansion. (also thankfully it turns out I didn't need any complicated set!-transformer manipulation to do what I was trying to do) Cheers, Asumu

[racket-dev] Package system quickstart section?

2013-05-08 Thread Asumu Takikawa
Hi all, Would anyone be opposed to adding a Quickstart section to the Package System documentation page? The current first section[1] is useful, but it's a pretty dense read for someone who just wants to know how to install a package. I'm imagining that the Quickstart would describe where to

[racket-dev] [ANN] RacketCon 2013: 29 September

2013-05-08 Thread Asumu Takikawa
will be provided. On the Saturday (28th) before RacketCon, we plan to hold a hackathon to work on various Racket projects. Registration will open during the summer, and we will post a detailed schedule of events around the same time. The conference website is at http://con.racket-lang.org/ Asumu Takikawa

Re: [racket-dev] else clauses: possible change to match?

2013-05-04 Thread Asumu Takikawa
On 2013-05-04 10:36:14 -0500, Robby Findler wrote: The racket2 wiki currently says try this out so I guess it isn't something people believe will definitely be better, but something to explore. FWIW, Clojure uses keywords for `else` so there is some experience there:

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-02 Thread Asumu Takikawa
On 2013-04-04 10:33:25 -0700, Eric Dobson wrote: Sometimes TR tests fail with the error [...] How can this happen? Is the thread getting killed? Also since this error doesn't have blame information I don't know if this is an internal promise error or if TR is misusing the promise library.

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-02 Thread Asumu Takikawa
On 2013-05-02 22:14:44 -0400, Asumu Takikawa wrote: This produces a promise error on every third or fifth run or so for me. Commenting out the #:when line makes it work, very oddly. Tried it on another machine, the #:when line didn't matter there. Also, I can reproduce this more reliably

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

2013-04-25 Thread Asumu Takikawa
On 2013-04-25 14:55:45 -0400, as...@racket-lang.org wrote: a15fa5b Asumu Takikawa as...@racket-lang.org 2013-04-20 23:18 : | Start on a notation section for the Reference : This is in response to the How to read procedure documentation? thread from the users list. It documents how to read

Re: [racket-dev] take/drop argument order

2013-04-11 Thread Asumu Takikawa
On 2013-04-11 12:05:59 -0400, Eli Barzilay wrote: Remove the `*f' functions from the interface, and change the non-`*f' functions to accept keywords as follows: (take #:num N L) (take #:while P L) (take #:until P L) I like this suggestion since keywords seem like a

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

2013-04-04 Thread Asumu Takikawa
On 2013-04-04 10:29:30 -0700, Eric Dobson wrote: Can we make it so that IP addresses are immutable? This would require changing make-ip-address to have a call to make-immutable-bytes in each case. That's a good suggestion, thanks. Cheers, Asumu _ Racket Developers

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

2013-04-02 Thread Asumu Takikawa
On 2013-03-30 10:10:20 -0400, ry...@racket-lang.org wrote: 293b208 Ryan Culpepper ry...@racket-lang.org 2013-03-20 10:52 : | added optional #:grammar clause to defform, etc : M collects/scribble/private/manual-form.rkt | 68 - M collects/scribblings/scribble/manual.scrbl |

Re: [racket-dev] take/drop argument order

2013-03-30 Thread Asumu Takikawa
Late reply, but better than never. On 2013-03-10 16:20:14 -0400, Eli Barzilay wrote: Assuming this, here's a suggestion that I made in the past for resolving this: * Make the existing `take', `drop', `split-at' accept their arguments in *either* order. I'm fine with this. * Change the

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

2013-03-09 Thread Asumu Takikawa
On 2013-03-09 10:57:28 -0500, sstri...@racket-lang.org wrote: 7d1ad25 Stevie Strickland sstri...@racket-lang.org 2013-03-09 10:32 : | Revert hack for top-level, institute real fix. | | As a side-effect of this fix, we don't need the thunking behavior for | external identifiers anymore. Even

Re: [racket-dev] Tweaked doc pages

2013-02-26 Thread Asumu Takikawa
On 2013-02-26 09:53:11 -0500, Eli Barzilay wrote: I have finally implemented a script that hacks the on-line doc pages. Currently, it does the following (and you can see the changes on the web now): Maybe I'm missing something, but the changes have been rolled back from the main page right?

  1   2   3   >