[racket-users] PLDI 2023, Call for Workshops and Tutorials

Please distribute widely: # Call for Workshops and Tutorials PLDI 2023 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on

[racket-users] Call for Participation PLDI 2022

Call for Participation for PLDI 2022, the ACM SIGPLAN Conference on Programming Language Design and Implementation! PLDI is a premier forum for programming language research, broadly construed, including design,

[racket-users] PLDI 2022 Call for Student Volunteers

Sign up to be a Student Volunteer (SV) and help us make PLDI 2022 a unique experience for all attendants! PLDI 2022 is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued success of the conference each year. The student

[racket-users] PLDI 2022 Call for (Self-) Nomiation to Artifact Evaluation Committee

Please distribute widely: We are looking for motivated students and researchers to be members of the PLDI 2022 Artifact Evaluation Committee (AEC). This year, we are accepting (self-)nominations for the AEC. The artifact evaluation process aims to promote, share and catalog the research

Re: [racket-users] Anyone successfully filtering Italian spam?

My spamassassin catches most of it, but also sometimes catches real list emails because it has stopped trusting racket-users. Some combination of bayes and txrep plugins are doing the heavy lifting, I think. -- William J. Bowman On Mon, Nov 29, 2021 at 05:45:37PM -0600, Nathaniel Griswold

[racket-users] PLDI 2022 Second Call for Papers

. of Michigan https://pldi22.sigplan.org/committee/pldi-2022-organizing-committee -- William J. Bowman -- 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 ra

Re: [racket-users] rename-out not working as expected

I think this is the expected behaviour of `rename-out`; you might want this library to change the dynamic displayed name: https://docs.racket-lang.org/static-rename/index.html -- William J. Bowman On Tue, Oct 12, 2021 at 03:07:13PM -0400, David Storrs wrote: > --- > ; te

Re: [racket-users] Restarting loop from exception handler breaks with-handlers, Ctrl+C?

t%29._with-handlers%29%29>, > > but if a handler-expr procedure is called, breaks are not explicitly > > disabled, and the handler call is in tail position with respect to the > > with-handlers* > > <https://docs.racket-lang.org/reference/exns.html#%28form._%28%2

[racket-users] Restarting loop from exception handler breaks with-handlers, Ctrl+C?

