/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
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
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
, 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 ---
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
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.
--
----
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.
--
--
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
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 packag
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
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
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
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
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
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
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.
--
-----
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
.
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
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
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.
--
--
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!)
--
---
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
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.
:-).
--
--
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
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
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
27 matches
Mail list logo
