Re: [racket-users] whither `splicing-parameterize`? or am I doing it wrong?

Isn't the last form already required to not be a definition? Robby On Thu, Jan 25, 2018 at 5:59 PM Alexis King wrote: > > On Jan 24, 2018, at 12:57 AM, Ryan Culpepper > > wrote: > > > > It might make sense to `(set! new-parameterization #f)` at the

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

On Thu, Jan 25, 2018 at 2:17 PM, Philip McGrath wrote: > I took the steps you described and I no longer get the doubled program > contour, but I do get results like the screenshot of my experiment with > text:inline-overview-mixin > I sent > earlier (maybe that's what

Re: [racket-users] Want to send email with net/smtp. An error to fix.

On Fri, Jan 19, 2018 at 8:30 AM, David Storrs wrote: > #2: Please stop spamming the list with slightly divergent items on a given > subject. Keep it confined to one subject line so that Gmail and the Google > Group will thread the discussion properly. That way everyone

Re: [racket-users] How to get around unintuitive unwrapping of a seal when passing parametric argument to contract's range-maker?

On Thu, Jan 18, 2018 at 7:43 AM, Phil Nguyen wrote: > It looks like a more general issue we have is that arguments are sometimes > unexpectedly unsealed and prone to inspection by arbitrary code in > contracts, like `->i`'s range or a second conjunct to `and/c`. Well,

Re: [racket-users] How to get around unintuitive unwrapping of a seal when passing parametric argument to contract's range-maker?

e. I mean if we try to follow > the usual rule of sealing/unsealing, it makes sense. I just can't pinpoint > which part of the contracts I need to fix to be able to express the > enforcement. > > On Wednesday, January 17, 2018 at 9:31:25 AM UTC-5, Robby Findler wrote: >> &g

Re: [racket-users] How to get around unintuitive unwrapping of a seal when passing parametric argument to contract's range-maker?

I am not sure, but my first guess would be that it is a bug in the contract system (due to a lack of understanding of what to do by me), not that it is impossible to do this with dynamic sealing. Robby On Tue, Jan 16, 2018 at 2:34 PM, Phil Nguyen wrote: > The

Re: [racket-users] Adding custom payload data to text%

The arrows, docs information, etc that Check Syntax draws use a data/interval-map to manage that kind of information on the side. https://docs.racket-lang.org/data/interval-map.html hth, Robby On Fri, Jan 5, 2018 at 8:58 AM, Erich Rast wrote: > Hi all, > > Is there a way to

Re: [racket-users] plot and drracket: beautiful thing

That is Neil Toronto for the plot library. It is a wonder! Robby On Sun, Dec 3, 2017 at 5:36 AM Robert Girault wrote: > To whomever is responsible for plot and DrRacket working together, this is > just to say that for a moment here I forgot I was using a Lisp. It

Re: [racket-users] Raising arbitrary errors in Typed Racket

It is a contract that TR uses internally that might be helpful here, maybe. Or maybe not! :) Robby On Sat, Dec 2, 2017 at 3:32 AM, HiPhish <hiph...@openmailbox.org> wrote: > What is any-wrap/c? It does not show up in the documentation. > > On Friday, December 1, 2017 at 9:17:18

Re: [racket-users] Raising arbitrary errors in Typed Racket

Why not use any-wrap/c? Robby On Fri, Dec 1, 2017 at 8:39 PM Sam Tobin-Hochstadt wrote: > Two notes: > > 1. It is unsafe to expose mutable data to untyped code via exceptions > without wrapping them. If you `(raise f)`, then untyped code could > catch the exception and

Re: [racket-users] or/c, parametric->/c, and contract-first-order-passes?

Maybe this line: https://github.com/racket/racket/blob/master/racket/collects/racket/contract/private/parametric.rkt#L105 should be: #:first-order (λ (c) (if (barrier-contract-positive? c) (barrier-contract-pred c) (λ (x) #t))) ? Robby On Tue, Nov 28, 2017 at 8:02 PM, Ben Greenman

Re: [racket-users] Alternatives to DrRacket

It may help to disable online compilation. (Click on the little circle in the bottom to get a menu that lets you disable it.) Robby On Sun, Nov 26, 2017 at 9:21 PM Richard Cobbe wrote: > On Sun, Nov 26, 2017 at 03:42:14PM +, Stephen De Gabrielle wrote: > > Hi, > > > >