loop (add1 n)))]) > (displayln n) > (sleep 1) > (cond > [(zero? n) (error 'foo)] > [(= n 5) (exit 1)]) > (loop (add1 n -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" g

[racket-users] racket/gui/base in sandboxes in places

, or a better workaround? -- William J. Bowman -- 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. To view this

[racket-users] Call for Tutorials and Workshops: PLDI 2022

Please distribute widely: # Call for Workshops and Tutorials PLDI 2022 is a world-class forum for researchers and practitioners in programming language design and implementation. As in previous years, PLDI is soliciting proposals for co-located workshops and tutorials that will take place on

Re: [racket-users] Help debugging handin client connection problem

tablished, right before a user tries to submit. This is a shame, since it principle it can happen in parallel with initialization, but I can figure out how to untangle this code enough to do that without risking the race condition. -- William J. Bowman On Sat, Sep 18, 2021 at 08:28:25PM -0700, 'W

Re: [racket-users] Help debugging handin client connection problem

until you restart DrRacket - affects 8.1 BC - affects 8.1 CS - affects 8.2.0.2 CS - results in the client failing send anything to the network -- William J. Bowman On Sat, Sep 18, 2021 at 08:05:10PM -0700, 'William J. Bowman' via Racket Users wrote: > Since I'm currently experiencing the iss

Re: [racket-users] Help debugging handin client connection problem

t; (error:1408F09C:SSL routines:ssl3_get_record:http request) As expected, nothing seem to correlate with my attempts to connect from the handin plugin. This makes me suspect the server, but I can't reconcile that with why there's nothing in the logs. -- William J. Bowman On Sat, Sep 18, 2021 at 06:59:

Re: [racket-users] Help debugging handin client connection problem

re using a CA signed certificate through Let's Encrypt, not a self-signed certificate). I'm currently experiencing the problem on my own client. I'm not sure if that's related; I also couldn't connect from my phone. -- William J. Bowman On Sat, Sep 18, 2021 at 09:24:05PM -0400, Sam Tobin-Hochsta

[racket-users] Help debugging handin client connection problem

about why restarting DrRacket would workaround the bug, or why it sometimes doesn't work. I'd appreciate any help. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiv

[racket-users] PLDI 2022 First Call for Papers

. of Michigan https://pldi22.sigplan.org/committee/pldi-2022-organizing-committee -- William J. Bowman -- 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

Re: [racket-users] Questions about multiple Racket installations...

I use this: https://github.com/takikawa/racket-dev-goodies When I need to switch, I just change PLTHOME to the right directory. -- William J. Bowman On Wed, Apr 14, 2021 at 11:06:15AM -0700, Don Green wrote: > I have several versions of Racket installed. > Is there a way to switch b

Re: [racket-users] A dict? question

Exactly. `'e` is a reader macro that gets read as `(quote e)`. When it's already under a quote, the quoted quote is treated as a symbol: > (dict-ref '('yay) 'quote) '(yay) > (quote ((quote yay))) '('yay) > '((quote yay)) '('yay) > (dict-ref '((quote yay)) 'quote) '(yay) -- Willi

Re: [racket-users] A dict? question

try (dict-ref ‘(‘yay) ‘quote) -- Sent from my phoneamajig > On Feb 27, 2021, at 15:31, Yury Bulka wrote: > > Dear Racketeers, > > I have noticed something I don't understand: > >> (dict? '(yay)) > #f >> (dict? '('yay)) > #t >> (dict-ref '('yay) 'yay) > ; dict-ref: no value for key: 'yay

[racket-users] When are rackunit tests delayed? (different between 7.8 and 8)

bout the semantics of test-suites and tests, since the documentation claims a test (unlike a check) is delayed, yet test-case and test-begin do not delay tests, while test-suite does produce a delayed suite of tests. However, test-begin DOES seem to delay a test in the context of a test-suite. I'd a

[racket-users] Sticky scrollable nav bar in docs

; overflow-y: scroll; height: 88%; } -- William J. Bowman -- 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...@google

Re: [racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

For the curious/eager, I've submitted a PR with my initial implementation redesigned along the lines of the discussion here: https://github.com/racket/racket/pull/3670 -- William J. Bowman On Sat, Oct 31, 2020 at 06:14:10PM -0400, Ben Greenman wrote: > On 10/31/20, jackh...@gmail.com wr

Re: [racket-users] Using GraphViz inside of Scribble?

t-port stdin) > (cond [(eq? (ctl 'status) 'done-error) (error (port->string stderr))] >[else stdout])])) On Wed, Jan 27, 2021 at 09:42:16PM -0800, 'William J. Bowman' via Racket Users wrote: > I've been using graphviz inside Scribble for a bit. > I found the pack

