330
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
"Racke
MMITTEE
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 from thi
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-
, 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
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
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
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.
--
-
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
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
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:
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
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
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
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
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
<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
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
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
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
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
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
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
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
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"
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
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
26 matches
Mail list logo