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 ".." f
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:
(m
On 2015-01-13 03:05:30 -0800, Alexis King wrote:
>Also, Asumu, a related problem: are there any issues with changing
>local-require back to require that would break anything else? Or can you
>possibly implement that change in TR with no issues?
I initially thought there would be (hence
On 2015-01-11 23:29:28 -0800, Alexis King wrote:
>This is a real problem, since Typed Racket’s require/typed form uses
>local-require, which in turn uses syntax-local-lift-require. This means
>that require/typed currently cannot require submodules.
Interesting, thanks for tracking this
On 2014-12-17 08:22:33 -0700, Matthew Flatt wrote:
> Commit 134f793 moved files out of a directory named "tests". By
> default, a directory named "tests" is treated specially by the
> dependency checker, reflecting that the directory name is treated
> specially for the creation of "binary" and "bin
Hi all,
I've been trying to adjust to the new package-split workflow now and
I've bumped into a small usability problem and I wanted to see if anyone
else has encountered this or if my config is just broken somehow.
On a fresh build of Racket, if I do the following:
raco pkg update --clone type
On 2014-12-16 13:26:38 -0800, Asumu Takikawa wrote:
> Branch: refs/heads/master
> Home: https://github.com/racket/typed-racket
> Commit: 3e45f258bed22d16b1f7ab1cac701d20c5f57e06
>
> https://github.com/racket/typed-racket/commit/3e45f258bed22d16b1f7ab1cac701d20c5f5
On 2014-12-05 07:14:40 -0500, Jay McCarthy wrote:
> Instead, Matthew changed "raco test" (which is how DrDr tests
> programs) to support all these options. They can be test on a
> per-directory or per-file basis. The documentation for this is here:
I tried to set this for a test I am responsible f
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&qu
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 th
On 2014-10-28 17:58:49 -0400, as...@racket-lang.org wrote:
> 64bc7d4 Asumu Takikawa 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
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
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)]
On 2014-10-10 07:29:47 -0400, Neil Toronto wrote:
> Does this mean most instances of GUI classes can now cross the contract
> boundary?
Not quite, because the algorithm to create the mutually recursive
contracts is currently baad. Like use all of your memory and
terminate in 5 years bad.
I ha
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: /file
While receiving message from parallel-do worker 0 UNKNOWN::98: read
On 2014-08-12 06:06:51 +0100, Matthew Flatt wrote:
> What platform are you using?
>
> I imagine that running `./racketcgc` within the "racket" subdirectory
> of your build directory will similarly crash. Can you get any
> information from running `gdb racketcgc`?
This is on Linux. Running the bui
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
>
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/class
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 chann
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,
Asu
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
_
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
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?
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
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* #
versity 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
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
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:
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?
On 2014-06-01 17:49:59 -0600, Jay McCarthy wrote:
> Based on this commit, I feel like "assert" would be a better name than
> "invariant-assertion".
FWIW, it may be confusing if both Racket and TR provide an `assert`
function (especially if `assert` ends up being part of #lang racket).
Cheers,
Asu
On 2014-05-07 00:27:34 -0400, as...@racket-lang.org wrote:
> f638247 Asumu Takikawa 2014-04-28 17:17
> :
> | Add docs for TR's filter syntax
> :
> M .../scribblings/reference/types.scrbl | 69
> +++-
Since there's now documentation
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
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.
*
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
`(List
On 2014-04-15 21:19:16 -0600, Neil Toronto wrote:
> Does TR not having to worry about # 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)
>
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 clas
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:
http://lists.racket-
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
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
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:
Wel
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 defin
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 clos
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
> -
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
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=view&pr=14313
Odd that you didn't get a n
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
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 #:defaul
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
Hi all,
I installed a Minimal Racket release snapshot, installed DrRacket, and
got the following failure during the documentation build:
application: procedure does not accept keyword arguments
procedure: doc-path
arguments...:
#
"browser"
'()
#f
'false-if-missi
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 stepp
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 the
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:
On 2013-11-19 15:22:52 -0500, j...@racket-lang.org wrote:
> 80ba30e Jay McCarthy 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:
-> (require
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.
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
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
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 a
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 th
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
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))
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 th
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 th
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 0fc7555f6bc8f09601a75f9d88f44b
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
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)
Ch
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 h
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 alwa
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
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
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
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
__
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
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 h
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 disallowing
lt 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
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
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
#
warning: tool "exe" registered twice: "exe" and
#
warning: tool "pack" registered twice: "pack" and
#
warning: tool "unpack" registered twic
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 manage
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 /home/asumu/racket-5.3.900.3-
On 2013-06-27 22:21:23 -0400, as...@racket-lang.org wrote:
> 42b5cfe Asumu Takikawa 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 ha
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
_
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
for
; context]
Any ideas on how I can get a better test case?
Cheers,
Asumu
>From 4abd6636420c0425b77015ca5a00ecb73230f3c7 Mon Sep 17 00:00:00 2001
From: Asumu Takikawa
Date: Tue, 25 Jun 2013 10:03:02 -0400
Subject: [PATCH] Patch that triggers internal taint error
---
.../typed-racket
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
(
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
#'(
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)
>w
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?
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 ru
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.
Just FYI, the build will probably complain when compiling `plot
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)])
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
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
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
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 l
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 ni
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
notific
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 opin
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
___
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
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
1 - 100 of 240 matches
Mail list logo