Re: [racket-users] Using GraphViz inside of Scribble?

) Example: > @dot->svg{ > digraph { > > node [ shape="box" ] > > /* The Languages */ > > L0 [label="x64"]; > L1 [label="elf64"]; > > /* The Passes */ > > edge [fontname="Courier"] > > L0 -> L1 [label=&

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

ition of that error is that openssl/mzssl appears *somewhere* >> among the dependencies. I run into that same error for evaluators that have >> nothing to do with Scribble. >> >> ~slg >> >> ‐‐‐ Original Message ‐‐‐ >> On Monday, January

Re: [racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

nd `((exists > ,(X509_get_default_cert_file))) > (sandbox-path-permissions))] > ... -- William J. Bowman On Tue, Jan 05, 2021 at 12:07:12AM +, Sage Gerard wrote: > Heads up: My earlier example was missing a clos

[racket-users] Why is my sandbox trying to access /etc/ssl/certs.pem?

operating system I'm running on making this slightly complicated, and the access isn't necessary. Is there some way to trick Racket into not trying to do this, or else some parameter I can use to provide access to whatever openssl is going to try to touch without hardcoding the paths? -- William J

Re: [racket-users] Using Scribble for Course Notes?

._scribble%2Fhtml-properties..rkt%29._xexpr-property%29%29 I haven't used the plot pacakge but I know people have done awesome things: - https://docs.racket-lang.org/plot/renderer2d.html?q=graph#%28tech._graph%29 -- William J. Bowman On Sun, Dec 06, 2020 at 10:39:04AM -0800, dyrueta wrote: > Hi

Re: [racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

Thanks for the feedback! Some of these were not concerns for my use case, so I’ll do a bit more design before submitting something. -- Sent from my phoneamajig > On Oct 30, 2020, at 12:36, George Neuner wrote: > >  >> On 10/30/2020 3:08 PM, William J. Bowman wrote

Re: [racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

macros in this particular case? -- William J. Bowman On Fri, Oct 30, 2020 at 03:04:04PM -0400, George Neuner wrote: > > On 10/30/2020 1:14 PM, William J. Bowman wrote: > > Thanks! One follow-up: > > > > > 1. make these functions, not macros > > The main i

Re: [racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

Thanks! One follow-up: > 1. make these functions, not macros The main implementation is a procedure, but I think I need a macro to get the syntactic interface I want. Is there some reason to avoid macros? -- You received this message because you are subscribed to the Google Groups "Racket

[racket-users] Contracts for (partially) specifying dictionary key -> value-predicates

the contracts expr ... (respectively). Before I start documenting and making it a thing, I thought I'd solicit feedback. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop

Re: [racket-users] [scribble] Are nested lists possible?

> >>> @defproc[(trie-add-item+data! [arg trie?][item (listof any/c)][#:combine Is the issue that you rebound `item`? On Tue, Oct 13, 2020 at 10:20:24AM -0700, Sorawee Porncharoenwase wrote: > apparently it doesn’t like having an itemlist inside of a {} block at all > > I’m not sure if I totally

Re: [racket-users] Automated method for making racket package installs consistent?

I'm not sure what you're asking: is your question equivalent to figuring out which packages are explicitly installed? On Sat, Oct 10, 2020 at 04:04:14PM -0700, primer wrote: > > If I have an an install with packages X and Y installed, and a second > install with packages Y and Z installed, is

Re: [racket-users] How to redirect only some library documentation in Scribble

On Wed, Oct 07, 2020 at 07:24:37AM -0600, Matthew Flatt wrote: > At Tue, 29 Sep 2020 17:51:42 -0700, "William J. Bowman" wrote: > > I'm writing a large Scribble document which links to package > > documentation. I link to normal Racket documentation, and currently >

[racket-users] How to redirect only some library documentation in Scribble

like to redirect references to this library's documentation to a separate URL. Ideally, I would do this by declaring the root URL for the package, and not by manually annotating every usage of @racket[private-library-identifier]. Is this possible? -- William J. Bowman -- You received this message be

[racket-users] [ANN] A Scribble library for typesetting grammar differences

/index.html#%28form._%28%28lib._scribble%2Fbettergrammar..rkt%29._typeset-grammar-diff%29%29 Source here: https://github.com/wilbowma/scribble-bettergrammar Hope you find it useful! -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket

Re: [racket-users] Expanding Macros

._local-expand%29%29 -- William J. Bowman On Thu, Jul 09, 2020 at 06:30:38PM -0700, Thomas Del Vecchio wrote: > I'm trying to work through expanding a macro to pass the result into > another macro. I've attached and pasted the spec below that is my toy > example. I've tried usi

[racket-users] Reflecting on context arity

ult-arity (lambda (x) (values 'a 'b 'c))) > #f Welp. So, uh, can I haz a current-context-arity please? -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails

Re: [racket-users] Separate compilation/caching for Scribble?

`'replay` if the log file exists and `'record` otherwise, why not do the > following? > > (make-log-based-eval the-log-file (if (file-exists? the-log-file) > 'replay 'record)) > > Ryan > > > On Wed, Mar 25, 2020 at 8:57 PM William J. Bowman > wrote: > > >

Re: [racket-users] Separate compilation/caching for Scribble?

On Wed, Mar 25, 2020 at 08:51:18PM +0100, Ryan Culpepper wrote: > You can use `raco make` (or `raco setup` for docs of installed packages) to > compile the Scribble files, but that won't compile the examples. Those are > dynamically evaluated when the Scribble documents are run. Yeah, I was

[racket-users] Separate compilation/caching for Scribble?

hacked up a caching system for examples using make-log-based-eval and with-cache, but it's completely unreliable, occasionally giving 'could not replay log' when nothing has changed in that file. Am I missing something? -- William J. Bowman -- You received this message because you are subscribed

[racket-users] Compiling redex grammar to scribble/bnf

Has anyone tried to compile a Redex grammar to scribble/bnf? I understand this would likely fail with the more advanced Redex grammar specifications. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubs

Re: [racket-users] Need a scribble identity wrapper. A no-op.

I think ‘elem’ will do what you want. -- Sent from my phoneamajig > On Nov 3, 2019, at 14:07, Hendrik Boom wrote: > > I've tried defining a function that reads a file, and then tries to > pass it back to be part of a scribble document. > > Unfortunately, the list returned needs to be

Re: [racket-users] expanding to typed/racket using #lang turnstile

) >> --- [≻ (tr:ann (tr:#%datum . n) tr:Number)]]) You probably need to use a Turnstile types in your language, and generate Typed Racket types using the `ann` form from Typed Racket. -- William J. Bowman On Tue, Oct 29, 2019 at 10:07:21AM -0700, Raoul Schorer wrote

Re: [racket-users] How do I typeset mixed-code for docs.racket-lang.org?

in your example). I'm > assuming that since @minted only applies to styles, it will function fine if > composed with @racketmod and friends? > > > ~slg > > ‐‐‐ Original Message ‐‐‐‐‐‐‐ >> On Tuesday, October 8, 2019 3:05 PM, William J. Bowman >> wrote: >>

Re: [racket-users] How do I typeset mixed-code for docs.racket-lang.org?

/nested.scrbl -- William J. Bowman On Tue, Oct 08, 2019 at 05:06:40PM +, Sage Gerard wrote: > One of my projects allows for embedding Racket modules within > elements, within a Markdown page. > > ## Hello World > <script type="application/racket"> > #la

[racket-users] Can I use the macro stepper to debug an infinite expansion loop?

stepper, it just hangs... or maybe the timeout is longer than I'm willing to wait. -- William J. Bowman -- 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 ra

Re: [racket-users] Re: Reflecting on the lexical environment at macro expansion time

Excellent! Thanks. On Wed, Jul 17, 2019 at 01:46:10PM -0700, gfb wrote: > On Wednesday, July 17, 2019 at 4:35:21 PM UTC-4, William J. Bowman wrote: > > > > I'm trying to write a macro that reflects on which identifiers are in > > scope in > > the environment when it r

[racket-users] Reflecting on the lexical environment at macro expansion time

list of symbols in scope, and get their values and identifiers. Any one know how to do this? -- William J. Bowman -- 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

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

Yeah, I think I would be. On Wed, May 08, 2019 at 11:13:12AM -0500, Robby Findler wrote: > 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 >

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

On Wed, May 08, 2019 at 08:31:26AM -0500, Robby Findler wrote: > 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

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

fine a trivial reduction relation (all reduction relations need rules), so I can't manually call `compatible-closure` on this trivial relation. I also can't access `cross` in my surface language to define contexts, so I can't take the context closure without writing out about 50 lines of contexts :

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

would require a lot more changes and different interface, I think. A quick version would give the user access to computed contexts, allowing `(cross t)` (or something) in language definitions. Then, we could implement this easily enough in user libraries. -- William J. Bowman On Fri, May 03, 2019 at 10

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

wondering what to call this "closure". 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 On Fri, May 03

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

Ah, I see. Those are the VT and TT I want, but then I also want to define: (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

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

th something like that), it might > be simplest to write out the contexts that you want directly and use > context-closure. > > Robby > >> On Fri, May 3, 2019 at 6:42 PM William J. Bowman >> wrote: >> >> Hello all, >> >> I'm trying to define a model in Re

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

the nonterminals for values and terms are mutually defined, but `compatible-closure` takes exactly one nonterminal. Is there a way to do what I want? See attached. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubs

[racket-users] [TFP'19] Third call for papers: Trends in Functional Programming 2019, 12--14 June 2019, Vancouver, BC, CA

for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman

[racket-users] Logic Mentoring Workshop (LMW) 2019 Call for Participation

) Kuen-Bang Hou (Favonia) (University of Minnesota) ORGANIZING COMMITTEE William J. Bowman (University of British Columbia) Mike Dodds (Galois, Inc) Sandra Kiefer (RWTH Aachen University) Filip Mazowiecki (University of Bordeaux) PROGRAM A detailed program will soon be available on the LMW 2019

[racket-users] [ANN] scribble/coq: A library for running and typesetting Coq examples

backends via scribble/minted. Also, if anyone is looking for a fun little project: there's a design pattern crying out for an abstraction that would allow plugging in new external REPLs for typesetting languages in Scribble, as easily as scribble/example allows typesetting #langs. -- William J. Bowman

[racket-users] [ANN] scribble/minted, code highlighting via pygmentize

, and HTML renderers. (Probably not hard to make it support text and markdown, but I don't really need those right now.) It's probably a bit fragile. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] Scribble document extending a renderer with a new mixin

I was missing something: a bug in my code. FYI, I got this working if anyone wants an example of how to patch Scribble's current render mixin. https://github.com/wilbowma/scribble-minted -- William J. Bowman On Fri, Feb 15, 2019 at 05:48:37PM -0800, William J. Bowman wrote: > I've crea

[racket-users] Scribble document extending a renderer with a new mixin

-mixin (which was a bad idea that wasn't likely to work), and it didn't work. Am I missing something or should I try to make a patch to that enables scribble to load a mixin from a given document? -- William J. Bowman -- You received this message because you are subscribed to the Google Groups

Re: [racket-users] Reusing scribble/examples for other languages with external interpreters (Coq)?

t; which is used to generate this page > <https://homes.cs.washington.edu/~sorawee/en/coq-tactics/>. > > On Thu, Feb 14, 2019 at 3:09 PM William J. Bowman > wrote: > > > Does anyone have work adapting or hi-jacking scribble/examples to run code > >

[racket-users] Reusing scribble/examples for other languages with external interpreters (Coq)?

Coq examples. I could partially reimplement a scribble/examples-like macro that spins up a subprocess to interact with coqtop, but I was hoping someone might have some work I can reuse. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket

Re: [racket-users] Is there a way to fully expand and evaluate a syntax object at compile-time? (Redex compile-time typechecks)

c2b0e/cur-lib/cur/curnel/racket-impl/type-check.rkt#L88 -- William J. Bowman On Thu, Jan 17, 2019 at 11:50:41AM -0800, Joey Eremondi wrote: > As part of my ongoing attempt to turn my Redex model into a #lang, I'm > wondering, is there a way to fully expand and evaluate a syntax object at

Re: [racket-users] Re: Redex: making a #lang with native lambda, app, etc.

fails; most of the output was still quoted). It also has implementations of `provide`, `require`, and `module+` which thread state through modules that `eval` and the type system require. Hope it helps! -- William J. Bowman On Wed, Jan 02, 2019 at 05:47:25PM -0800, Joey Eremondi wrote: > Tha

Re: [racket-users] Legal/Business Case Management DSLs

FYI, some related work i didn't see mentioned in the thread: a language for writing legal contracts, as natural language documents which can be attached to computation logic: https://docs.accordproject.org/ -- Sent from my phoneamajig > On Aug 25, 2018, at 02:45, Richard Parsons wrote: > >

Re: [racket-users] PLT Redex & dependent type

-- William J. Bowman On Tue, Apr 10, 2018 at 07:53:37AM -0400, 'William J. Bowman' via Racket Users wrote: > Yes. https://github.com/wilbowma/cic-redex > > This isn't exactly a minimal example; I have a smaller model somewhere I'll > try to send. > > -- > Sen

Re: [racket-users] PLT Redex & dependent type

Yes. https://github.com/wilbowma/cic-redex This isn't exactly a minimal example; I have a smaller model somewhere I'll try to send. -- Sent from my phoneamajig > On Apr 10, 2018, at 06:32, Ning Shan wrote: > > Can I implement dependent type in PLT Redex? >

Re: [racket-users] how can I approximate syntax properties with `make-rename-transformer`?

~25kernel%29._make-rename-transformer%29%29 On Thu, Nov 30, 2017 at 11:21:12AM +0100, 'William J. Bowman' via Racket Users wrote: > > I can wrap the property around the target identifier, but the syntax > > property doesn't stick: > > > > (provide (rename-out [mb #%module-beg

Re: [racket-users] how can I approximate syntax properties with `make-rename-transformer`?

he syntax-property. That > is, don't do (define x (syntax-property #'id 'prop #'stx)) and then use x in > a syntax object, but generate #`(... (syntax-property #'id 'prop #'stx ...)) -- William J. Bowman -- You received this message because you are subscribed to the Google Groups

Re: [racket-users] Intro and projects inquiry

others working on them, but if you’re looking for projects I’d start by looking there. — William J. Bowman > On Oct 11, 2017, at 10:12 PM, Eric Griffis <ded...@gmail.com> wrote: > > Hello, > > My name is Eric and I love Racket. > > I am 39 years old and have been wr

Re: [racket-users] Defining things in two phases at once

You can use 'module' to define a sub module in the same file, then import the function at both phases as you would from another file. See the docs for the module form. E.g. #lang racket (module racket A (provide foo) ... ) (require (submod 'A) (for-syntax (submod 'A)) -- Sent from my

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

On Tue, Jun 27, 2017 at 07:21:48PM -0500, Robby Findler wrote: > On Tue, Jun 27, 2017 at 3:23 PM, 'William J. Bowman' via Racket Users > <racket-users@googlegroups.com> wrote: > > (Unfortunately, there is a known bug in Redex that #...bind is > > undocumented, so you

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

ly, there is a known bug in Redex that #...bind is undocumented, so you had no way to know about this) -- William J. Bowman -- 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

Re: [racket-users] Is there a (#%variable-value ...) macro like there are for #%datum, #%app, etc?

ld be much simpler and cleaner if there were a > #%variable-value to use. I don't think there is a better, but I really want such a feature. I've implemented a couple #langs and handling variable lookups this way has always felt like a cludge to me. -- William J. Bowman -- You received thi

Re: [racket-users] RacketCon Code of Conduct

If men were angels... +1 for a CoC. On Sat, Jun 17, 2017 at 09:50:53PM +0300, Matthias Felleisen wrote: > > A code of conduct is a totally stupid idea for RacketCon. Racketeers were > raised properly by their parents and are well behaved. I really hate > attending conferences that need to

[racket-users] How do I debug scope-manipulating code

smelly parts of the code. I then sprinkle `syntax-local-introduce` until the output looks more reasonable. This makes me feel like setting fire to "sets of scopes" and using gensym. Also, it doesn't seem to be working. -- William J. Bowman Northeastern University College of Computer and I

Re: [racket-users] How to check if a value is not false

en")) (if y (displayln y) (displayln "This also can't happen")) (cond [(and x y (not z)) (printf "~a and ~a and not ~a~n" x y z)] [else (displayln "This cannot happen either")]) -- William J. Bowman Northeastern University College of Computer and Informa

Re: [racket-users] Confused about syntax properties

this instead: (define annotated (syntax-property #'4 'annotation 2)) (syntax-property annotated 'annotation) -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving ema

Re: [racket-users] syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

generated syntax that included a syntax-property. Maybe we shouldn't be stashing identifiers in syntax-properties at all, but in practice this workaround seems to work (in the implementations of Alexis' Rascal and my Cur). -- William J. Bowman On Wed, Dec 14, 2016 at 08:14:49AM -0700, Matthew

Re: [racket-users] syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

how I ran into this problem. (Hint: It was implementing dependent types in Racket using Types as Macros.) -- William J. Bowman -- 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

Re: [racket-users] Re: syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

-identifier=? correctly, make-rename-transformer was optimizing this away, although I thought I was preventing that. -- William J. Bowman PS: Thanks Leif! On Mon, Dec 12, 2016 at 12:55:24PM -0500, 'William J. Bowman' via Racket Users wrote: > Ah, thanks. > > Anyone else have ot

[racket-users] Re: syntax-property lost across module boundary (WAS: format-id doesn't preserve preserved?-edness of syntax-property?)

Ah, thanks. Anyone else have other ideas for problems using syntax-properties, or maybe make-rename-transformers (with not-free-identifier=?), across modules? -- William J. Bowman On Sun, Dec 11, 2016 at 07:54:29PM -0500, Alex Knauth wrote: > > > On Dec 11, 2016, at 7:20 PM, '

Re: [racket-users] How to test that a file is syntactically correct, but don't run it

raco read or raco expand may be the closest to doing this without doing much else. https://docs.racket-lang.org/raco/read.html Is there some way to e.g. hook some of DrRackets syntax checker up to a raco check-syntax? That would be convenient in the terminal. -- Sent from my phoneamajig >

Re: [racket-users] Re: Matching on a prefab struct

What I'm doing: macros generating macros generating structs, and elimination forms those structs. Matching against a list of arbitrary fields is easier than keeping track of the actual fields. struct->list might be what I want; thanks! -- Sent from my phoneamajig > On Nov 9, 2016, at 19:23,

[racket-users] Matching on a prefab struct

) Observed behavior: error, "a: unbound identifier in module" -- William J. Bowman Northeastern University College of Computer and Information Science -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this grou

Re: [racket-users] syntax-parse #:with and error messages

On Thu, Sep 29, 2016 at 04:06:21PM -0400, 'William J. Bowman' via Racket Users wrote: > being printed as #%app, and only now understand (thanks Alex!) what's really > going on here. Correction: Thanks Alex*is*. -- William J. Bowman -- You received this message because you are subs

Re: [racket-users] syntax-parse #:with and error messages

nto a similar problem with #%plain-app being printed as #%app, and only now understand (thanks Alex!) what's really going on here. I don't think it's specific to syntax-parse. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users"

[racket-users] #%plain-app prints as #%app, hindering debugging

) [(#%app Type i) 1] [(#%plain-app Type i) 2]))) Naturally, I expect it to print: # 1 But it doesn't: # 2 -- William J. Bowman Northeastern University College of Computer and Information Science -- You received this message because you are subscribed to the Google

[racket-users] syntax-parse #:with and error messages

m not sure if this one is related, but it came up in the same debugging session. Is there anything to be done about these error message? -- William J. Bowman Northeastern University College of Computer and Information Science -- You received this message because you are subscribed to the Google Group

Re: [racket-users] syntax-properties, local-expand, and a struct

syntax-property`. So should all uses of syntax properties expect to sometimes get cons pairs of merged properties? > Perhaps that datum->syntax shouldn't copy the properties over? I defer to experts on this. -- William J. Bowman -- You received this message because you are subscribed to

[racket-users] syntax-properties, local-expand, and a struct

and a value of '1. -- William J. Bowman Northeastern University College of Computer and Information Science -- 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

Re: [racket-users] Scribble: unnumbered and unindexed sections

'unnumbered]` for this. See `raco doc part` for some of the relevant style names. I'm not sure, but one of them ('hidden ?) may help with unindexed. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe fr

Re: [racket-users] How do I "make base"

-level directory of the Racket repo, then install everything else via `raco pkg install`. Binaries, including raco, end up in `racket/racket/bin`. -- William J. Bowman On Wed, Aug 03, 2016 at 06:02:53PM +0100, Tim Brown wrote: > Here's hoping someone can answer this without too much (

Re: [racket-users] Macros that use with-handlers

#'pred))`. Similarly reasoning applies to the `string?` test. I'm not sure your approach is ideal, but I'll let someone else comment. -- William J. Bowman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group

Re: [racket-users] After font change, bounding box too high in Redex picts

ke a look, thanks. -- William J. Bowman -- 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 more o

  1   2   >