Re: [racket-users] minor proposed update to docs typography

On Tue, Nov 21, 2017 at 9:44 AM, Matthew Butterick <m...@mbtype.com> wrote: > > On Nov 21, 2017, at 3:32 AM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: > > That may have been done that way to make the docs.racket-lang.org page look > better (to draw your eye

Re: [racket-users] minor proposed update to docs typography

On Mon, Nov 20, 2017 at 11:25 PM Matthew Butterick wrote: > > On Nov 20, 2017, at 6:10 PM, Greg Hendershott > wrote: > > > > The following example hack _seems_ to clear the "impervious" hurdle? > > a.Sq span { font-weight: normal !important} > > I'm

Re: [racket-users] 3d plots "broken" some time after 6.11 release

Dragging and IO could easily be different things. For IO, when I run this program with a git build from 9 days ago, I don't see any freezing (up to 1,000 lines). Do you? #lang racket (let loop ([n 0]) (printf "~a ~a\n" n (make-string 100 (integer->char (+ 97 (modulo n

Re: [racket-users] where does DrRacket get its environment variables on OS X?

On Sat, Nov 11, 2017 at 12:14 PM, Alexis King <lexi.lam...@gmail.com> wrote: >> On Nov 11, 2017, at 08:17, Robby Findler <ro...@eecs.northwestern.edu> >> wrote: >> >> One example that lives on (in a zombie-like state) is the "search in >> files&

Re: [racket-users] where does DrRacket get its environment variables on OS X?

session). But these didn't change the result. > > Anyhow, add it to the giant pile of things in the world that are more > complex than I thought. > > > On Nov 8, 2017, at 8:07 PM, John Clements <cleme...@brinckerhoff.org> wrote: > > On Nov 8, 2017, at 12:42, Robby Fin

Re: [racket-users] where does DrRacket get its environment variables on OS X?

