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