p` where `p` is a cloned package should
>> only do anything if (a) the currently-checked-out branch is the one in
>> the pkg source and (b) the `git merge --ff-only` command would
>> succeed. Otherwise, I think it should just print a message and leave
>> the repository as it
Yes, that's true.
Robby
On Tue, Feb 17, 2015 at 10:50 AM, Sam Tobin-Hochstadt
wrote:
> On Tue, Feb 17, 2015 at 11:31 AM, Jens Axel Søgaard
> wrote:
>> 2015-02-17 14:26 GMT+01:00 Robby Findler :
>>> I don't think the libraries are sufficient as is, but I would res
Sam and I have run into a situation where `make` fails because we've
set up clone pkgs and made local modifications in a way that makes the
git commands fail [*].
My guess is that the right thing to do is for me to know about these
pkgs and do something special when running make. I'm thinking that
I don't think the libraries are sufficient as is, but I would resist
adding aliases.
Perhaps a better way to get people coming from Haskell would be to
write an essay specifically aimed there?
- Step 1: use variables.
- Step 2: here are `for` loops!
;)
Robby
On Tue, Feb 17, 2015 at 1:18 A
Is the issue that the E_b from Jan's original message might produce
multiple values and you are supposed to take the value that's
available only after something syncs on the E_m?
That is, I thought you could just create a separate thread that sync's
on E_b and then whenever you get a value from it
n Jan 19, 2015, at 15:52, Robby Findler wrote:
>>
>> Ah: one other note. When you do something like this:
>>
>> ((contract (-> (list/c (box/c integer?)) any)
>> (λ (x) (unbox (car x)))
>> 'pos 'neg)
>> (list (box "not
ally knowledgeable to look there).
If you don't, I can push the commit to the appropriate repo. Let me know.
Robby
On Mon, Jan 19, 2015 at 5:44 PM, Alexis King wrote:
> Yes, there are tests, and you can see them here.
>
> On Jan 19, 2015, at 13:29, Robby Findler
> wrote:
>
be changed, let
> me know—otherwise, I’ll patiently wait for the process to run its course.
> Just checking in.
>
>> On Jan 16, 2015, at 10:15, Alexis King wrote:
>>
>> Ah, that makes sense, fixed.
>>
>>> On Jan 16, 2015, at 05:37, Robby Findler
>>>
ons are
> exported from racket/async-channel. The async-channel contracts, however, are
> exported from racket/contract.
>
>> On Jan 15, 2015, at 14:41, Robby Findler wrote:
>>
>> Just a small nit: why export that function from racket/contract and
>> not a
Just a small nit: why export that function from racket/contract and
not an async-channel library?
Robby
On Thu, Jan 15, 2015 at 3:33 PM, Alexis King wrote:
> As an update, I’ve made a bit more progress on this. I’ve implemented an
> impersonate-async-channel function, and I’ve actually included
Can you randomly make up programs from your grammar, get example
errors from the tool, and then run those programs to see if you find
bugs in the analysis like that one?
That said, I don't see how the bug in >=/c is coming in here. Can you
explain more?
Robby
On Thu, Jan 15, 2015 at 1:42 PM, Da
I think this is saying that the result is going to be negative. (But
it won't, since it doesn't terminate.)
Robby
On Thu, Jan 15, 2015 at 1:13 PM, Asumu Takikawa wrote:
> On 2015-01-14 19:11:59 -0500, David Van Horn wrote:
>> If you have questions, comments, bugs, or any other feedback, let us
FWIW, ( wrote:
> On 1/15/15, 11:27 AM, Matthias Felleisen wrote:
>>
>> Argh, I wanted the other way (negative). I always get the
>> directions confused. Sorry.
>
> Right -- using (and/c real? (
> Thanks for trying it out!
>
> David
>
>>
>>
>> On Jan 15, 2015, at 11:26 AM, David Van Horn
>> wrote:
still-in-progress delete fails due to a permission failure after
> all.
>
> At Wed, 14 Jan 2015 09:31:37 -0600, Robby Findler wrote:
>> Is it perhaps worth being more explicit about this possibility in the
>> docs? I'm thinking of a sentence that says "when is
>
Is it perhaps worth being more explicit about this possibility in the
docs? I'm thinking of a sentence that says "when is
set, delete-file may have only the effect of changing the permissions
on the file" or similar.
Robby
On Wed, Jan 14, 2015 at 8:29 AM, Matthew Flatt wrote:
> At Wed, 14 Jan 2
FWIW, I have just been doing "git remote set-url origin " and it has worked well and been easy.
Robby
On Tuesday, December 16, 2014, Sam Tobin-Hochstadt
wrote:
> I think this is the case for everyone.
>
> I've used the `hub` [1] tool to address this. Once I have a checkout,
> if I need to push,
aco
>>> makes', rather than have raco make spawn multiple racket instances (via the
>>> -j flag). Although this particular setup will bear some examination.
>>>
>>> On Tue, Dec 9, 2014 at 11:47 AM, Robby Findler
>>> wrote:
>>>
>>
Ah sorry: meant to add: did you try the -j flag?
On Tuesday, December 9, 2014, Robby Findler
wrote:
> I think they can stomp on each other and you can get inconsistent results,
> theoretically.
>
> Robby
>
> On Tuesday, December 9, 2014, Dan Liebgold > wrote:
>
>>
I think they can stomp on each other and you can get inconsistent results,
theoretically.
Robby
On Tuesday, December 9, 2014, Dan Liebgold wrote:
> If I have multiple instances of raco make running and some of the files
> they are checking/rebuilding are shared across the instances... what
> ha
And just to confirm: we should be checking into our own failures in
drdr and fixing the info files now, right?
Robby
On Fri, Dec 5, 2014 at 6:14 AM, Jay McCarthy wrote:
> Since we split the repository, there have been significantly more
> errors on DrDr:
>
> http://drdr.racket-lang.org/
>
> Thi
I think there is perhaps a misunderstanding.
The design of the pkg system is (partly) driven by the observations
the core team has about what gives us special privilege and then
working to lift those restrictions so we don't need to operate under
that special privilege. And I'll note that this the
I've pushed a fix for the mac os x problem using materialize-user-docs
because it seems to me to reduce rather than enlarge the number of
different configurations are users are in. It may not actually turn
out to be the conservative change and we can always revisit it when we
have more concrete dat
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay wrote:
> On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler
> wrote:
>>
>> Oh, my apologies. I thought you meant something different.
>>
>> Yes, this works.
>
> Ah, in this case, the patch that I sent earlier sh
No that doesn't work. You can see why if you follow the technical details
in the thread (and get a Mac maybe).
Matthew is adding something to the setup collection and drr will use it and
we will be all set I expect.
Sam doing some testing after that point will be useful tho.
Robby
On Friday, No
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay wrote:
> On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler
> wrote:
>> No, the browser isn't hiding the query part.
>>
>> Here are the content of two script files:
>>
>> $ cat a.scrpt
>> open location
No, the browser isn't hiding the query part.
Here are the content of two script files:
$ cat a.scrpt
open location "file:///Applications/r/doc/search/index.html?q=xyz"
$ cat b.scrpt
open location
"file:///Users/robby/Library/Racket/development/doc/search/index.html?q=xyz"
Running "osascript a
behaviour?
>
> S.
>
>
> On Thu Nov 20 2014 at 12:13:51 AM Stephen De Gabrielle
> wrote:
>>
>>
>> This: file:///Applications/Racket%20v6.1.1.5/doc/search/index.html
>> it just shows the search screen as usual - just without the
>> search text.
>>
>>
dex.html
>
> OS X 10.10.1 (14B25)
> all updates up-to-date
>
> Welcome to DrRacket, version 6.1.1.5--2014-11-19(6c9172f/a) [3m].
> Language: racket/gui; memory limit: 128 MB.
>
> the top/right popup works fine FWIW.
>
> S.
>
>
> On Wed Nov 19 2014 at 11:26:05 PM
You won't be surprised to learn that my machine is one of the ones
where it works. :(
If I understand correctly, you're getting to the browser, but not
seeing the right thing in the browser? Is that right? If so, what is
the url in the url bar? And which browser? Does it work if you switch
to safa
You ran "raco setup" with no arguments to completion?
On Tuesday, November 18, 2014, wrote:
> jay has updated `master' from 26fe66b141 to 804599fe98.
> http://git.racket-lang.org/plt/26fe66b141..804599fe98
>
> =[ One Commit ]=
> Directory
I like the last sentence of Sam's latest bullet.
Robby
On Thursday, October 30, 2014, Matthias Felleisen
wrote:
>
> On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt > wrote:
>
> >>
> >> How about this one? (Starting from Matthias's offering and editing the
> >> apology from Sam's a bit.)
> >>
I don't think that "it's true of every type system everywhere" is a
good rationale for not owning backwards-incompatible changes (even
when they are "good" backwards incompatible changes, as this one
certainly is). I do agree with you, however, that what is especially
bad is requiring changes to "w
in hiding it.
Robby
On Wed, Oct 29, 2014 at 4:55 PM, Sam Tobin-Hochstadt
wrote:
> On Wed, Oct 29, 2014 at 5:47 PM, Robby Findler
> wrote:
>> Yes, that's what I mean. I don't think that the sentence "This may
>> break existing programs that rely on unsafe beh
at you mean, in that the first
> program is "wrong" in some sense, even though it doesn't go wrong, but
> the second example is a perfectly fine Racket program (if perhaps poor
> style), but not one that can be allowed in the presence of untyped
> code.
>
> Does that
Sam: can you elaborate on precisely what the hole was? In particular,
if there are any safe programs that the type system now rejects, I'd
be in favor of a slightly different wording.
Robby
On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt
wrote:
> On Wed, Oct 29, 2014 at 3:30 PM, Ryan Culpep
For me:
* Added the drracket/check-syntax library to facilitate check
syntax-like behavior in other IDEs
* Redex: explained the benchmark programs added a conditional-form
to metafunctions
* 2htdp/image's notion of equality no longer considers an image's baseline.
* Contracts: contract-
Many of the changes are documentation, but there are some TR changes
that we may go back on; it's not clear yet.
Were there other changes that jumped out at you as worth double checking?
And yes, once Ryan announces a new build built, re-running tests is
always welcome!
Robby
On Wed, Oct 22, 20
On Thu, Oct 16, 2014 at 8:13 AM, Ryan Culpepper wrote:
> * Robby Findler
> - DrRacket Tests
> - Framework Tests
> - Contracts Tests
> - Games Tests
> - Teachpacks Tests: image tests
> - PLaneT Tests
> - Redex Tests
Done.
> Updates:
> - Dr
I'm not able to reproduce this bug, but it appears that the value of
the current-load/use-compiled parameter is being passed #f for a first
argument.
The code in DrRacket seems to assume that things like this will raise errors:
(parameterize ([current-load/use-compiled void])
((current-load/use
Do we have a github issue tracker for drracket?
Robby
On Sat, Oct 4, 2014 at 5:48 PM, Matthias Felleisen wrote:
>
> Could you use the github issue tracker to submit this? Thanks -- Matthias
>
> https://github.com/calvis/cKanren
>
>
>
> On Oct 2, 2014, at 12:05 PM, A.J. Lepper wrote:
>
>> Windows
f5 to run, get "only a module expression is allowed" error
> 6) switch lang to "bsl" using bottom left menu
> 7) skip-whitespace error
>
> Let me try to reproduce on another system.
>
> On Tue, Sep 16, 2014 at 10:14 AM, Robby Findler
> wrote:
>> On Mon,
On Mon, Sep 15, 2014 at 8:08 PM, Stephen Chang wrote:
>> Does starting a fresh drracket exhibit these problems, if you follow
>> those steps right after starting up?
>
> Yes I can reproduce consistently.
Hm. I'm stuck. I tried windows 32bit 6.1 in my windows 7 vm (as well
as git head, and those t
e9b778.
>> http://git.racket-lang.org/plt/df3c56fae2..bc83e9b778
>>
>> =[ 2 Commits ]==========
>> Directory summary:
>> 14.5% pkgs/drracket-pkgs/drracket/drracket/private/
>> 79.5% pkgs/gui-pkgs/gui-li
Thanks, I've pushed a fix.
Robby
On Sat, Sep 6, 2014 at 5:22 PM, Kevin Forchione wrote:
> Hi guys,
> I’ve noticed that the named let form parenthesis behavior is different when
> the name is “rec”. In that case the inner parenthesis isn’t square brackets.
> For instance:
>
> (let rec (
And now (finally) the Northwestern snapshots do too.
Robby
On Wed, Aug 27, 2014 at 9:46 AM, Matthew Flatt wrote:
> The Racket snapshots at
>
> http://www.cs.utah.edu/plt/snapshots/
>
> now include the Optimization Coach package.
>
_
Racket Developers list:
http://lis
Seems simplest to be to have typed racket know to trust register finalizer
and thus avoid wrapping it with a contract.
Robby
On Saturday, August 16, 2014, Neil Toronto wrote:
> Short version: the contract system doesn't allow `register-finalizer` to
> be used in Typed Racket.
>
> Long version:
I think you'd have to add a dependency to the 'main-distribution' pkg,
but my guess is that that will require some work internally to make
not be a pain for people who want to build from git. If you have the
inclination, you could give it a try locally and let us know how it
goes?
Robby
On Tue, A
I also tried both the 64 and 32 bit builds on my windows vm and
couldn't get it to crash.
Is there something specific you're doing in drracket? I just opened a
few files and clicked around and nothing untoward happened.
Robby
On Thu, Jul 31, 2014 at 9:42 AM, Matthew Flatt wrote:
> Thanks for th
On Tue, Jul 29, 2014 at 12:47 PM, Matthias Felleisen
wrote:
>
> On Jul 28, 2014, at 2:33 PM, Ryan Culpepper wrote:
>
>> matthias:
>> - add check-random (aec84f4a)
>
>
> check-random is an addition to the preferred unit testing framework in
> the teaching languages. It enables the testing of stude
On Mon, Jul 28, 2014 at 1:33 PM, Ryan Culpepper wrote:
> robby:
> - random generation from contracts (1cb1ff28, 76c6a1b7)
> - contract improvements (c64d70ab)
> - change semantics of _!_ variables under ellipses (69c96c62)
> - change metafunction contract formatting (d067311c)
> - recursive-contra
ly the wrong
> accessor for struct-chaperone.
>
> Sam
>
> On Jul 24, 2014 7:54 PM, "Robby Findler"
> wrote:
>>
>> Ah, nope. That model doesn't include function chaperones!
>>
>> Robby
>>
>> On Thu, Jul 24, 2014 at 6:14 PM, Robby Findler
>
Ah, nope. That model doesn't include function chaperones!
Robby
On Thu, Jul 24, 2014 at 6:14 PM, Robby Findler
wrote:
> I also lean towards #2. What does the redex model say? Most of those
> pieces are in it, I think.
>
> Robby
>
> On Thu, Jul 24, 2014 at 3:25 PM, Matthe
I also lean towards #2. What does the redex model say? Most of those
pieces are in it, I think.
Robby
On Thu, Jul 24, 2014 at 3:25 PM, Matthew Flatt wrote:
> Nice example. Offhand, I think that #2 is right, but I'll have to look
> at it more to be sure.
>
> At Thu, 24 Jul 2014 15:45:18 -0400, Sa
Not an answer to your direction question, but this is the more
idiomatic way to write that and it seems to be a bit faster:
(time (for ([w (in-list words)])
(hash-set! d w (add1 (hash-ref d w 0)
On Wed, Jul 23, 2014 at 10:54 AM, Pedro Ramos
wrote:
> Hi,
>
> I've been developing an im
s the wrong word: the margin notes are completely inside the blue
> boxes.
>
> BTW, #2 is fixed now. I added an "#:unscaled? #t" somewhere; Matthew did the
> actual work. :D
>
> Neil
>
>
> On 07/22/2014 07:20 PM, Robby Findler wrote:
>>
>> FWIW,
FWIW, I don't see the overlap in Chrome (on a mac) or in Safari.
Robby
On Tue, Jul 22, 2014 at 2:01 PM, Neil Toronto wrote:
> On 07/17/2014 08:03 PM, Ryan Culpepper wrote:
>>
>> * Neil Toronto
>>- Plot Tests
>>- Images Tests
>>- Inspect icons
>>- Math tests
>
>
> All tests pass,
Yes, I agree. I don't have a good suggestion for the name, tho. Sorry.
Robby
On Mon, Jul 21, 2014 at 3:19 PM, Asumu Takikawa wrote:
> 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 again
On Sun, Jul 20, 2014 at 1:27 AM, Matthew Flatt wrote:
> At Fri, 18 Jul 2014 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 fl
On Fri, Jul 18, 2014 at 9:37 AM, Asumu Takikawa wrote:
> 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. :)
Ha! :)
Maybe there's something you might wa
On Thu, Jul 17, 2014 at 7:03 PM, Ryan Culpepper wrote:
> * Robby Findler
> - DrRacket Tests
> - Framework Tests
> - Contracts Tests
> - Games Tests
> - Teachpacks Tests: image tests
> - PLaneT Tests
> - Redex Tests
> Updates:
> - DrRacket Updat
Why doesn't flatten-begin already do this?
Robby
On Friday, July 18, 2014, Asumu Takikawa wrote:
> 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
> rec
act is wrong" side, since that seems to make more intuitive
sense to people, but I would not mind a change that moves us more
towards an error message that is more balanced (proposals welcome!).
Not even admitting the second possibility seems unwise, however.
Robby
On Mon, Jul 14, 2014 at 8:
rom 737330deb6 to 1dda800ca2.
> > http://git.racket-lang.org/plt/737330deb6..1dda800ca2
> >
> > =[ One Commit ]=
> > Directory summary:
> > 100.0% racket/collects/racket/contract/private/
> >
> > ~
14 at 2:31 PM, Matthias Felleisen wrote:
>
> On Jun 27, 2014, at 4:47 PM, Robby Findler wrote:
>
>> This effect is, I believe, one of the
>> main things people mean when they say that Redex's typesetting is ugly
>> (and it is indeed ugly in larger quantities).
>
I see that too, in an ubuntu vm. Thanks.
Robby
On Mon, Jun 30, 2014 at 10:28 AM, Sam Tobin-Hochstadt
wrote:
>
> On Jun 30, 2014 3:34 PM, "Robby Findler"
> wrote:
>>
>> Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it
>> looks good, but t
using?
Robby
On Mon, Jun 30, 2014 at 6:50 AM, Sam Tobin-Hochstadt
wrote:
> Attached are the two pdfs (x1 is --pdf, x is --dvipdf) and the two
> screenshots in Evince, my usual PDF viewer.
>
> Sam
>
> On Sat, Jun 28, 2014 at 9:03 PM, Robby Findler
> wrote:
>> I'
; font rendering is different in a few places.
>
> You can also see that --dvipdf loses the rest of the document after
> the Redex pict -- I don't know what could cause that.
>
> Basically the same things happen on my other linux machine.
>
> Sam
>
> On Fri, Jun 27
PS: Sam, were you able to produce two pdfs (via scribble --dvipdf and
--pdf) and compare their output on your machine? Do you have
screenshots to share?
Robby
_
Racket Developers list:
http://lists.racket-lang.org/dev
On Fri, Jun 27, 2014 at 12:38 PM, Kevin Forchione wrote:
>
> On Jun 22, 2014, at 9:42 PM, Robby Findler
> wrote:
>
>> Thanks! I've added these two functions.
>>
>> Robby
>>
>> On Sun, Jun 22, 2014 at 12:26 PM, Kevin Forchione wrote:
>>>
>
I am not understanding your question either but the two screenshots are
using the same fonts. Just one is being rendered poorly for unknown
reasons.
Robby
On Saturday, June 28, 2014, Sam Tobin-Hochstadt
wrote:
> On Fri, Jun 27, 2014 at 2:23 PM, Matthew Flatt > wrote:
> > At Fri, 27 Jun 2014 1
, 2014 at 9:23 AM, Sam Tobin-Hochstadt
wrote:
> And the one with the second x in the bottom line lower down is the one
> that's from --pdf and is not intended? Are there other differences
> between the pictures?
>
> Sam
>
> On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler
>
On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin-Hochstadt
wrote:
> Is the program in the commit message what I should try to see the difference?
It looks different for me, yes. I'm attaching two screenshots for the
difference I see between --pdf and --dvipdf.
Robby
_
Racket
Fri, Jun 27, 2014 at 4:30 AM, wrote:
>>
>>
>> 5280395 Robby Findler 2014-06-27 03:25
>> :
>> | add the --dvipdf flag to scribble
>> |
>> | This adds a new back-end pipeline for generating pdf to
>> | scribble, with the hope that included picts (e.g.
FWIW, I think this is what the style guide would recommend. I found
the transformation to be pretty straightforward, except that I had to
rename on occurrence of 'H' to 'H2'. (I didn't try to test it, tho!)
Robby
(define (make-natural->rearrangement L (EQ? equal?))
(define N (nr-of-rearrangemen
I think that the prefer-define-over-let applies only to the first let
in this program.
The style guide also would recommend 'cond' over 'if' here, but it
becomes very very important to do that only if there were nested
'let's or 'begin's or the like and you don't have that.
Robby
On Mon, Jun 23,
Thanks! I've added these two functions.
Robby
On Sun, Jun 22, 2014 at 12:26 PM, Kevin Forchione wrote:
>
> On Jun 21, 2014, at 5:02 PM, Robby Findler
> wrote:
>
> What do you think about a variant on center-crop called crop/align
> that accepts a width, a height, an imag
What do you think about a variant on center-crop called crop/align
that accepts a width, a height, an image, and an x-place and a
y-place?
That would seem to fit better into the library the way it's currently
constructed.
For working around the frame issue, how about just a color-frame
function t
tead of
> someone trying to fake that, especially if they can get the blame
> object from one export and reuse it on a different value.
>
> On Fri, Jun 13, 2014 at 6:29 AM, Robby Findler
> wrote:
>> Okay, I'll push has-blame? and value-blame. Let me know if there are
>
Okay, I'll push has-blame? and value-blame. Let me know if there are
any problems.
Robby
On Fri, Jun 13, 2014 at 5:59 AM, Sam Tobin-Hochstadt
wrote:
> Yes, I think this would allow all the optimizations that Eric talked about.
>
> Sam
>
> On Jun 13, 2014 4:26 AM, &quo
Would it be useful to get blame information back from a value, just
like you can currently get the contract back?
Robby
On Tue, Jun 10, 2014 at 11:53 AM, Matthias Felleisen
wrote:
>
> I was thinking of associating the contract with the type from which it comes
> and no that's not hash-consing.
gs of these.
>
> I do believe there are optimizations that we can do, for example
> unrolling the contract so that only every 5 struct contracts is a lazy
> chaperone contract. But I have no idea how we could dynamically pick
> the best unrolling strategy.
>
> On Thu, Jun 12, 201
On Tue, Jun 10, 2014 at 2:27 AM, Eric Dobson wrote:
> On Mon, Jun 9, 2014 at 9:46 PM, Eric Dobson wrote:
>> Splitting this out because this is actually a different issue. This is
>> about us generating slow contracts.
>>
>> There are two things in play here.
>>
>> One is that TR doesn't use the n
On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt
wrote:
> On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler
> wrote:
>> Am I right that the contract on 'f' is actually (-> symbol? any)? And
>> if so, where is the information coming from that lets you elide the
>&
On Mon, Jun 9, 2014 at 8:38 AM, Sam Tobin-Hochstadt
wrote:
> On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson wrote:
>>
>> It would be nice if the contract on the input to g could be elided. It
>> seems like this could be done by using something like prop:contracted
>> but that allowed accessing the p
On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt
wrote:
> On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler
> wrote:
>> Am I right that the contract on 'f' is actually (-> symbol? any)? And
>> if so, where is the information coming from that lets you elide the
>&
Am I right that the contract on 'f' is actually (-> symbol? any)? And
if so, where is the information coming from that lets you elide the
check?
One idea for this particular case: make 'g' be a macro that inspects
its argument and if it see "obvious" things like this, then it can
expand into a cal
(I must have missed that suggestion, sorry.)
I don't object to the sentiment behind the name, but I feel like we
have not figured out the best way to do assertions or invariants and
so we should leave such a valuable name for a future
contributor/insight and use the more "ugly" name for this one.
so be in
favor.
Robby
On Thu, May 8, 2014 at 7:34 PM, Matthias Felleisen wrote:
>
> I think maybe signals a well-known functional idea.
>
>
> On May 8, 2014, at 8:03 PM, Robby Findler wrote:
>
>> (or/c #f x)
>>
>> seems better than maybe/c because it is nearl
(or/c #f x)
seems better than maybe/c because it is nearly the same length and it
is one less thing to memorize (and it's not like single-point of
control applies here because this can never change).
Robby
On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen wrote:
>
> (We have maybe/c somewhere,
Oh! So the evaluator module is available in phase 0 in 'ns', but not
in 'namespace'. Is that right?
Robby
On Wed, May 7, 2014 at 9:58 AM, Matthew Flatt wrote:
> I think the right change might be
>
> (module evaluator racket
>
>(define (prep!)
> (parameterize ([current-namespace
Hochstadt
wrote:
> Well, to quote from the docs for `dynamic-require`:
>
> "When provided is a symbol, the value of the module’s export with the
> given name is returned, and still the module is not visited or made
> available in higher phases."
>
> That's why I th
When I look at this code I can't figure out why (submod "weird.rkt"
evaluator) _isn't_ available at phase 0! Could this be a bug?
Robby
On Wed, May 7, 2014 at 9:11 AM, Sam Tobin-Hochstadt
wrote:
> This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works
> when line 33 is uncommente
I don't think those are the things being complained about. I read a
complaint about non-incremental GC, a complaint about DrRacket IO
(which is really quite slow because it uses an editor which is
overkill for a stream of text), possibly a complaint about the FFI
(but maybe there's more there?). An
Thanks for figuring this out!
Robby
On Sun, May 4, 2014 at 7:30 PM, Geoffrey S. Knauth wrote:
> I'm happy to say that with that particular @interaction[...] deleted, the
> rest of the build completed quickly and I now have a working DrRacket 6.0.1.6.
>
> Geoff
>
_
Rack
Oh! Well that code is clearly broken!
I guess you have a cyclic symbolic link in your temporary directory?
Or maybe just a ton of stuff?
Unless you want to, I'll push a change somehow or other.
Robby
On Sun, May 4, 2014 at 7:09 PM, Geoffrey S. Knauth wrote:
> On May 4, 2014, at 19:20
"GSK-2\n")
> @examples[
> (let* ([x (list "Borroughs")]
>[y (cons "Rice" x)]
>[z (cons "Edgar" y)])
> (list x y z))
> (let* ([name (list "Borroughs")]
>[name (cons "Rice" name)]
>[na
the source) and then put something like
@(printf "1\n")
right before each of them. Or maybe do binary search. :)
Robby
On Sun, May 4, 2014 at 5:13 PM, Geoffrey S. Knauth wrote:
> I'm happy to insert printfs in my tree if you tell me where. --Geoff
>
> On May 4, 201
thanks. Unfortunately I cannot reproduce this on my machine but the thing I
would do if I could would be to start putting printfs in to try to find a
smaller programs that gets stuck.
Robby
On Sunday, May 4, 2014, Geoffrey S. Knauth wrote:
> On May 4, 2014, at 16:44 , Robby Find
That suggests to me that it is running of the of the examples in
/Users/gknauth/test/plt/git/plt/pkgs/racket-pkgs/racket-doc/scribblings/guide/let.scrbl
that's causing the problem. Does this terminate:
$ racket -l scribblings/guide/let.scrbl
Robby
On Sun, May 4, 2014 at 3:32 PM, Geoffrey S. Kn
I don't know what's causing that problem, but it looks to me like we
might get some good information if you do this:
% racket -l scribblings/guide/guide.scrbl
and then let it get good and stuck and hit control-c. You should get a
stack trace and that stack trace might be illuminating...
Robby
1 - 100 of 1676 matches
Mail list logo