How about "env X=Y racket -l- drracket file-to-open-in-drracket.rkt" ? Robby On Wed, Nov 8, 2017 at 2:18 PM, Matthew Butterick wrote: >>> In this case I was trying to configure a web servlet to run in differently >>> when launched from DrRacket (in terms of its port and

Re: [racket-users] Finding non-text elements

On Tue, Nov 7, 2017 at 1:52 PM, David Van Horn <dvanh...@cs.umd.edu> wrote: > On Tue, Nov 7, 2017 at 2:45 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> On Tue, Nov 7, 2017 at 1:42 PM, David Van Horn <dvanh...@cs.umd.edu> wrote: >>> Other th

Re: [racket-users] Finding non-text elements

On Tue, Nov 7, 2017 at 1:42 PM, David Van Horn wrote: > Thanks, I found the elements by using wxme-port->port and > read-char-or-special until I found something special and it turns out > it was caused by fractions. > > There are a couple weird things: (1) wxme-read reads

Re: [racket-users] Finding non-text elements

I believe this is the place that does the check: https://github.com/racket/gui/blob/master/gui-lib/framework/private/text.rkt#L2300 Possibly some printfs in and around there would help? Robby On Tue, Nov 7, 2017 at 1:03 PM, David Van Horn wrote: > I have some ISL+

Re: [racket-users] raco planet open tries to install?

I think that, at some point, we changed things so that planet declines to run arbitrary code in the .plt file. I'm not sure how this works, tho, it could just check that the code is the known code and then runs it. (Or I could misremember and we merely planned to do that.) Robby On Thu, Nov 2,

Re: [racket-users] DrR compilation progress bar

2017, at 15:35, Robby Findler <ro...@eecs.northwestern.edu> wrote: >> >> On Sun, Oct 29, 2017 at 5:31 PM, John Clements >> <cleme...@brinckerhoff.org> wrote: >>> >>>> On Oct 29, 2017, at 15:27, Robby Findler <ro...@eecs.northwester

Re: [racket-users] DrR compilation progress bar

On Sun, Oct 29, 2017 at 5:31 PM, John Clements <cleme...@brinckerhoff.org> wrote: > >> On Oct 29, 2017, at 15:27, Robby Findler <ro...@eecs.northwestern.edu> wrote: >> >> I think it is a bad idea to dump output into the interactions that >> isn't being p

Re: [racket-users] Windows 10 Fall Update Killed Ability to Open or Save .rkt Files

Please see: https://github.com/racket/racket/issues/1856 Robby -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For

Re: [racket-users] DrR compilation progress bar

I would not want to see a popup window, but there are lots of other, more subtle ways to indicate progress that would totally work here. Lets see if we can find a measure of progress that makes sense first. One idea: the drracket startup progress bar counts the number of files that are passed to

Re: [racket-users] proposed doc fix?

The code is in drracket/private/tools.rkt; I think that that value (the thing inside the outer listof) ends up in the `spec` field of an `installed-tool` field and my read of the code suggests that it should be (or/c string? (listof string?)), but I'm not completely confident in that. Robby On

Re: [racket-users] Can anyone help me with a change?

On Sun, Oct 22, 2017 at 3:34 PM, Stephen De Gabrielle wrote: > I don’t think packages on PLaneT can be updated but I may be wrong. They can be updated, but I would recommend that, instead of updating them, you move them to pkgs, as Stephen suggests. (Of course, if you

Re: [racket-users] Open source projects

Do you want drr to open the files? If so, is cmd-shift-O followed by typing an open double quote close enough? Robby On Fri, Oct 20, 2017 at 11:42 AM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Oct 20, 2017, at 8:06 AM, Vincent St-Amour < >

Re: [racket-users] DrRacket Danish translation files?

The racket/string-constants repo. Thanks! Robby On Mon, Oct 16, 2017 at 8:17 PM David Thrane Christiansen < da...@davidchristiansen.dk> wrote: > Hello all, > > I was using DrRacket in Danish the last few days, and saw that various > strings were missing translations. Searching the DrRacket repo

Re: [racket-users] Re: Naming conventions for private functions

If you want to know what the current racket does (not what the chez-based one does), then you can "raco make x.rkt" and then "raco decompile x.rkt" to see what is going on. In the cod quoted below, no closures are allocated because all of the functions bar, baz, and jaz are eliminated before

Re: [racket-users] Re: Naming conventions for private functions

Also: if you just don't `provide` a function from a module, then it cannot be used outside. No naming conventions necessary. Robby On Fri, Oct 13, 2017 at 1:57 PM, Matthias Felleisen wrote: > >> On Oct 13, 2017, at 2:55 PM, David Storrs wrote: >>

Re: [racket-users] indentation under for for/list for/vector for/hash ...

It is in the file that this expression evaluates to: (find-system-path 'pref-file) Look in there for a sequence whose first position is plt:framework-pref:framework:tabify and then delete that entire sequence (close DrRacket before you edit the file so DrRacket doesn't write to it while you're

Re: [racket-users] indentation under for for/list for/vector for/hash ...

I guess that you probably have (had?) a default version of the preferences that has an old, less helpful regexp in it. You might not see any changes now, but you could also delete that line from the preferences file (and closing drr) and then open it again to get a good setting. Sorry we changed

[racket-users] Re: tooltip "im" message

Oh, I can guess what is happening. I've pushed something that will avoid the error. If you can open that file again and let check syntax complete and then put your mouse over the last position in the file, I am guessing you'll see some lost tooltips down there. Let me know what they are, as there

Re: [racket-users] syntax-original? different in expanded code than during expansion

In my opinion, it is too hard, not too easy to synthesize such syntax objects. After all, I can make ports and I can call read-syntax (which is what I end up doing sometimes, annoyingly). The point is that syntax-original? implies that DrRacket treats the syntax objects differently. Most of the

Re: [racket-users] Racketeers and slide-show presentations

In that case, it probably makes sense for you to use scribble to replace the LaTeX part of your workflow from the past. Specifically, if you've got a pict, you can just drop it into anywhere you would have put text in a scribble document and the right thing will happen. So hopefully this'll

Re: [racket-users] Benefits of Racket-on-Chez for laymen

On Fri, Sep 15, 2017 at 4:48 PM David King wrote: > Racket already has two ways to do this: futures and threads. (There was a > recent discussion on the mailing lists about futures.) > The guide has more information here: > https://docs.racket-lang.org/guide/parallelism.html

Re: [racket-users] Benefits of Racket-on-Chez for laymen

Whoops! Yes, thank you. Robby On Fri, Sep 15, 2017 at 4:46 PM Philip McGrath <phi...@philipmcgrath.com> wrote: > futures and places, I think you mean > > -Philip > > On Fri, Sep 15, 2017 at 4:44 PM, Robby Findler < > ro...@eecs.northwestern.edu> wrote: > >

Re: [racket-users] Benefits of Racket-on-Chez for laymen

Racket already has two ways to do this: futures and threads. (There was a recent discussion on the mailing lists about futures.) The guide has more information here: https://docs.racket-lang.org/guide/parallelism.html Robby On Fri, Sep 15, 2017 at 4:37 PM David King wrote:

Re: [racket-users] Re: libusb FFI bindings for a bike trainer control application

On Fri, Sep 15, 2017 at 5:01 AM, Alex Harsanyi wrote: > For some reason, Google groups seems to delete my messages. If you got > this message multiple times, my apologies. This is the last time I will > try... I don't know what went wrong, but I think I've whitelisted

Re: [racket-users] Turning off the sharing check for printing

One could use a eq hash table (maybe a weak one, or maybe cooperate more with the code that's doing the printing to throw away the table) to avoid doing the sensitive code more than once? Robby On Fri, Sep 8, 2017 at 9:17 AM, Matthew Flatt wrote: > There's not a way to turn

Re: FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

I've pushed a fix. Sorry for the delay in looking into this. https://github.com/racket/drracket/issues/118 Robby On Sun, Aug 27, 2017 at 12:06 PM, Jos Koot wrote: > Sorry, ignore my post. > Jos Koot > > -Original Message- > From: Jos Koot

Re: [racket-users] Seeking a graphviz like, diagramming language for Racket

There are a few tree layout algorithms implemented in pict/tree-layout: http://docs.racket-lang.org/pict/Tree_Layout.html Robby On Sat, Aug 19, 2017 at 4:13 PM, Daniel Prager wrote: > Hi Andrew > > I did commercial work on mind-map like tools in the 2000's, and have

Re: [racket-users] Scrolling problem in DrRacket with high pictures in slideshow

estion: > https://github.com/racket/pict-snip/blob/master/pict-snip-lib/pict/snip.rkt > > though there is not mention to "scroll". Could the problem lie in the more > general snip% then? > > On Fri, Aug 11, 2017 at 2:05 PM, Robby Findler <ro...@eecs.northwestern.edu>

Re: [racket-users] Scrolling problem in DrRacket with high pictures in slideshow

My guess would be that the problem lies with the pict-snip% class and how it implements the methods with the word "scroll" in their name. Robby On Fri, Aug 11, 2017 at 7:58 AM, Laurent wrote: > Hi all, > > After running the following program in DrRacket on Ubuntu I

Re: [racket-users] Re: Decision Tree in Racket - Performance

n-Hochstadt <sa...@cs.indiana.edu> wrote: > On Thu, Jul 27, 2017 at 8:36 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> I see from raco demod that match-define does not generate very >> beautiful code, which leads me to this version (which is what I thi

Re: [racket-users] Re: Decision Tree in Racket - Performance

It could have been. I am not sure why (but it probably had something to do with better checking for the teaching languages, Matthias may recall more). Robby On Fri, Jul 28, 2017 at 4:19 AM Daniel Prager wrote: > Interesting stuff, but if I may probe a little deeper

Re: [racket-users] Re: Decision Tree in Racket - Performance

On Thu, Jul 27, 2017 at 8:13 PM, Philip McGrath wrote: > ; timed in DrRacket w/ debugging This is probably not a good idea. More information here: http://docs.racket-lang.org/guide/performance.html Robby -- You received this message because you are subscribed to the

Re: [racket-users] Re: Decision Tree in Racket - Performance

`first` and `rest` need to check if the input is a list (a linear-time but memoized test), whereas `car` and `cdr` check only if the inputs are `pair?`s, and match-define uses unsafe operations, doing the pair check only once. I see from raco demod that match-define does not generate very

Re: [racket-users] Blame for contracts on applicable serializable structs

One approach would be to not expect the clients to use deserialize directly but provide a thin wrapper module which would be the place to hang the blame information (and it would use `contract-out`). Robby On Mon, Jul 24, 2017 at 1:32 PM, Matthew Flatt wrote: > At Mon, 24

Re: [racket-users] Wrap long text in 2htdp/image

This is a function that you'd have to implement yourself. You could break the string up on spaces and then put them beside or above each other, as appropriate. (A real word processing program uses a more complex algorithm that involves adjusting the spaces between words (and possibly elsewhere, I

Re: [racket-users] Replacing multiple characters in a string?

(B s vars) (cons 'B s)) (define (C s vars) (cons 'C s)) (define (start var) '()) On Sat, Jul 8, 2017 at 2:38 PM, Matthew Butterick <m...@mbtype.com> wrote: > > >> On Jul 8, 2017, at 7:15 AM, Robby Findler <ro...@eecs.northwestern.edu> >> wrote: >> >> Bel

Re: [racket-users] Replacing multiple characters in a string?

Below is another approach that may be too much Rackety for your taste: :) http://docs.racket-lang.org/lindenmayer/ Robby #lang lindenmayer ## axiom ## ABCABC ## rules ## A -> AC B -> BA C -> CCA ## variables ## n=1 -- You received this message because you are subscribed to the Google

Re: [racket-users] can `impersonate-hash` really filter out hash keys?

Maybe you could make the impersonator (it would be a chaperone, really in what I'm suggesting) signal an error if it gets one of the private keys and then hand out only the hashes with the impersonator around it, keeping the "raw" one around for code that is allowed to access the private keys?

Re: [racket-users] Redex: difficulty with #refers-to

On Tue, Jun 27, 2017 at 3:23 PM, 'William J. Bowman' via Racket Users wrote: > (Unfortunately, there is a known bug in Redex that #...bind is undocumented, > so you had no way to know about this) I agree that #:...bind is complex and the documentation is not

Re: [racket-users] Re: DrRacket becomes unresponsive when confronted with a long line

I think that this is boiling down to an issue in the design of the internal datastructures of the editor. Specifically, they use a linear data structure to record each line and so very very long lines like that are going to cause performance problems, generally speaking. Below is an example

Re: [racket-users] DrRacket Font Selection

So I guess this is a bug somewhere in how event handling is happening. If you wanted to work around it temporarily so you can set the font how you want to, you could change this `unless` expression to be just its body, ie `(force-cache receiver)`.

Re: [racket-users] DrRacket Font Selection

It sounds like, based on what you're saying, that when you run the code below and click on the choice that appears, that you see only "a" appear, not "a" "b" and "c". Is that right? #lang racket/gui (define mono-list 'uninit) (define vp% (class vertical-panel% (define/private (force-cache

Re: [racket-users] DrRacket Font Selection

Oh, looking at the code, I can see how that could happen if something has gone wrong with the callbacks in the GUI. Take a look at drracket/private/font, and see the function `force-cache`, roughly lines 71-86. That function is supposed to be called, but I guess some callbacks aren't firing for

Re: [racket-users] DrRacket Font Selection

, 2017 at 1:37 PM, Lehi Toskin <lehi.tos...@gmail.com> wrote: > Where is "Other..."? I don't see it anywhere. Also, `(get-face-list 'mono)` > shows a whole lot more fonts than just Monospace. > > On Sunday, June 25, 2017 at 3:33:22 AM UTC-7, Robby Findler wrote: >> DrR

Re: [racket-users] DrRacket Font Selection

DrRacket uses the result of (get-face-list 'mono) in its dialog. If you choose "Other..." you should be able to choose from the same set that get-font-from-user uses. Robby On Sun, Jun 25, 2017 at 12:34 AM, Lehi Toskin wrote: > At some point DrRacket decided it didn't

Re: [racket-users] Naive question on how to capitalize only the first word of a string

Here's another way to implement it. Fun. :) #lang racket (provide (contract-out [cap-first (-> string? string?)])) (define (cap-first s) (apply string (for/list ([c (in-string s)] [i (in-naturals)]) (if (= i 0) (char-upcase c) c (module+ test

Re: [racket-users] Data contract for non-empty hash?

Or even using (and/c ... (not/c hash-empty?)), which might get you better error messages. Robby On Tue, Jun 13, 2017 at 10:55 PM, Jon Zeppieri wrote: > On Tue, Jun 13, 2017 at 9:08 AM, David Storrs wrote: >> Thanks, Jon. >> >> On Mon, Jun 12, 2017

Re: [racket-users] immutable hash table references?

But it was a different balanced binary tree before. There are many things it could be that would behave similarly. Robby On Wed, May 24, 2017 at 10:05 AM, Stephen Chang wrote: > I believe Racket uses HAMTs [1] for immutable hash tables. > > [1]:

Re: [racket-users] Can't get Dr Racket Documentation

you > Jürgen Dabel > Schrobenhausen > > > > -Original-Nachricht- > Betreff: Re: [racket-users] Can't get Dr Racket Documentation > Datum: 2017-05-24T15:34:16+0200 > Von: "Robby Findler" <ro...@eecs.northwestern.edu> > An: "j.da...@t-online.de&

Re: [racket-users] Can't get Dr Racket Documentation

t „open location“ > nicht. (-1708) > Juergens-iMac:~ jdabel$ > > Jürgen > > -Original-Nachricht- > Betreff: Re: [racket-users] Can't get Dr Racket Documentation > Datum: 2017-05-23T15:36:15+0200 > Von: "Robby Findler" <ro...@eecs.northwestern.edu>

Re: [racket-users] Can't get Dr Racket Documentation

What happens if you open up a terminal window and paste this command in? /usr/bin/osascript -e 'open location "file:///Applications/Racket%20v6.9/doc/index.html"' Robby On Sun, May 21, 2017 at 4:34 AM, wrote: > I get an error when trying to get Help Desk or Dr Racket

Re: [racket-users] DrRacket has become unusable: freezes almost immediately

If you start DrRacket from the shell, trigger the bad behavior and then type control-c in the shell, do you get any output? Robby On Tue, May 23, 2017 at 5:11 AM Alasdair McAndrew wrote: > I have had no problem running DrRacket on linux, under KDE Plasma, until > now. But

Re: [racket-users] sharing a value between a DrRacket tool and a user program

On Tue, May 16, 2017 at 7:07 PM, 'John Clements' via Racket Users <racket-users@googlegroups.com> wrote: > >> On May 16, 2017, at 11:26 AM, Robby Findler <ro...@eecs.northwestern.edu> >> wrote: >> >> If you have control of the language<%> class, then

Re: [racket-users] sharing a value between a DrRacket tool and a user program

If you have control of the language<%> class, then you can do that via the on-execute method. If you want to do that for all languages (which is probably not a good idea, but you could use this approach and limit it to a known set of languages), you could override the on-execute method of the

Re: [racket-users] DrRacket preferences error

, the snapshot builds tomorro). Robby On Sat, Apr 29, 2017 at 6:40 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > This bug was introduced in 6.9 (but it was in git since a little before > 6.8). I learned about it today, sadly. > > Robby > > On Sat, Apr 29, 2017 at 6:3

Re: [racket-users] DrRacket preferences error

This bug was introduced in 6.9 (but it was in git since a little before 6.8). I learned about it today, sadly. Robby On Sat, Apr 29, 2017 at 6:30 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Apr 29, 2017, at 11:36, Philip McGrath

Re: [racket-users] DrRacket preferences error

When you started DrRacket, had you opened a file that uses either one of the #lang scribble variants or an at-exp before opening the preferences dialog? I believe that if you don't do that before opening the preferences dialog the first time, you can work around this error. Robby On Sat, Apr

Re: [racket-users] Speeding up graphics / moving away from 2htdp/image

On Sat, Apr 29, 2017 at 3:18 AM, Daniel Prager wrote: > On Sat, Apr 29, 2017 at 6:04 PM, Philip McGrath > wrote: >> >> I think that would be because "the draw is called during the dynamic >> extent of the call to dc as part of the contract

Re: [racket-users] Re: Proper non-tail recursion?

"..., Hooray!" ? :) Robby On Tue, Apr 25, 2017 at 8:46 PM Jordan Johnson wrote: > On Apr 25, 2017, at 6:09 PM, Matthias Felleisen > wrote: > > While I am at it, let me advocate PITCH as the slogan for Proper > Implementation of Tail Calls. (Where

Re: [racket-users] Proper non-tail recursion?

terick <m...@mbtype.com> wrote: > > > On Apr 25, 2017, at 4:05 PM, brendan <bren...@cannells.com> wrote: > > > > Indeed; I should have clarified that I didn't mean only recursion per > se. Not the first time I've stumbled on that misnomer. > > > > On

Re: [racket-users] Proper non-tail recursion?

I think the question is about non-tail calls and limits on them. Robby On Tue, Apr 25, 2017 at 5:52 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Apr 25, 2017, at 3:37 PM, brendan wrote: > > > > Scheme implementations are required to

[racket-users] Racket summer school

The Racket Summer School of Semantics and Languages Imagine yourself confronted with a Mystery Programming Language and charged with the task of figuring out its semantics. What would you do? What if you have a formal executable semantics and want to build a production language for it? If

Re: [racket-users] Names for flat-contract-with-explanation contracts

Probably it would be good to make rename-contract and flat-named-contract cooperate better with flat-contract-with-explanation, but for now I've just added a #:name argument, whose value defaults to the name of the procedure that's passed in. Robby On Tue, Apr 11, 2017 at 12:06 PM, Philip

Re: [racket-users] What precisely is the type/contract ‘TST’ ?

Indeed, these docs were written a long time ago. also, (listof any/c) is the same thing as list? in the contract system. Robby On Sun, Apr 9, 2017 at 3:08 PM, Jay McCarthy wrote: > It is legacy. Modern code would just write any/c or list? > > Jay > > On Sun, Apr 9,

Re: [racket-users] TR gui?

DrRacket is happy to accept other directives along the lines of the ones it gets for tooltips, of course! :) Robby On Wed, Mar 29, 2017 at 1:40 PM, Asumu Takikawa wrote: > On 2017-03-29 08:54:16 -0700, Raoul Duke wrote: >>Does/could the IDE hilight places based on

Re: [racket-users] refactoring help/tools?

The bubble in the bottom right corner turns green when it is done (or red, if it found an error). Robby On Mon, Mar 13, 2017 at 12:52 PM, Dan Liebgold <dan_liebg...@naughtydog.com> wrote: > On Monday, March 13, 2017 at 10:40:15 AM UTC-7, Robby Findler wrote: >> Not the same th

Re: [racket-users] refactoring help/tools?

Not the same thing, but if you mouse over the requires in DrRacket, it will put a red background on the ones that have no apparent use (of course, requires may have an effect too; neither tool picks that up, IIUC). Robby On Mon, Mar 13, 2017 at 12:38 PM, Jay McCarthy

Re: [racket-users] scribble and optional latex arguments

Oh sorry. What you have done is what I would do. Robby On Sun, Mar 5, 2017 at 9:58 AM David Van Horn <dvanh...@cs.umd.edu> wrote: > That's what I'm doing. > > On Sun, Mar 5, 2017 at 10:48 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: > > Define two d

Re: [racket-users] scribble and optional latex arguments

Define two different commands at the latex level? Robby On Sun, Mar 5, 2017 at 9:39 AM David Van Horn wrote: > I'm trying to make a wrapper for a latex command that has an optional > argument. My current solution is to do the following to wrap a > command called `\foo`: >

Re: [racket-users] JFYI, c-level assertion failures during build

Snapshot-based pkg builds are here: https://plt.eecs.northwestern.edu/pkg-build/ Robby On Sat, Feb 25, 2017 at 11:11 PM, 'John Clements' via Racket Users wrote: > >> On Feb 25, 2017, at 5:36 AM, Matthew Flatt wrote: >> >> Did a fresh checkout

Re: [racket-users] Drawing arbitrary binding arrows with Check Syntax

[ sorry for the long delay in getting back to this ] On Wed, Oct 19, 2016 at 11:56 AM, Alex Knauth <alexan...@knauth.org> wrote: > >> On Oct 19, 2016, at 12:26 PM, Alexis King <lexi.lam...@gmail.com> wrote: >> >>> On Oct 19, 2016, at 4:06 AM, Robby Findler <

Re: [racket-users] ->* contracts not enforcing #:pre/desc pre-conditions

Thanks. I've pushed a fix. https://github.com/racket/racket/commit/8c5c8da1a7e8c63460125d5cde3cdc5e1240a09c Robby On Sun, Feb 5, 2017 at 3:44 AM, Philip McGrath wrote: > Contracts created with ->* don't seem to be enforcing their #:pre/desc > pre-conditions. > > Given

Re: [racket-users] link: bad variable linkage

, 2017 at 7:15 PM, Dan Liebgold <dan_liebg...@naughtydog.com> wrote: > On Saturday, March 26, 2016 at 4:53:51 PM UTC-7, Robby Findler wrote: >> Matthew and I have figured out one way in which DrRacket could go >> wrong here and implemented a better strategy. The problem we

Re: [racket-users] DrRacket debugger

not be clicking in quite the right way. Robby On Tue, Jan 31, 2017 at 5:20 PM, Dan Liebgold <dan_liebg...@naughtydog.com> wrote: > On Monday, January 30, 2017 at 1:43:06 PM UTC-8, Robby Findler wrote: > > The simple program seems to work ok. > > It appears my problem i

Re: [racket-users] DrRacket debugger

It isn't an issue I know about. I don't see that with this simple program: #lang racket (let loop () (loop)) Do you? Robby On Mon, Jan 30, 2017 at 2:12 PM, Dan Liebgold wrote: > I'm having trouble with the debugger in DrRacket: I'll start it and the > debugger

Re: [racket-users] specify test timeout for pkg-build?

The pkg-build running here would pick up those changes, tho, so you could see the results: https://plt.eecs.northwestern.edu/pkg-build/ It runs based on the latest snapshot (from https://plt.eecs.northwestern.edu/snapshots/) instead of the release. Robby On Fri, Jan 27, 2017 at 10:52 PM,

Re: [racket-users] Stickers!

Pepsi did! ;) Robby On Fri, Jan 27, 2017 at 2:01 PM Neil Van Dyke wrote: > Leif Andersen wrote on 01/27/2017 02:45 PM: > > Do we actually have a trademark on the Racket logo? > > I believe PLT can claim trademarks on the logo and the name (without > registration costs --

Re: [racket-users] Thread and filesystem watching

FWIW, this is an instance of a very useful pattern (that DrRacket uses all over the place). You make a loop that syncs on a bunch of different events, each of which updates some (thread-local (usually in arguments)) state and then goes back into the loop, possibly after doing some communication to

Re: [racket-users] DrRacket: Interactive choice of what submodules to run when clicking Run

There's not a simple way to do that right now, but I think a change to the code to make that more configurable would be great. It is probably best to make this as a change to DrRacket proper and support a cleaner interface all around. It might be nice to be able to click on things in the

Re: [racket-users] Paths in Dr Racket do not match paths in shell

On Thu, Jan 19, 2017 at 7:29 PM, David Storrs <david.sto...@gmail.com> wrote: > On Thu, Jan 19, 2017 at 6:45 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> In DrRacet, current-directory in initialized to the directory >> containing the file where

Re: [racket-users] Paths in Dr Racket do not match paths in shell

gt; INSERT 0 0 >> ...lots of other SQL results... >> >> $ ./lib/db/test_2.rkt >> shelling out in order to load initial data into DB. Command is: >> psql -d biomantica < ././initial_test_data.sql >> /bin/sh: ././initial_test_data.sql: No such file or

Re: [racket-users] Paths in Dr Racket do not match paths in shell

define-runtime-path is designed for this problem, IIUC. Let me know if the docs don't help. Robby On Thu, Jan 19, 2017 at 11:47 AM, David Storrs wrote: > Short form: When using Dr Racket, how do I write something that says > "Here is a path to a file that I care about.

Re: [racket-users] can't open/start DrRacket v6.8.0.2 on macOS Sierra 10.12.2

This message from Matthew (and a few others like it) are probably relevant. https://groups.google.com/forum/#!topic/racket-users/4Bl5OcU6DOI Robby On Wed, Jan 18, 2017 at 12:00 PM, Vincent St-Amour wrote: > My guess would be that it's related to the nightly

<    1   2   3   4   5   6   7   8   9   >