Re: [racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Robby Findler
In addition to the other suggestions, if you can express the thing you want to generate as a contract, the contract library will generate random instances of it. But it doesn't have the tuning of weights you're looking for. Robby On Thu, Jun 6, 2019 at 3:41 PM Eric Eide wrote: > > Ryan Kramer w

Re: [racket-users] anyone using single-flonums?

2019-05-30 Thread Robby Findler
On Thu, May 30, 2019 at 8:03 AM Laurent wrote: > I suspect that if Matthew feels a need to ask about this, this means the > price of backward compatibility to pay for all of us may be quite significant. Not one to put words in Matthew's mouth, but I presume that he is hopeful that no one is actu

[racket-users] Re: Idle UI thought: compiling/running indicator?

2019-05-20 Thread Robby Findler
DrRacket doesn't currently know about the difference between those two (it just evaluates the program and eval knows what it is doing, but doesn't currently tell). There is a related thing, tho: when debugging is turned off, if you see a green bubble (it will have little spikeys on it), then click

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-10 Thread Robby Findler
Great! I've pushed it. Hopefully the docs make it clear how to define the C you wanted earlier. If they don't let me know and I'll fix 'em. Robby On Wed, May 8, 2019 at 11:21 AM William J. Bowman wrote: > > Yeah, I think I would be. > > On Wed, May 08, 2019 at

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-08 Thread Robby Findler
Hi William: are you agreeing that if redex added a new pattern that you would be in good shape or not? Thanks, Robby On Wed, May 8, 2019 at 10:05 AM William J. Bowman wrote: > > On Wed, May 08, 2019 at 08:31:26AM -0500, Robby Findler wrote: > > On Tue, May 7, 2019 at 9:19 PM Willi

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-08 Thread Robby Findler
On Tue, May 7, 2019 at 9:19 PM William J. Bowman wrote: > > On Tue, May 07, 2019 at 03:55:09PM -0500, Robby Findler wrote: > > I can agree that the current definition isn't the best one, but this > > one doesn't seem right. I mean, this requires that both sides step?

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-07 Thread Robby Findler
On Mon, May 6, 2019 at 2:11 PM William J. Bowman wrote: > > I took a quick look at the implementation of `cross` and `compatible-closure`, > and couldn't make sense of any of it. > For now, I guess I'll manually write out the contexts, and discuss a feature > request. > > I spoke to Max a bit abo

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
ure". > To me, it's the obvious compatible closure, but apparently not. > (It's the one the paper I'm reading calls "the congruence closure", as far > as I > can tell; the definition is missing, hence my Redex modeling.) > > -- > William J. Bowman

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
> (C ::= VT TT) > > and take the context-closure of C. > (see attached) > > Can I get my hands on the generated VT and TT easily, or would I need to > tweak > Redex internals to automate this? > > -- > William J. Bowman > > On Fri, May 03, 2019 at 07:52:09PM

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
> > > On May 3, 2019, at 20:02, Robby Findler wrote: > > > > Redex, when asked to create the compatible closure, creates a context > > and then uses that. In this case, it will create a context something > > like this: > > > > TT ::= hole | (\

Re: [racket-users] Redex compatible closure of mutually defined nonterminals

2019-05-03 Thread Robby Findler
Redex, when asked to create the compatible closure, creates a context and then uses that. In this case, it will create a context something like this: TT ::= hole | (\ (x) TT) | (TT v) | (t VT) | (force VT) | (return VT) VT ::= (thunk TT) If you want something else (I'm not sure of an algorithm to

Re: [racket-users] 2htdp/image: Alpha blending

2019-04-26 Thread Robby Findler
My guess is that the GUI system under 2htdp/image remembered the color was drawn with an alpha value of 100 but there isn't enough resolution to determine the difference between 50 and 48 when you are at 101/256 (or whatever the alpha as a percentage really would be ...). Robby On Fri, Apr 26, 20

Re: [racket-users] Concurrent map / andmap / for-each

2019-04-24 Thread Robby Findler
Thanks for working on this, but Racket's `thread` construct is not parallel (in the sense that you will not see more than one CPU active on your machine at a time with code that uses `thread`). Check out places and futures for alternatives that do support parallelism. Robby On Wed, Apr 24, 2019

Re: [racket-users] make extensions or replacements

2019-04-21 Thread Robby Findler
ICFP 2018 should be available to all (and other years too). It was paid for and I can get the PDF. Could you send me more info? Robby On Sun, Apr 21, 2019 at 12:53 PM Greg Hendershott wrote: > On Sat, Apr 20, 2019 at 12:02 PM Norman Gray > wrote: > > On 20 Apr 2019, at 1:11, 'John Clements' v

Re: [racket-users] Re: raco setup conflicting with slideshow

2019-04-09 Thread Robby Findler
I think it would be nice if there were a new library, pulled out of the current slideshow/base that exported more pict-making functions and didn't depend on these various things. I've looked into this before and I came to the conclusion that it didn't belong in pict because of the way it does font

Re: [racket-users] Generate really large random numbers in Racket

2019-04-01 Thread Robby Findler
Generate multiples of those and combine them (shifting old ones over and adding new ones as the lowest digits)? I'm not sure of a good way to generate nats uniformly at random where you don't specify an upper bound, but Neil Toronto suggested something crazy we used this paper: http://users.cs.nor

Re: [racket-users] Writing scribble?

2019-03-13 Thread Robby Findler
It is control-left and control-right to go by words in DrRacket. If you go to Edit|Keybindings|Show Active Keybindings and type "word" you'll see those and the ones Matthias mentioned and some other word-related keystrokes. Robby On Wed, Mar 13, 2019 at 1:24 PM Matt Jadud wrote: > > Hi all, > >

Re: [racket-users] Help with evaluation of examples in Scribble

2019-03-10 Thread Robby Findler
For the purposes of documentation building however, does it perhaps make sense to fake then actual network connection? Robby On Sun, Mar 10, 2019 at 9:48 AM Matthew Flatt wrote: > Use `call-with-trusted-sandbox-configuration` around the creation of > the evaluator. It's painful and unlikely to

Re: [racket-users] Possible expander bug in internal definition contexts

2019-03-07 Thread Robby Findler
Is the issue simply that `begin`'s body is not an internal definition context, but instead spliced into the containing context? Robby On Thu, Mar 7, 2019 at 12:01 AM Milo Turner wrote: > > I was discussing with a friend some of the edge cases in how internal > definition contexts and expansion

Re: [racket-users] Cannot use case+else inside match+else

2019-02-25 Thread Robby Findler
I have been bitten by this one too, it is a bit pernicious. Perhaps we can adjust the documentation to make more clear that `else` isn't special in `match`? Robby On Mon, Feb 25, 2019 at 6:51 PM Sorawee Porncharoenwase wrote: > > I usually use _ for the otherwise case because I usually match on

Re: [racket-users] Help with generators from python land!

2019-02-21 Thread Robby Findler
For the record, `for` iterators go element-by-element. For example, this program does not construct anything that has all of the natural numbers in it: #lang racket (define my-stuffs-value (hash 'telephone 3 'bluejeans 24 'house 10 'computer 3000)) (define my-estate

Re: [racket-users] Contracts question on structs

2019-02-14 Thread Robby Findler
This is what struct/dc is for. Let me know if the docs let you down! Robby On Thu, Feb 14, 2019 at 7:57 PM Chris GauthierDickey wrote: > I'm wondering if it's possible to have a contract for a struct that only > allows certain kinds of initializations. For example, I have this: > > (provide (co

Re: [racket-users] Problems with syntax coloring a #lang

2019-02-13 Thread Robby Findler
ried it out on a very simple > language to make sure I understood it. I'm not using the lexer-contract, > I'll give that a shot and see if I can narrow it down. Thanks for the > advice! > Chris > > On Wed, Feb 13, 2019 at 7:08 PM Robby Findler > wrote: > >> Am I r

Re: [racket-users] Problems with syntax coloring a #lang

2019-02-13 Thread Robby Findler
Am I right in inferring this is a lang you made and not a lang that you'd like to report a bug about? The symptoms you're seeing are generally bugs in the results of the lexing function. It can be hard to get those right and the colorer calls into your lang's reader in ways that you might not have

Re: [racket-users] Cannot instantiate `racket/gui/base' a second time in the same process

2019-02-11 Thread Robby Findler
s racket/gui > refactoring myself? Or is this something I should expect would happen > without my help? > > Either is cool. I just wasn't sure which you were suggesting. > > > > On Mon, Feb 11, 2019 at 2:46 PM Robby Findler > wrote: >> >> Probably

Re: [racket-users] Cannot instantiate `racket/gui/base' a second time in the same process

2019-02-11 Thread Robby Findler
Probably the best thing would be to adjust racket/gui so that the text% (and perhaps a few smaller other things) was available without racket/gui/base having to be required. I believe that Sam did that to make racket/draw for a reason that was probably like this one. Robby On Mon, Feb 11, 2019 a

Re: [racket-users] Pitfall for contracts with serializable structs

2019-02-09 Thread Robby Findler
[ tl;dr See the newly added struct-guard/c ] I agree this is a problem (and a pernicious one!). Thinking about it from the contract system design point of view, the way serializable struct work this looks a lot like the situation where the module author has (separately) exported the constructor w

Re: [racket-users] delays in message delivery

2019-02-08 Thread Robby Findler
There are some messages that get held up in the spam traps that requires one of the admins to explicitly approve (this happens when the post comes from someone on the list, but where they post with a different email address, I believe). I didn't approve these particular ones, tho, so I'm not sure

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-02-05 Thread Robby Findler
Sounds like you are already in good shape! Robby On Tue, Feb 5, 2019 at 12:57 AM Laurent wrote: > On Mon, Feb 4, 2019 at 9:55 PM Robby Findler > wrote: > >> > Possibly. I'm not sure what would be the best option yet, I'll think >> about it but I welcome s

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-02-04 Thread Robby Findler
On Mon, Feb 4, 2019 at 8:34 AM Laurent wrote: > On Sun, Feb 3, 2019 at 7:00 PM Robby Findler > wrote: >> On Sun, Feb 3, 2019 at 11:50 AM Laurent wrote: >>> >>> I've pushed a repair. It should be integrated with the next racket nightly >>> releas

Re: [racket-users] Python's append vs Racket's append and helping novices understand the implications

2019-02-03 Thread Robby Findler
It seems like a great addition to the performance section of the guide. Robby On Sun, Feb 3, 2019 at 3:35 PM Matthias Felleisen wrote: > > 1. I think this is a great start for a generic introduction to data > structures. Someone should integrate Jens’s short table: > > > https://stackoverflow.c

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-02-03 Thread Robby Findler
> On Fri, Feb 1, 2019 at 1:37 PM Laurent wrote: > >> Okay then, I'll work on a fix tomorrow. >> >> On Fri, Feb 1, 2019 at 1:23 PM Robby Findler >> wrote: >> >>> I can't say concretely what will go wrong I am sorry to say. There are >>

Re: [racket-users] Python's append vs Racket's append and helping novices understand the implications

2019-02-03 Thread Robby Findler
This is very nice! Robby On Sat, Feb 2, 2019 at 10:37 PM Alex Harsanyi wrote: > > I put together some notes about available data structures in Racket, with > some performance considerations. It needs more work, but perhaps it can be > used as a starting point and it can be added to the Racket

Re: [racket-users] Python's append vs Racket's append and helping novices understand the implications

2019-02-02 Thread Robby Findler
On Sat, Feb 2, 2019 at 9:23 AM George Neuner wrote: > > > On 2/2/2019 9:38 AM, Robby Findler wrote: > > Lists seem like a common pitfall here, due to the overlap in > > terminology but not functionality/performance. Maybe the right thing > > is to add a library to da

Re: [racket-users] Python's append vs Racket's append and helping novices understand the implications

2019-02-02 Thread Robby Findler
r example. > > Sam > > On Sat, Feb 2, 2019 at 9:38 AM Robby Findler > wrote: > > > > Lists seem like a common pitfall here, due to the overlap in terminology > but not functionality/performance. Maybe the right thing is to add a > library to data/ that is the python

Re: [racket-users] Python's append vs Racket's append and helping novices understand the implications

2019-02-02 Thread Robby Findler
Lists seem like a common pitfall here, due to the overlap in terminology but not functionality/performance. Maybe the right thing is to add a library to data/ that is the python list data structure and point to it from the list documentation? Robby On Sat, Feb 2, 2019 at 12:28 AM Alex Harsanyi w

Re: [racket-users] ~v in drracket vs commandline

2019-02-01 Thread Robby Findler
gt;>> >>> Could it be changed to also set `(print-as-expression)` appropriately? >>> >>> Sam >>> >>> On Fri, Feb 1, 2019 at 11:02 AM Robby Findler >>> wrote: >>> > >>> > Ah, right! I forgot about that setting. Y

Re: [racket-users] ~v in drracket vs commandline

2019-02-01 Thread Robby Findler
;> I'm in #lang racket for DrRacket, and I assume it's the same for the command >> line when merely starting "$ racket" >> >> >> On Fri, Feb 1, 2019 at 3:39 PM Robby Findler >> wrote: >>> >>> This setting is controlled by

Re: [racket-users] ~v in drracket vs commandline

2019-02-01 Thread Robby Findler
; On Fri, Feb 1, 2019 at 9:48 AM Laurent wrote: > > I'm in #lang racket for DrRacket, and I assume it's the same for the command > line when merely starting "$ racket" > > > On Fri, Feb 1, 2019 at 3:39 PM Robby Findler > wrote: >> >> Thi

Re: [racket-users] ~v in drracket vs commandline

2019-02-01 Thread Robby Findler
This setting is controlled by the language of the original file (so the one in the definitions window in DrRacket or the one you are "inside" in the repl if you're in one). Possibly those are different for you, Laurent? Robby On Fri, Feb 1, 2019 at 9:33 AM Sam Tobin-Hochstadt wrote: > > I see th

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-02-01 Thread Robby Findler
ri, Feb 1, 2019 at 11:30 AM Robby Findler > wrote: > >> My feeling is that our compilation infrastructure isn't really set up to >> work like that currently. In general things will probably be smoother if >> there is only the expectation that a given set of files is used

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-02-01 Thread Robby Findler
could also be querried if that's better. > > On Thu, Jan 31, 2019, 23:02 Greg Trzeciak >> As long as the user-scripts won't be lost (i.e. the scripts will be >> copied over) it sounds OK. >> >> On Thursday, January 31, 2019 at 10:42:08 PM UTC+1, Robby Fi

Re: [racket-users] Spritely awarded Samsung Stack Zero grant

2019-01-31 Thread Robby Findler
Congrats! Robby On Thu, Jan 31, 2019 at 4:46 PM Christopher Lemmer Webber wrote: > > I've mentioned that my goal has been to advance the > federated/decentralized social web in Racket on here before. Here's > some news: > > > https://samsungnext.com/whats-next/category/podcasts/decentralizat

Re: [racket-users] Quickscript error on first startup of Racket 7.2

2019-01-31 Thread Robby Findler
Probably it is best if quickscript (either silently or after asking) copied scripts from a version-specific directory to a new (version-specific) one, much like how the pkg system works. Robby On Thu, Jan 31, 2019 at 3:38 PM Greg Trzeciak wrote: > > I had quickscript already installed when upgra

Re: [racket-users] Re: updated Racket-on-Chez status

2019-01-30 Thread Robby Findler
Also I think that the size of the code generated by arrow contracts (when keywords are involved and other situations that perhaps aren't worth spelling out in detail in this email) is larger than we would like, which also doesn't help. Robby On Wed, Jan 30, 2019 at 7:52 PM Sam Tobin-Hochstadt wr

Re: [racket-users] side by side; scribble

2019-01-30 Thread Robby Findler
Thanks, Ben! Instead of the ++style command line, consider using a property on the `title` of the top-level section. Robby On Wed, Jan 30, 2019 at 10:02 AM Ben Greenman wrote: > > In case you have trouble navigating the docs, here's a related example. > > First, a Scribble function that genera

Re: [racket-users] side by side; scribble

2019-01-30 Thread Robby Findler
. Silva wrote: > > I have already my document in latex, side by side with syncing paragraphs. I > use the paracol package and the switchcolumn*. I was wondering if I could use > this system with scribble as you say. > > quarta-feira, 30 de Janeiro de 2019 às 15:08:34 UTC, Robb

Re: [racket-users] bug in data/enumerate?

2019-01-30 Thread Robby Findler
Turns out this was an incomplete contract check; the algorithm used by `but-not/e` doesn't work if some of the elements of `small` are not in `big`. Thanks to Max for figuring that out. It should be fixed now. Robby On Sun, Jan 13, 2019 at 11:35 PM 'John Clements' via Racket Users wrote: > > I’

Re: [racket-users] side by side; scribble

2019-01-30 Thread Robby Findler
;s not there, but I thought that was what > you meant with the two-columns thing -- and spent 30 minutes figuring out > where that is. That would be nice. Robby > On Wed, Jan 30, 2019 at 2:44 PM Robby Findler > wrote: >> >> No it does not require that, if I am understa

Re: [racket-users] side by side; scribble

2019-01-30 Thread Robby Findler
n't aware > this was easily doable. > > Cheers, > Marc > > On Tuesday, January 29, 2019 at 2:01:37 PM UTC+1, Robby Findler wrote: >> >> In order to do that you'd need to drop down to the latex level and use >> a package there to help you. There is infor

Re: [racket-users] side by side; scribble

2019-01-29 Thread Robby Findler
In order to do that you'd need to drop down to the latex level and use a package there to help you. There is information about how to do that here: http://docs.racket-lang.org/scribble/config.html . Here is a post about packages you could use: https://tex.stackexchange.com/questions/308260/parallel

Re: [racket-users] snake game

2019-01-25 Thread Robby Findler
You've opened the right dialog. Now type "test-" into it. You should see the file appear. Click on it. Robby On Fri, Jan 25, 2019 at 7:53 AM orenpa11 wrote: > > Hi, > Sorry but I did not get it. > should I add the path to the rkt file or add the code ? > > Thanks, > Or > > On Friday, January 25,

Re: [racket-users] Examples of #:inv in Redex?

2019-01-19 Thread Robby Findler
The variables from the contract are bound only if they have underscores in them (because ones without underscores are not constrained to be the same when they appear in contract positions (or in define-language)). I've pushed a small clarification of this in the docs and below is a program that dem

Re: [racket-users] Getting errors running PLT-Redex book example

2019-01-12 Thread Robby Findler
Hi Mike! Thanks for pointing this out. I've updated the errata (Thanks, Ben for those links; I was having trouble finding the date of the change.) Robby On Sat, Jan 12, 2019 at 4:41 AM Mike MacHenry wrote: > > Hey everyone, > > I'm having an issue with one of the examples from Semantics Engineer

Re: [racket-users] Weird behavior when a ‘set’ is the result of ‘eval’

2019-01-10 Thread Robby Findler
Technically speaking, everything is a struct, both hashes and sets. The difference is that the function make-base-namespace shares the module that implements the struct for the hash tables and doesn't for sets. You can share it yourself, if you want to, tho. (See namespace-attach-module.) Robby O

Re: [racket-users] Matching against alpha-equivalence classes in Redex?

2019-01-07 Thread Robby Findler
The true expert on this is, of course, Paul (now cc'd) but I think that the short answer is that you cannot have two different binding occurrences that are the same variable. That's just not how things work. :( In this case, I think you can probably just substitute in for the variable, tho, in tha

Re: [racket-users] Debugging Judgements in Redex?

2019-01-02 Thread Robby Findler
Did you try using `current-traced-metafunctions` ? It is poorly named, I know. And, even worse, I see that the docs don't actually say that it traces judgment forms too. Robby On Wed, Jan 2, 2019 at 9:18 PM Joey Eremondi wrote: > > I'm wondering, is there a way to show some sort of trace for a c

Re: [racket-users] Racket channels and CSP

2018-12-04 Thread Robby Findler
They are inspired by CML which is inspired by other things. You might want to read http://www.cs.utah.edu/plt/kill-safe/ and then follow references for the history of the development of the ideas that went into this particular corner of Racket. Robby On Tue, Dec 4, 2018 at 4:54 PM Anthony Qui

Re: [racket-users] minor doc change proposal?

2018-11-30 Thread Robby Findler
What about using the function (lambda (x) (and x #true)) And putting a short discussion of truthy and a link to elsewhere in the docs? Robby On Thu, Nov 29, 2018 at 11:17 PM Philip McGrath wrote: > I can do it. > > -Philip > > > On Thu, Nov 29, 2018 at 5:17 PM John Clements > wrote: > >> I l

Re: [racket-users] cons-specific optimizations?

2018-11-28 Thread Robby Findler
Also "don't know yet". Robby On Wed, Nov 28, 2018 at 6:15 PM Alexis King wrote: > > On Nov 28, 2018, at 07:15, Matthew Flatt wrote: > > > > Yes, that's special handling for pairs in the sense that the > > traditional Racket implementation takes advantage of leftover bits in a > > pair object,

Re: [racket-users] Is this parameters-using code O(n^2)?

2018-11-11 Thread Robby Findler
I completely agree with Matthias in the sense that you should get a design that focuses on clarity before worrying about performance, but just in general terms, looking up a parameter's value is roughly proportional to the number of parameterize uses you are inside. Not other context information (l

Re: [racket-users] Re: Complete Word (Ctrl+/)

2018-11-05 Thread Robby Findler
Maybe you can call this function: http://docs.racket-lang.org/framework/Text.html?q=get-completions%2Fmanuals#%28def._%28%28lib._framework%2Fmain..rkt%29._text~3aget-completions%2Fmanuals%29%29 from the top-level of your keybindings file? Robby On Mon, Nov 5, 2018 at 3:11 AM Glenn Hoetker wrot

Re: [racket-users] Doing file I/O from within a macro

2018-11-01 Thread Robby Findler
DrRacket disallows network and filesystem access during its online expansion. Partly for security reasons and partly because it seems unlikely that the code one writes that does that would be kill safe. You might be able to bike the abstractions you news via the FFI but I guess it will be hard to g

Re: [racket-users] Re: how to make a cartesian supergenerator?

2018-10-21 Thread Robby Findler
If I am understanding this right, data/enumerate's list/e combinator doing a similar job. It might also be helpful. Robby On Sun, Oct 21, 2018 at 5:50 PM Jay McCarthy wrote: > I think the best strategy would be to convert the generator to a > sequence and then the sequence to a stream, then wri

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Robby Findler
I like the idea that you suggested where the parens keep their paren color but the rest of the text becomes comment colored. It's not a trivial change, but it seems doable. Robby On Mon, Oct 8, 2018 at 12:37 PM Christopher Lemmer Webber wrote: > > It sounds nice, but I wonder if it would be hard

Re: [racket-users] From Clojure to Racket

2018-08-24 Thread Robby Findler
The racket documentation is organized into two documents. One that is intended to be the useful, commonly-used bits (called the guide) and one is intended to be comprehensive, showing every possibly knob and button (called the reference). If you don't know about that, it can be easy to flip into th

Re: [racket-users] Get contract from function

2018-08-24 Thread Robby Findler
Perhaps object-contract? Note that this might not return a contract, however, in which case, the function might return anything. Robby On Fri, Aug 24, 2018 at 7:50 AM Joao Pedro Abreu De Souza wrote: > > Hi. I am contributing in a library that create functions to parse PEG(parsing > expression

Re: [racket-users] Interaction between define/private and keyword arguments

2018-08-16 Thread Robby Findler
That probably would have been better but we opted to reuse the definition of the define macro. Too clever by half (maybe). Robby On Thu, Aug 16, 2018 at 1:40 PM 'Paulo Matos' via Racket Users < racket-users@googlegroups.com> wrote: > > > On 16/08/18 19:42, Robby Fin

Re: [racket-users] Interaction between define/private and keyword arguments

2018-08-16 Thread Robby Findler
Yes, this looks like a bug. I see something went wrong between versions 6.6 and 6.7. As for `define` vs `define/private`, they are not the same. In the `define` case, storage is allocated in the object (since it is a field, bound to a procedure) and in the `define/private` case, it isn't (since it

Re: [racket-users] Error opening Module Browser

2018-08-08 Thread Robby Findler
I'm not seeing that in a build from yesterday, so it may be an already fixed bug. Judging from the error message, you can probably work around the problem by disabling the debugging annotations (Language | Choose Language ... -> Show Details -> "No debugging or profiling" radio button). Robby On

Re: [racket-users] Redex: custom rendering of metafunctions

2018-08-05 Thread Robby Findler
The primary way to customize metafunction rendering is through `with-atomic-rewriters` and `with-compound-rewriters`. Depending on exactly what you have in mind, you can get close to what you suggest, I suppose. Robby On Sat, Jul 21, 2018 at 4:30 AM, Stephen Foster wrote: > I see metafunction-

Re: [racket-users] Descriptions, URLs, and READMEs for racket org projects

2018-05-27 Thread Robby Findler
I agree! Thank you for offering. One thought, tho: we probably don't want to duplicate information (as it will probably get out of sync). Robby On Sun, May 27, 2018 at 5:46 PM, Sam Tobin-Hochstadt wrote: > Yes, PRs for this sort of thing would definitely be welcome. > > Sam > > On Sun, May 27,

Re: [racket-users] DrRacket prefs?

2018-05-24 Thread Robby Findler
It may be easier to use the higher-level library, calling preferences:set-default and preferences:set. Using that approach has the advantage you don't need to know all of the prefs (that are machine config and OS specific, generally), but it has the disadvantage that you need to figure out what the

Re: [racket-users] I am looking for someone who can code me a memory game in drracket. I pay for it.

2018-05-21 Thread Robby Findler
That is a very good school! You must be quite smart to be able to go there. What is your name? Robby On Mon, May 21, 2018 at 6:49 AM רונן סדובניק wrote: > I am in Leobaeck school, and I would like to have it in pretty big > language but other languages will be good aswell.:) > ​ > -- You rec

Re: [racket-users] I am looking for someone who can code me a memory game in drracket. I pay for it.

2018-05-21 Thread Robby Findler
These games are different at different universities. Which university do you attend? Robby On Mon, May 21, 2018 at 6:28 AM wrote: > Hey I need a code of memory game in Drracket in any language. I'll pay you > for this:D. > > -- > You received this message because you are subscribed to the Googl

Re: [racket-users] Redex trace/ps doesn't produce edges

2018-05-02 Thread Robby Findler
I ran the program below and it produced a .ps file that I opened with preview and I see the attached, which seems to have the arrows in it. Are you doing something differently? Robby On Sat, Apr 28, 2018 at 9:17 PM, Shu-Hung You wrote: > Hello everyone, > > I try to save the traces generated by

Re: [racket-users] Using Greek Letters

2018-04-18 Thread Robby Findler
On a Mac, it is control-\. On other platforms it is something else. Check in edit|show active keybindings. Search for "Tex". Robby On Wed, Apr 18, 2018 at 3:19 PM wrote: > Hey Philip, thanks. > > I don't get it yet, I type " \theta " and then when I type " Ctrl + \ " I > get a Lamba symbol: " λ

Re: [racket-users] The Nitty Gritty of Pixels, Pens, and Lines example output

2018-03-28 Thread Robby Findler
I've pushed an edit to the docs that attempts to address this point. https://github.com/racket/htdp/commit/86900c00e770f1336dafce331c206240495a9953 Robby On Sat, Mar 24, 2018 at 3:44 PM, Stephen Smith wrote: > Hi Everyone, > > When running the following example from the Racket docs section tit

Re: [racket-users] Behavior of image-color? function

2018-03-27 Thread Robby Findler
Any string is considered an image-color, but if it is not a color that's known, it is turned into black. Is that the question? If so, I will update the documentation to clarify. Note that the list of colors is behind the link on "color-database<%>". Robby On Tue, Mar 27, 2018 at 9:41 AM, 若草春男

Re: [racket-users] Racket/Scribble for Digital Humanities Publishing workshop: a huge success!

2018-03-17 Thread Robby Findler
Fantastic! Thanks for letting us know. Robby On Sat, Mar 17, 2018 at 8:43 PM, Christopher Lemmer Webber wrote: > Hello everyone! So Morgan and I ran a workshop together (though the > workshop was much more so Morgan's work than mine) on teaching > Racket/Scribble to non-programmer-academics, p

Re: [racket-users] Parameterized Redex models

2018-03-16 Thread Robby Findler
If you want to stay inside redex-land, you have to do something like the code below, where you use typesetting to turn uses of length-ok (in other relations) into something like "#(l) = k". hth, Robby #lang racket (require redex) (define-term k 3) (define-language L) (define-judgment-form L

Re: [racket-users] Parameterized Redex models

2018-03-15 Thread Robby Findler
Stepping back a little bit here, if you were to write this down in a way that were to make sense to a reader of a paper, how would you communicate with them how/when this parameter changes? I think we've already agreed that one can think of the entire paper and its development having exactly one c

Re: [racket-users] Parameterized Redex models

2018-03-14 Thread Robby Findler
I guess most people already know this much, but one of the main ideas of the design of Redex is to support the notations that people actually use in their papers requiring only a minimal bit of information extra that lets us be able to actually run them. So, from this perspective, you're pointing

Re: [racket-users] interface-essentials.scrbl: could not find "Modern" style

2018-03-13 Thread Robby Findler
rprisingly (find-relevant-directories > 'framework:color-schemes 'all-available) evaluates to '(). > > Anyway, the only info.rkt that seems to define that symbol is drracket, so > I'll see what happens if I make sure to setup drracket before racket-doc. > > -- >

Re: [racket-users] interface-essentials.scrbl: could not find "Modern" style

2018-03-13 Thread Robby Findler
That error message comes from this code: https://github.com/racket/drracket/blob/master/drracket/scribblings/drracket/interface-essentials.scrbl#L786-L826 I'm not sure what is going wrong there, but if you have a running DrRacket elsewhere, you should be able to evaluate that code and put some pr

Re: [racket-users] Style guide linter

2018-03-11 Thread Robby Findler
Oh, yes: I agree with *very cool*! Robby On Sun, Mar 11, 2018 at 3:58 PM, Matthias Felleisen wrote: > > On Mar 11, 2018, at 4:33 PM, 'Paulo Matos' via Racket Users > wrote: > > Hi, > > I found the style guide a really great idea and generally very useful > (although it's a shame the lack of con

Re: [racket-users] Style guide linter

2018-03-11 Thread Robby Findler
At least for those three, DrRacket does the 102 thing for you and git does the line/file ending thing. Robby On Sun, Mar 11, 2018 at 3:33 PM, 'Paulo Matos' via Racket Users wrote: > Hi, > > I found the style guide a really great idea and generally very useful > (although it's a shame the lack

Re: [racket-users] Contracts for Recursive Functions

2018-03-02 Thread Robby Findler
I've pushed a change that tries to improve that text. Robby On Fri, Mar 2, 2018 at 1:21 PM, Matthias Felleisen wrote: > >> On Mar 2, 2018, at 1:30 PM, A Mauer-Oats wrote: >> >> The Racket Guide (7.2.2 Using define/contract and ->) says, "contract will >> always be checked on calls to deposit.”

Re: [racket-users] Re: Non-blocking place get

2018-02-22 Thread Robby Findler
I've pushed some edits to that guide section (and noted place channels as evt?s). Hopefully those code examples there are useful to someone! Robby On Thu, Feb 22, 2018 at 5:11 PM, Philip McGrath wrote: > I've found the paper "Kill-Safe Synchronization Abstractions" > (https://www.cs.utah.edu/plt

Re: [racket-users] Non-blocking place get

2018-02-22 Thread Robby Findler
These are great points! Thank you. Robby On Thu, Feb 22, 2018 at 1:59 AM 'Paulo Matos' via Racket Users < racket-users@googlegroups.com> wrote: > > > On 22/02/18 01:02, Robby Findler wrote: > > You can create a thread and wait simultaneously on the place cha

Re: [racket-users] Re: Is it possible to get the size of a panel%

2018-02-22 Thread Robby Findler
If you need the size before it is shown, you can use reflow-container. Robby On Thu, Feb 22, 2018 at 6:22 AM David Alkire wrote: > Thanks. It was the tricky bit that tricked me. I was trying to get the > size of the panel before it was painted. I guess I should default to the > mins and update

Re: [racket-users] Non-blocking place get

2018-02-21 Thread Robby Findler
You can create a thread and wait simultaneously on the place channel value and also on some channel that the various workers use to check in and see if a value is available. Here's a very simple instantiation of this idea. More generally, I think that one of the underappreciated parts of Racket's

Re: [racket-users] How to check if a symbol is defined before calling it?

2018-02-18 Thread Robby Findler
Glad you found something that works! For the record, being in a pkg and being an app are not mutually exclusive. DrRacket, for example, enjoys both statuses. Robby On Sun, Feb 18, 2018 at 5:41 PM Alex Harsanyi wrote: > > Hi Robby, > > On Sunday, February 18, 2018 at 10:33:09 AM

Re: [racket-users] How to check if a symbol is defined before calling it?

2018-02-17 Thread Robby Findler
FWIW, the approach that is less friendly to your clients but perhaps easier for you (and maybe good enough for them) is to declare a dependency on a specific version in the info.rkt file of your pkg. The pkg system will ensure that the latest version is used. Robby On Sat, Feb 17, 2018 at 8:31 P

Re: [racket-users] opt/c behaves inconsistently with respect to flat-contract?-ness

2018-02-17 Thread Robby Findler
Sorry for the delay in looking into this. I've pushed a fix. FWIW, opt/c definitely needs a lot of love before I would recommend using it seriously. I think it is a good idea and the approach in the implementation is certainly reasons, but it can certainly use a tune up. Robby On Sun, Dec 24, 2

Re: [racket-users] Making print act like display

2018-02-17 Thread Robby Findler
One can certainly debate the merits of the names, and perhaps that's worth doing, but I'll refrain from it myself, except to point out that Racket inherited the names "write" and "display" from Scheme, and "print" is a name that we added. Here is how to think about these functions: "write" is a f

Re: [racket-users] racket/draw unable to load some font-weights on macOS?

2018-02-16 Thread Robby Findler
I'm not sure what the right answer is here, but in some specific cases that have happened to me along these lines, I've found that specifying 'italic or 'bold works out. Sorry that's not much to go on. Robby On Thu, Feb 15, 2018 at 2:44 PM, Joel Dueck wrote: > Greetings, long time lurker/first

Re: [racket-users] Re: Typing lag with DrRacket on Linux

2018-02-10 Thread Robby Findler
If you run this code, does the profiling information reveal anything interesting? #lang racket/gui (require profile) (define ec% (class editor-canvas% (define/override (on-paint) (profile (super on-paint))) (define/override (on-char e) (profile (super on-char e))) (super-

Re: [racket-users] Adding interactive overlays to racket plots

2018-02-03 Thread Robby Findler
On Sat, Feb 3, 2018 at 1:08 AM, Alex Harsanyi wrote: > I also did a write-up of the features, as well as some screenshots to > illustrate what can be done with the new functionality. You can find that > here: > https://alex-hhh.github.io/2018/02/interactive-overlays-with-the-racket-plot-package.h

Re: [racket-users] Re: Reliably propagating received log messages to ports

2018-02-01 Thread Robby Findler
FWIW, programming with evts is lots of fun. When I first encountered it, it blew me away the kinds of things that went from very hard to easy and enjoyable to program up. Robby On Thu, Feb 1, 2018 at 9:14 AM, Alexander McLin wrote: > Thanks all for your inputs. > > I tried `with-intercepted-log

<    1   2   3   4   5   6   7   8   9   10   >