Re: [racket-users] racket-mode finds wrong version of Racket

2019-12-16 Thread David Storrs
Thanks, Bruno. Much appreciated. On Mon, Dec 16, 2019, 12:56 PM bruno cuconato wrote: > Emacs has a few ways to update environment variables (see > https://www.gnu.org/software/emacs/manual/html_node/emacs/Environment.html > ), > but IMHO they are not very practical if updating several variables

Re: [racket-users] Typed Racket: 'Unable to protect opaque value passed as `Any`' with interesting behavior

2019-12-16 Thread Sam Tobin-Hochstadt
The best approach to this is to avoid using `Any` as the type you pass to untyped code. Often you just need to be more specific about the type; sometimes you need to use polymorphism. Sam On Mon, Dec 16, 2019 at 1:40 PM Marc Kaufmann wrote: > > Follow up on this: Is there a way to resolve this t

Re: [racket-users] Typed Racket: 'Unable to protect opaque value passed as `Any`' with interesting behavior

2019-12-16 Thread Marc Kaufmann
Follow up on this: Is there a way to resolve this type of issue when I import typed code in a non-typed place? I did hit the same issue today, roughly as follows: the typed code uses an opaque type for `Time` (using predicate `time?`), and the function `my-function` has return type `Any`, and c

Re: [racket-users] racket-mode finds wrong version of Racket

2019-12-16 Thread bruno cuconato
Emacs has a few ways to update environment variables (see https://www.gnu.org/software/emacs/manual/html_node/emacs/Environment.html), but IMHO they are not very practical if updating several variables — I always prefer to simply restart Emacs, or not to add anything to $PATH but to symlink files t

[racket-users] Racket News - Issue 22

2019-12-16 Thread Paulo Matos
Racket News is here - now with issue 22. https://racket-news.com/2019/12/racket-news-issue-22.html Enjoy! Paulo Matos -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an em

[racket-users] racket-mode finds wrong version of Racket

2019-12-16 Thread David Storrs
I just now updated to 7.5 from 7.3, then updated my .bashrc to have the correct path. I'm using GNU Emacs in Terminal on OSX 10.11. $ echo $PATH [...stuff that isn't Racket...]:/Applications/Racket_v7.5.0.10/bin:[...stuff that isn't Racket...] >From a .rkt file: C-c C-c Welcome to Racket v7.3.

Re: [racket-users] Re: Racket 7.5 does not run on Cent OS cloud computers

2019-12-16 Thread Bruce O'Neel
Hi Edurado, You could just download the linux source + built packages, and then cd racket-version cd src mkdir build cd build ../configure --prefix=where_do_you_want_to_install_racket make make install will build it for you.   On one of my systems  configure takes less t

Re: [racket-users] Re: Racket 7.5 does not run on Cent OS cloud computers

2019-12-16 Thread Matthew Flatt
> On Monday, 9 December 2019 23:00:37 UTC+1, edu500ac wrote: > > > > A couple of years ago, I was unable to run Racket on my webpage. I > > complained on this forum, and the developers fixed the issue. Things worked > > fine until version 7.3, when the old problem reappeared. Here is what > > ha