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

2017-10-13 Thread Eric Eide
Robby Findler writes: > Also: if you just don't `provide` a function from a module, then it > cannot be used outside. No naming conventions necessary. But the no-naming convention is necessary. :-). -- --

[racket-users] Re: macOS Post-Install

2017-10-31 Thread Eric Eide
rok the space in that directory name... Eric. -- ------- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you are subscribed to the Google Groups "Racket Users" group. T

[racket-users] Re: Why is there a space in the path to the Racket application on MacOSX?

2018-03-29 Thread Eric Eide
d always use that in my config files, scripts, etc. Bonus: When I update the installation, I just recreate the symlink and point it at the newly installed software. (PS --- I don't like the spaces in the name, either!) -- ---

[racket-users] Re: Using racket with emacs

2018-09-14 Thread Eric Eide
Neil Van Dyke writes: > Use Greg Hendershott's `racket-mode`: > https://github.com/greghendershott/racket-mode Seconded! Racket-mode is excellent, and it grows more excellent over time. -- --

[racket-users] Re: What is the address of the venue for RacketCon ?

2019-05-10 Thread Eric Eide
City, UT 84111 -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you are subscribed to the Google Groups

[racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Eric Eide
. Stay tuned! -- ------- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you are subscribed to the Google Groups "Racket Users" group. T

[racket-users] Specifying Launcher Directory/Installation Executable Directory

2019-06-12 Thread Eric Eide
I want to install launchers to someplace outside of $HOME, so that the tools are easily available to users other than the one installing the software. Thanks --- Eric. -- ------- Eric Eide . University of Utah S

[racket-users] Re: Specifying Launcher Directory/Installation Executable Directory

2019-06-12 Thread Eric Eide
ith `raco pkg install` or select "Specific Racket > Installation" for the "Scope" choice in DrRacket's package-installation > dialog. Thank you! I think this is the thing I was looking for. -- -----

[racket-users] Git-Backed Racket Packages, git export

2019-06-13 Thread Eric Eide
ttps://git-scm.com/docs/git-archive>. Is there a reason why the Racket package system doesn't run `git archive` to produce the content for the "non-developer" version of a package? Thanks --- Eric. -- --- E

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-13 Thread Eric Eide
Argh, I screwed up the subject line of my question email :-/. I always have to remind myself that the command is `git archive`, not `git export`. Sorry for any confusion. -- --- Eric Eide . University of Utah

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-13 Thread Eric Eide
how to insert a git commit hash into a package installed in the "non-developer way." -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voic

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-13 Thread Eric Eide
t! I'll have to investigate how I can easily navigate from a package hash to a particular version of the package. (I.e., the moral equivalent of `git checkout `.) Eric. -- ------- Eric Eide . University of Uta

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-13 Thread Eric Eide
s as the checksum." Thanks! This seems to be exactly what I want! -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

[racket-users] Announce: Xsmith 1.0.0 Released

2019-06-14 Thread Eric Eide
anagement website to subscribe: http://www.flux.utah.edu/mailman/listinfo/xsmith-dev Happy fuzzing! Eric. -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512

[racket-users] Re: grammar-based fuzzing

2019-06-14 Thread Eric Eide
Eric Eide writes: > You might be interested in Xsmith. Version 1.0 will be released imminently, > like within the next week. I'll send another email when it's released. To follow up in this thread, Xsmith version 1.0.0 is now available. You can find it in the Racket packag

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-16 Thread Eric Eide
t; This trick does not work (in my tests so far) when a git sandbox is linked as a package. When installed in that way, the package checksum is #f :-(. -- --- Eric Eide . University of Utah School of Computing h

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-17 Thread Eric Eide
to do. Thanks again for the help! -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you a

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-17 Thread Eric Eide
ted on pkgs.racket-lang.org? Communicate with users. I want to put the appropriate git hash into the output of my program (Xsmith-based random program generators) so that I can attempt to reproduce the output, if necessary. -- --

[racket-users] Re: Git-Backed Racket Packages, git archive

2019-06-17 Thread Eric Eide
eces of a workable (for me) implementation now, but I haven't actually implemented it yet. When I do I'll send you an email with a pointer to the relevant code. Thank for the pointer to the timestamp-based technique! I'll take a look. -- ----

[racket-users] CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems

2019-07-02 Thread Eric Eide
op proceedings is not intended to replace future conference publication. PROGRAM COMMITTEE Owen Arden, University of California, Santa Cruz Jia-Ju Bai, Tsinghua University Vijay Chidambaram, University of Texas at Austin/VMware Research Pierre-Evariste Dagand, CNRS/Inria/LIP6 Eric Eide, University

[racket-users] Racket-ese for Scheme `define-record-type' protocol?

2016-12-28 Thread Eric Eide
27;t what I want at all? Thanks --- Eric. (a Racket newbie) -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you are subscribed to the Google Groups "Racke

[racket-users] Re: Racket-ese for Scheme `define-record-type' protocol?

2016-12-29 Thread Eric Eide
Matthew Flatt writes: > The separate `make-racr-specification` function is how I would write > it, including using `make-` as a prefix. Thank you for the help! -- --- Eric Eide . University of Utah Sch

[racket-users] Re: Boot To Racket

2017-07-08 Thread Eric Eide
be a big job! Eric. -- --- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this gr

[racket-users] CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems

2021-07-05 Thread Eric Eide
NIZING COMMITTEE Antonio Barbalace, The University of Edinburgh Eric Eide, University of Utah Pierre Olivier, The University of Manchester Olaf Spinczyk, Osnabrueck University -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe

[racket-users] Re: The history of hygiene for definition contexts

2021-07-29 Thread Eric Eide
/3386330 Eric. -- --- Eric Eide.University of Utah School of Computing https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA -- You received this message because you are subscribed to the Google Groups "Rack

[racket-users] Announce: Clotho 1.0.0 Released

2020-08-03 Thread Eric Eide
, and Eric Eide. Clotho: A Racket library for parametric randomness. In Proceedings of the 2020 Scheme and Functional Programming Workshop (Scheme 2020), August 2020. https://www.flux.utah.edu/paper/darragh-scheme20 Thanks ---

[racket-users] Re: new racket-lang.org website

2020-08-25 Thread Eric Eide
ake an exception in this case. This is very nice! I especially like the Typed Racket, Scribble, and Datalog snippets! -- ------- Eric Eide . University of Utah School of Computing http://www.cs.utah.edu/~eeide/ . +1