On Sat, Oct 23, 2021 at 12:44 PM 'John Clements' via Racket Developers <
racket-dev@googlegroups.com> wrote:
>
> * Redex rules get optional names.
>
>
This one should probably be: "Redex's stepper's GUI shows IO-judgment form
rule names"
Robby
> * Many bug fixes!
>
>
>
>
have to worry about it.)
And the "extra-pkgs" directory is just the convention some of us use.
Robby
On Tue, Feb 16, 2021 at 7:10 PM John Kemp
wrote:
> > On Feb 16, 2021, at 3:49 PM, Robby Findler
> wrote:
> >
> > I think you probably want to use "raco update
I think you probably want to use "raco update --clone math" and you'll end
up with a directory named "math": where you run that that is a clone of the
racket/math github repo and the racket installation you ran "raco" from
will now use that as the source. Then you can add a remote to it with your
Hi Conor: thanks for your interest in DrRacket. To build it, run "make" in
the top-level of a checkout of the main racket repository. As for the rest,
I think that there are things related to some of what you want, but
probably not exactly what you have asked for.
Robby
On Wed, May 6, 2020 at
DrRacket itself.
>
> With that said, I think the approach Matthew outlined would take a big
> step, and would let us find out if we needed more steps, and what they
> might be.
>
> Sam
>
> On Thu, Apr 30, 2020 at 11:59 PM Robby Findler
> wrote:
> >
> > I'm not fa
ons complicates that a bit.
> Sam mentioned on the Slack that this problem could be approached in terms
> of 'raco link', but it would lead to a large scope of work. I wonder how
> much that overlaps here.
>
>
>
>
> Original Message ----
> On
I'm trying to understand what you guys are talking about here and am not
sure I'm getting it. Is the idea that a "project" (new term definition)
would be a place one can install a package and its dependencies in a way
that avoids any conflicts with other pkgs that are already installed (even
if
up a bit of a can of worms in that I’m not sure whether the docs
> currently has a good place for “discussion of changes relevant to a
> particular release.” I guess I was thinking that just appending it to the
> release notes would be simpler.
>
> John
>
> > On Feb 1, 202
er place to put the
> deeper information.
>
> John
>
> > On Feb 1, 2020, at 10:12, Robby Findler wrote:
> >
> > Looks like two bullets to me. Here's an edit:
> >
> >
> > * The Web Server provides fine-grained control over various aspects of
>
Looks like two bullets to me. Here's an edit:
* The Web Server provides fine-grained control over various aspects of
handling client connections (timeouts, buffer sizes, maximum header
counts, etc.) via the new "safety limits" construct.
* The web server's default level of trust in
On Mon, Jan 27, 2020 at 10:07 AM Matthew Flatt wrote:
>
> At Mon, 27 Jan 2020 09:37:12 -0600, Robby Findler wrote:
> > [...] there is a problem on windows that makes
> > many of them moot (because we cannot seem to reliably detect when the
> > OS is in dark mode
an, Bogdan Popa, Brian Wignall, Dan Holtby, David K. Storrs,
> Dionna Glaze, Dominik Pantůček, Fred Fu, Geoff Shannon, Gustavo
> Massaccesi, Jack Firth, Jay McCarthy, Jens Axel Søgaard, Jesse Alama,
> Joel Dueck, John Clements, Jordan Johnson, Julien Delplanque, Leo Uino,
> Luka Hadž
ors: Alex Harsanyi, Alex Knauth, Alex Muscar, Alexis King, Ben
>> Greenman, Bogdan Popa, Brian Wignall, Dan Holtby, David K. Storrs,
>> Dionna Glaze, Dominik Pantůček, Fred Fu, Geoff Shannon, Gustavo
>> Massaccesi, Jack Firth, Jay McCarthy, Jens Axel Søgaard, Jesse Alama,
>> Joe
On Sun, Jan 26, 2020 at 1:19 AM 'John Clements' via dev-redirect
wrote:
>
> The release announcement sketch that I have so far is below. Please
> mail me new items and/or edits.
>
> Please phrase announcements using complete sentences and avoid the
> word "now".
>
I think it is wonderful that you're doing this. Thank you!
Robby
On Thu, Nov 14, 2019 at 2:50 AM Paulo Matos wrote:
>
>
> Paulo Matos writes:
>
> > Summary: We currently have 5 CI systems: Travis, Azure, Gitlab, AppVeyor,
> > and DrDr. I explain what I have done so far in Gitlab and propose
> >
Thanks, Neil for alerting the community to the problem.
As a long-time member of the Racket world, I'm sure you are aware of
the difficulties we have had trying to make sure we have the right
community discussion forum IT infrastructure.
Perhaps the next time someone takes the time to
Some starter sentences.
On Fri, Jan 18, 2019 at 2:01 PM Vincent St-Amour
wrote:
> Dan Feltey
> - collapsible contracts
The contact system supports collapsible contracts, which avoid
repeated wrappers in certain pathological situations. Thanks to Daniel
Feltey.
> Robby Findler / Laure
But maybe it should. I'll leave that decision to others. Here's a
candidate sentence:
- New users of DrRacket will open files into new tabs (by default).
Robby
On Sun, Oct 14, 2018 at 3:43 PM Robby Findler
wrote:
>
> I don't think the tabs default change rises to the
fca95f4da9d803d89622883c73d9a718daa @ racket
>
> Alexis King
> - support for kw arguments in curry: d1b8ecb3e0edab3ac455486802646b930e88677f
> @ racket
>
> Robby Findler
> - make tabs the default: 305e32cd2146a761da31c10ca770a3dc52f6ec3e @ drracket
>
> Ben Greenman
> - typ
Also: Racket's contract system can help you find inputs that
distinguish these functions. Try this out:
#lang racket
(define (f1 x y)
(if (and (zero? x)
(= (+ x y) y))
1
0))
(define (f2 x y)
(if (zero? x)
1
0))
(define/contract (same? x y)
(-> any/c
I'm excited!
On Tue, Feb 20, 2018 at 2:24 PM, Matthew Butterick wrote:
>
>> On Feb 20, 2018, at 8:04 AM, Matthew Flatt wrote:
>>
>> I think it's time to swap in the Racket-implemented macro expander, so
>> I propose to merge the changes in the `racket7` repo
This seems to be how you make it happen outside of DrRacket:
$ racket -l errortrace -t namespace-mismatch.rkt
namespace-mismatch.rkt:11:9: require: namespace mismatch;
reference to a module that is not available
reference phase: 1
referenced module: 'expanded module
referenced phase
On Thu, Jan 18, 2018 at 4:39 PM, Vincent St-Amour
<stamo...@eecs.northwestern.edu> wrote:
> Robby Findler
> - add #:codomain to reduction-relation (9e1d31b8 @ redex)
Doesn't seem important enough.
Robby
--
You received this message because you are subscribed to the Google Gro
er
>> - syntax/parse: add ~undo, #:undo for unwinding effects (f816a8af @ racket)
>> - add lazy-require-syntax (8d04bd67 @ racket)
>> - syntax/parse: add unwindable state (9be7bf53 @ racket)
>> - add pg SCRAM-SHA-256 authentication (436e4707 @ db)
>>
>> Matt
The Northwestern pkg-build didn't finish yesterday because the timeout
for pict3d didn't kick in. I've killed pict3d and hopefully in a few
hours the rest will finish and we'll have yesterday's pkg-build on the
website.
Robby
On Sat, Dec 23, 2017 at 8:01 AM, Spencer Florence
The machine is back and the builds have completed successfully the
last two nights, so I'm writing to let you know that things seem to be
back in shape again.
Robby
On Mon, Aug 14, 2017 at 9:58 AM, Robby Findler
<ro...@eecs.northwestern.edu> wrote:
> At some point last week, th
At some point last week, the machine that makes the various snapshot
builds that are here https://plt.eecs.northwestern.edu/snapshots/ (and
the pkg-build part of that site too) got upset about something. After
spending a bunch of time with the machine over the last week
unsuccessfully trying to
d-evt thread)]
>>> [dead-evt (thread-dead-evt thread)]
>>> [result (sync suspend-evt dead-evt)])
>>> (if (eq? result dead-evt)
>>> 0
>>> (add1 (component-2 thread)
>>>
>>> > (define
; says, there's no way to get the accessors and mutations by reflection),
>>> so there's no way to impersonate the values. In general, it's up to the
>>> implementation of a new kind of value to supply impersonator/chaperone
>>> support for those values, and implementatio
Indeed: if we did that, then these structs would be much like cons
cells currently are.
Robby
On Thu, May 11, 2017 at 5:39 PM, Robby Findler
<ro...@eecs.northwestern.edu> wrote:
> What if #:authentic (or whatever) were only allowed on immutable
> objects and we allowed them
What if #:authentic (or whatever) were only allowed on immutable
objects and we allowed them to be copied? Then contracts could protect
them.
Robby
On Thu, May 11, 2017 at 5:38 PM, Matthias Felleisen
wrote:
>
> @ Christos
>
> #:authentic explicitly introduces a channel of
On Mon, Jan 30, 2017 at 7:57 AM, Matthias Felleisen
wrote:
> 4. Nightly Builds vs Alpha vs Beta
>
>Some of our users asked for more frequent releases, which we
>interpreted as the desire to have access to an 'alpha' and 'beta'
>version of the software. In
Okay, yet another old fart who chimes in here (and look, I am top-posting! ;).
I have to say there is something wonderful and amazing about joining
into a global conversation centered around a topic that we all enjoy
greatly, especially because there aren't enough people within earshot
who are
I think that the contract system has a lot of room for improvement in
the dependent contract checking. In particular, if you think about the
actual checks that happen for these particular contracts, I think you
could believe that they aren't more expensive than the independent
variants. Of course,
Go for it!!
Robby
On Tue, Jan 3, 2017 at 12:49 PM, Alexis King wrote:
> A question[1] was asked on Stack Overflow today that used `range` from
> racket/list in a for loop, then was baffled as to why it was so slow compared
> to a manually written loop using named let.
I believe that it is being worked on.
https://github.com/racket/racket/pull/1542
Robby
On Mon, Dec 19, 2016 at 8:15 PM, Alexis King wrote:
> Yes, something seems to be broken with pkgs.r-l.org right now; I seem
> to have the same problem. Someone mentioned they were
I removed it a few minutes after your first message.
Robby
On Mon, Dec 19, 2016 at 10:30 AM, Leif Andersen wrote:
> YES, It _IS_ actually significantly slower because of the icon.
>
> To test this, Ben Greenman and I made a package called: `arsen`. This
> package is
I just don't blow so much away. "git pull --ff-only" and "make" at the
top-level seems to be pretty robust.
Robby
On Mon, Dec 12, 2016 at 1:42 PM, Matthew Butterick <m...@mbtype.com> wrote:
>
> On Dec 12, 2016, at 9:20 AM, Robby Findler <ro...@eecs.northwester
It may be that at the time the parser-tools were developed, we were
not yet using a struct for srclocs. I think today we would not do what
the parser tools are doing.
Robby
On Thu, Dec 8, 2016 at 12:44 PM, Matthew Butterick wrote:
> Forgive the possibly noobish question.
>
>
You are welcome to try it out and improve it! It is pretty bare bones.
Robby
On Mon, Dec 5, 2016 at 3:33 PM wrote:
> Leif, Wow, I'm not sure how I missed that it already has the feature :/.
> Thanks!
>
>
> On Monday, December 5, 2016 at 2:12:44 PM UTC-7, Leif Andersen
The racket leadership meets roughly quarterly but not on a set schedule.
(We send out a brief minutes of the discussion each time.) And the meeting
will probably discuss what we want to do and how to get started so
its timing probably won't be exactly what you need anyway.
Can you say a few more
This is a font problem (the font being used for the "2d" chars isn't the
same width as the rest of the fixed width font).
I see this in some browsers and not on others, even on the same machine,
sadly.
Robby
On Thursday, November 3, 2016, Jens Axel Søgaard
wrote:
> Hi
I don't think any of the things listed by my name are worth including
in the top-level release notes.
Robby
On Sat, Oct 15, 2016 at 7:39 AM, Vincent St-Amour
wrote:
> The release announcement sketch that I have so far is below. Please
> mail me new items and/or
wrote:
> On September 7th at 11am Central time, please join us for the fifth
> Inside Racket Seminar where Robby Findler will give us a walk-through
> of the Racket's contract system.
>
> As before, it will be on Google Hangouts on Air with Robby walking
> through the code and giving an e
Can we say in a single line how to get the warnings to show up?
Robby
On Thu, Jul 21, 2016 at 4:08 PM, Sam Tobin-Hochstadt
wrote:
> On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour
> wrote:
>>
>> samth:
>> - folding in of the compiler and
On Fri, Jul 15, 2016 at 9:49 AM, Vincent St-Amour
wrote:
> Search for your name on the checklist page to find relevant items, reply
> when you finish an item (please indicate which item/s is/are done). Also,
> if you have any commits that should have been picked,
I don't think my entries are release-notes worthy.
Robby
On Fri, Jul 15, 2016 at 10:04 AM, Vincent St-Amour
wrote:
> The release announcement sketch that I have so far is below. Please
> mail me new items and/or edits.
>
> Please phrase announcements using
Maybe there is a missing "r" in Sam's commandline?
Robby
On Wed, May 25, 2016 at 8:12 PM, Matthias Felleisen
wrote:
>
>> On May 25, 2016, at 4:25 PM, Sam Tobin-Hochstadt
>> wrote:
>>
>> When we split the Racket repository out into many smaller
>>
Can you use use copy-port?
Robby
On Saturday, May 7, 2016, Alexis King wrote:
> Hello,
>
> I maintain the Racket r7rs package, which as far as I know, has not
> gotten much use. Recently, however, someone has put together a set of
> R7RS benchmarks and run it against
I'm done.
Robby
On Fri, Apr 15, 2016 at 2:34 PM, Ryan Culpepper wrote:
> Checklist items for the v6.5 release
> (using the v6.4.90.900 release candidate build)
>
> Search for your name on the checklist page to find relevant
> items. When items are done, either edit the
ent
>
>
>
> On Fri, 15 Apr 2016 15:12:53 -0500,
> Robby Findler wrote:
> >
> > I would replace "in many cases" with "in our gradual typing benchmark"
> > or similar. I don't think there has been any careful study of what is
> > common TR code
If you want efficient conditionals you probably want a less than-like
operator too I guess.
On Saturday, March 26, 2016, Alexis King wrote:
> Ok, I’m happy to take a crack at it if you think that’s a good approach.
> I am quite comfortable with C, but I have basically no
I think it makes sense (and might be implementable) for the error
message to say:
send: no such method
method name: m
or suchlike.
Robby
On Fri, Mar 25, 2016 at 9:13 PM, Matthias Felleisen
wrote:
>
> Consider this program (a poem of a real problem I encountered):
>
>
> On Sat, 05 Mar 2016 17:23:01 -0600,
> Robby Findler wrote:
>>
>> Our experience with the source location change suggests that there are
>> many places where code is implicitly relying on syntax properties not
>> being preserved in byte code. This entire thread is
gt;> so it makes more sense to be to leave ephemeral as the default and add
>> a non-ephemeral option.
>>
>> At Sat, 5 Mar 2016 15:25:51 -0600, Robby Findler wrote:
>> > Is avoiding the change to preserve of all properties a backwards
>> > compatibility co
gt; that adds 'paren-shape would need to explicitly add the property as
> non-ephemeral, otherwise it would revert (in a sense) to the pre-v6.3
> behavior.
>
> Any opinion on this new option? So far, I like it the best, but I
> haven't thought about it as much as the others.
>
>
o it makes more sense to be to leave ephemeral as the default and add
> a non-ephemeral option.
>
> At Sat, 5 Mar 2016 15:25:51 -0600, Robby Findler wrote:
>> Is avoiding the change to preserve of all properties a backwards
>> compatibility concern or a performance one? (I wouldn't ask
Is avoiding the change to preserve of all properties a backwards
compatibility concern or a performance one? (I wouldn't ask, except
there were a surprising number of bugfixes for the source location
change.)
Robby
On Sat, Mar 5, 2016 at 8:09 AM, Matthew Flatt wrote:
> At
I've started another build for the pkgs that build against the
snapshots, too. When it is done, the results will be here:
http://plt.eecs.northwestern.edu/pkg-build/
Robby
On Sun, Feb 21, 2016 at 8:05 AM, Matthew Flatt wrote:
> Yes, except that it's currently 6:00am MT.
>
I think we might want to add a grain of salt to that part of the
announcement. People shouldn't expect radically improved performance
for, say, programs using the math library. It gets better in some
cases, but I feel like we need something that's a bit more uniformly
better before saying too
For mine:
- Redex supports binding specifications; describe which variables
bind in which expressions and your metafunctions and reduction
relations automatically become scope-sensitive. Thanks to Paul
Stansifer for this improvement.
- DrRacket's scrolling is faster.
Robby
On Mon, Jan 25,
It looks like there are some changes in the way that the typed/untyped
boundaries are (judging from those two last commits). Maybe try
running the contract profiler on the startup portion and see if it
gives us a lead?
Robby
On Fri, Jan 8, 2016 at 5:16 AM, Alex Harsanyi
Looks like all but about 2x of the overhead is in the dict-update!
contract, which is this:
(->i ([d (dict-implements/c 'dict-set!)]
[k (d) (dict-key-contract d)]
[update (d) (-> (dict-value-contract d) (dict-value-contract d))])
([default (d) (or/c (dict-value-contract
Well, the current "racket" repo is only a small part of what we
distribute. You might try that same thing on the standard
distribution.
Robby
On Fri, Dec 11, 2015 at 7:15 AM, Brian Adkins wrote:
> On Friday, December 11, 2015 at 7:55:50 AM UTC-5, Brian Adkins wrote:
>>
well. 45k sounds like what I remember for
> just the main collects directory.
>
> Sam
>
>
> On Fri, Dec 11, 2015, 8:48 AM Robby Findler <ro...@eecs.northwestern.edu>
> wrote:
>>
>> I think something is wrong with your command. When I run "find . -na
gt; than an ordering unique to Racket.
>
> Jay
>
> On Tue, Nov 24, 2015 at 12:56 PM, 'John Clements' via dev-redirect
> <d...@plt-scheme.org> wrote:
>>
>>> On Nov 24, 2015, at 4:39 AM, Robby Findler <ro...@eecs.northwestern.edu>
>>> wrote:
>>&g
It's definitely a mess and a very unfriendly behavior!!
Maybe worth a note in teh docs for 'sort'? With the example you posted?
Robby
On Tue, Nov 24, 2015 at 1:30 PM, 'John Clements' via dev-redirect
<d...@plt-scheme.org> wrote:
>
>> On Nov 24, 2015, at 11:15 AM, Ro
Unfortunately, nan is defined to not be less than or greater than any
number and sorting works only when you supply a transitive predicate
and it seems difficult to change either of these things.
Robby
On Sat, Nov 21, 2015 at 3:10 AM, 'John Clements' via dev-redirect
e to the module, "moniker". Here racket does not tell the name or
> where the syntax transformer is located, it does not give the module or
> line where the expansion occurs.
>
> On Wed, Nov 11, 2015 at 3:23 PM, Robby Findler <ro...@eecs.northwestern.edu>
> wrote:
&g
olver
>
>
>
> On Sun, Nov 1, 2015 at 9:27 PM, Greg Hendershott <
> greghendersh...@gmail.com
> <javascript:_e(%7B%7D,'cvml','greghendersh...@gmail.com');>> wrote:
>
>> On Fri, Oct 30, 2015 at 7:55 AM, Robby Findler
>> <ro...@eecs.northwestern.edu
>> <
Hi Thomas: you may wish to use errortrace to get more source locations
for error messages. It is enabled by default in DrRacket, but you have
to load it explicitly when you are working with the command-line
racket. Probably racket-mode has some support for it too, but I'm not
sure if it is turned
gt;> (module+ test
>> (require rackunit)
>> (define (reads in out)
>>(check-equal? (read (open-input-string in)) out))
>> (parameterize ([current-readtable (make-colon-keyword-readtable)])
>>(reads "a:b" 'a:b)
>>(reads ":a" '#:a)
&
If you test against head you will probably get the best warnings. I
assume you want to find out about problems before the release goes
out, to prepare for the release? (The release branch is a relatively
short-lived thing that exists only in the run up to a release.)
Robby
On Sat, Oct 10, 2015
The number of times that a phase 1 module is required is not easy to
predict because it depends on how the program is run. But yes, state
is not shared unless the state is external (network connections, IO
(like you see here), files in the file system).
Robby
On Thu, Sep 24, 2015 at 10:46 PM,
Yes, and mostly we do that at phase 0 (compilation doesn't generally
make network connections (although it could)) so we get the help from
the runtime system that we discussed earlier.
Robby
On Fri, Sep 25, 2015 at 7:07 AM, Thomas Lynch
wrote:
> Interesting
The top-level code in the module runs only once. Here's a small
version of your code and the results of running it.
☕ cat A.rkt
#lang racket
(require "utility.rkt")
(printf "A\n")
☕ [robby@gongguan] ~/x
☕ cat B.rkt
#lang racket
(require "utility.rkt")
(printf "B\n")
☕ [robby@gongguan] ~/x
☕
Maybe the right thing is to just collect the set of licenses of all
dependencies of a given pkg as an alternative view of some pkg, and
then you could navigate around yourself to make decisions?
Robby
On Thu, Sep 10, 2015 at 3:10 PM, Greg Hendershott
wrote:
> I think
I too think it would be fantastic if you took this on.
Robby
On Tuesday, September 1, 2015, Alexis King wrote:
> > Take a bigger stab. Post code. Submit pull requests.
>
> It’s on my list of Racket projects to work on! ;) My recent updates to my
> Heroku buildpack and
Yep that is accurate and good suggestions. Thanks!
On Friday, August 7, 2015, Benjamin Greenman bl...@cornell.edu wrote:
+1
Can we also include a footnote about the menu options Racket Disable
Tests and Language Choose Language Submodules to Run?
On Fri, Aug 7, 2015 at 10:14 AM, 'John
On Mon, Jul 27, 2015 at 1:52 AM, Alexander Shopov a...@kambanaria.org wrote:
Hi everyone,
I am Alexander Shopov and I am announcing that I have started Bulgarian
translation of Racket's strings.
Bulgarian is a South Slavic language, official in Bulgaria.
I have been translating FLOSS for
. Do you have that commit?
(After I added that commit, I got an error about a pkg conflict which
was the one avoided by deleting compiled/ directories).
Robby
On Sun, Jul 26, 2015 at 7:19 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
If you delete your compiled/ directories and re-run
On Mon, Jul 20, 2015 at 8:16 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Sun, 19 Jul 2015 15:46:07 -0700, Alexis King wrote:
One more thing: introducing a new scope with make-syntax-introducer seems to
break DrRacket’s Check Syntax arrows for the whole module.
That makes sense in
On Mon, Jul 20, 2015 at 8:49 AM, Gustavo Massaccesi gust...@oma.org.ar wrote:
Slightly off-topic: I didn't notice 'original-for-check-syntax. A few
weeks ago I had problems with a missing arrows in DrRacket, and I
searched for 'disappeared-use and I got
* Added data/enumerate: a library that supports efficient enumeration
of data structures
* DrRacket's online check syntax works with images and other non-text content
* DrRacket's blueboxes are available more often and contain methods
and constructor information
* DrRacket's Open Require Path
On Fri, Apr 10, 2015 at 12:02 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Robby Findler ro...@eecs.northwestern.edu
- DrRacket Tests
Done.
--
You received this message because you are subscribed to the Google Groups
Racket Developers group.
To unsubscribe from this group and stop
85 matches
Mail list logo