try `raco pkg install sweet-exp`, which will
install commit fbd09b4be38b rather than the current github HEAD.
Cheers,
Asumu
From b1e89c1b30338d9b6788799c47ccfe247fa592da Mon Sep 17 00:00:00 2001
From: Asumu Takikawa as...@ccs.neu.edu
Date: Wed, 30 Jan 2013 17:42:59 -0500
Subject: [PATCH] A hack
On 2013-02-03 10:50:31 -0500, Tony Garnock-Jones wrote:
(inst c% 1 2 3)
(inst c% #:x 1 #:y 2)
(inst c% 1 2 #:z 3)
;; not sure what to do about the last one
Also if you want to play with this, I implemented something like this
once:
https://github.com/takikawa/racket/tree/kw-init
I think
On 2013-02-10 05:57:52 -0700, Matthew Flatt wrote:
Sorry that it has taken me so long to join in and that I overlooked the
PR way back in September.
Thanks for the fix! On a related note, should any of the following interactions
work?
$ racket
Welcome to Racket v5.3.3.1.
- (enter! (submod
Hi all,
I get a reproducible segfault when I built Racket from git HEAD. This is
what I see:
raco setup: 7 making: redex/examples (Reduction Semantics examples)
reverse: contract violation
expected: list?
given: 4193052015854236082
SIGSEGV SI_KERNEL SI_CODE 128 fault on addr (nil) sent by
On 2013-02-13 11:24:35 -0500, Asumu Takikawa wrote:
I get a reproducible segfault when I built Racket from git HEAD. This is
what I see:
A git bisect seems to pinpoint the segfault to commit
4a0adb6a74630f4afc7fd85275ffca76836037b4.
Cheers,
Asumu
_
Racket Developers
Hi all,
A few days ago, PR 13305 was fixed in commit
29031f0972ead0d3cd26d61f163b5e5b59e9ffce. Unfortunately, the fix makes
some identifiers in the docs display oddly in Opera. I've attached some
screenshots that demonstrate the issue.
Cheers,
Asumu
attachment: toc.pngattachment:
On 2013-02-19 10:48:21 -0500, mfl...@racket-lang.org wrote:
ca95129 Matthew Flatt mfl...@racket-lang.org 2013-02-19 08:02
:
| JIT: inline `char-integer' and `integer-char'
I think this commit broke the build for me. I get segfaults like this:
raco setup: 7 making: ffi
SIGSEGV MAPERR
On 2013-02-19 10:44:47 -0700, Matthew Flatt wrote:
I forgot to check 32-bit mode, and I see a problem there. Are you using
a 32-bit or 64-bit build?
64-bit.
Cheers,
Asumu
_
Racket Developers list:
http://lists.racket-lang.org/dev
On 2013-02-19 19:19:24 +0100, Philippe Mechaï wrote:
I've just compiled latest Racket version and found out icons are not
displayed correctly as shown in attached screenshot.
Please tell me if I can be of any help to diagnose this problem.
FWIW, I've had this problem too on a 64-bit
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?
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
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 |
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
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
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
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.
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
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:
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
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
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
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
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
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
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
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
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
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
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-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-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
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-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
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
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
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
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
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-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
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
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
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
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
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 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
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
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
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-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
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-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
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
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
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)
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,
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
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
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
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-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-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
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
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
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-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-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:
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:
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
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
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 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
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
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
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-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
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.
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
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:
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
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-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:
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
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)
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
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-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-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
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
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-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
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
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*
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
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-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
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-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
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
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
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
101 - 200 of 208 matches
Mail list logo