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

2016-12-29 Thread Eric Eide
Matthew Flatt <mfl...@cs.utah.edu> 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 <ee

[racket-users] Re: Boot To Racket

2017-07-08 Thread Eric Eide
big job! Eric. -- --- Eric Eide <ee...@cs.utah.edu> . 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&q

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

2017-10-13 Thread Eric Eide
is necessary. :-). -- --- Eric Eide <ee...@cs.utah.edu> . 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"

[racket-users] Re: macOS Post-Install

2017-10-31 Thread Eric Eide
grok the space in that directory name... Eric. -- --- Eric Eide <ee...@cs.utah.edu> . 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 Goog

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

2018-03-29 Thread Eric Eide
n the name, either!) -- --- Eric Eide <ee...@cs.utah.edu> . 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 User

[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. -- --- Eri

[racket-users] Re: grammar-based fuzzing

2019-06-06 Thread Eric Eide
ned! -- --- 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 uns

[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 package catalog:

[racket-users] Announce: Xsmith 1.0.0 Released

2019-06-14 Thread Eric Eide
nt 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 voice, +1

[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
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. -- --- Eri

[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] Git-Backed Racket Packages, git export

2019-06-13 Thread Eric Eide
<https://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. -- --- Eric E

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

2019-06-13 Thread Eric Eide
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 voice, +1

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

2019-06-12 Thread Eric Eide
all 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 School of Comput

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

2019-06-13 Thread Eric Eide
out! 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 Utah Sch

[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

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

2019-06-17 Thread Eric Eide
o. 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 are su

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

2019-06-17 Thread Eric Eide
ket-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: 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. -- --- Er

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

2019-05-10 Thread Eric Eide
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 &quo

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

2019-07-02 Thread Eric Eide
shop 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 of Ut

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

2020-08-25 Thread Eric Eide
eption 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 (801) 585-

[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 --- Eric