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
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
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"
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
--
-
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
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
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
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
24 matches
Mail list logo
