Here is another patch, with Ryan's suggestion.
If no one has any objections, I will push tomorrow.
On Mon, Mar 3, 2014 at 10:01 PM, Sam Tobin-Hochstadt
wrote:
> What was unsatisfactory about your last patch, aside from Ryan's suggestion?
>
> Sam
>
> On Mar 3, 2014 8:46 PM, "Stephen Chang" wrote
Hello,
I recently downloaded racket 6 on my linux machine and built it from
source. I attempted to run the command "raco ctool --c-mods base.c ++lib
racket/base" and I got an error that said that ++lib is an unknown flag. I
then found that this was an issue back in 2010 after digging around in
> My next step is to try to built it from source, but it’ll be tricky, because
> this machine doesn’t have very much ram. CPUS=1 is probably my friend here.
You could also try using a swapfile:
$ sudo dd if=/dev/zero of=/swapfile bs=64M count=16
16+0 records in
16+0 records out
1073741824 bytes
This is a good point. Do you need the first countable ordinal ω
("omega"), or an object introduced by a compactification of a
topological space? My proposal was for adding the latter.
They're different kinds of infinities, with different properties. For
example, there's no -ω. (Well, unless yo
It was on [racket-bug], so it's kind of hard to find. Here it is:
http://bugs.racket-lang.org/query/?cmd=view&pr=14232
Search for "Neil" on the page.
I think +inf and -inf could be added to the numeric tower with little to
no effect on current programs. There would be no +nan, not only for
On Mar 4, 2014, at 6:36 AM, Matthew Flatt wrote:
> At Mon, 3 Mar 2014 23:19:47 -0800, John Clements wrote:
>> I’d like to run racket 6 on a 64-bit Debian 7 VPS (that I have with linode).
>> It appears to me that our pre-built binaries rely on libc 2.14, and that the
>> current stable Debian (I
I think that Neil \bot posted on this subject in this forum at some point
with a fairly optimistic message.
Robby
On Tue, Mar 4, 2014 at 11:54 AM, J. Ian Johnson wrote:
> It's a bit of a philosophical problem to have an "exact" infinity. Writing
> your own such wrappers should not be too much
Is Wheezy the version of Debian we are talking about?
http://plt.eecs.northwestern.edu/snapshots/
Robby
On Tue, Mar 4, 2014 at 9:30 AM, Eric Dong wrote:
> IDK though, Debian stable is very popular. I would suggest somebody should
> build a package for it and upload it to racket-lang.org
>
>
It's a bit of a philosophical problem to have an "exact" infinity. Writing your
own such wrappers should not be too much work. I've done similar constructions
in my own work in analysis, simply using the symbol 'ω for infinity.
-Ian
- Original Message -
From: "Max New"
To: users@racket-l
I've been doing some work that uses a data structure that includes a size
that can be either a Natural number of Infinity ,a so-called "extended
natural number".
I've been using +inf.0 and gotten by using `<` and `infinite?` and things
have worked fine out of the box but now I need to take the min
IDK though, Debian stable is very popular. I would suggest somebody should
build a package for it and upload it to racket-lang.org
On Tuesday, March 4, 2014, Matthew Flatt
>
wrote:
> At Mon, 3 Mar 2014 23:19:47 -0800, John Clements wrote:
> > I’d like to run racket 6 on a 64-bit Debian 7 VPS (tha
At Mon, 3 Mar 2014 23:19:47 -0800, John Clements wrote:
> I’d like to run racket 6 on a 64-bit Debian 7 VPS (that I have with linode).
> It appears to me that our pre-built binaries rely on libc 2.14, and that the
> current stable Debian (I know, I know) comes with libc 2.13. Am I reading
> the
On 03/04/14 08:19, John Clements wrote:
I’d like to run racket 6 on a 64-bit Debian 7 VPS (that I have with linode). It
appears to me that our pre-built binaries rely on libc 2.14, and that the
current stable Debian (I know, I know) comes with libc 2.13. Am I reading the
error messages correc
Hi Everyone
I am the host of the Mostly Erlang podcast and from time to time we like to
talk about other functional languages. I would like to have an episode on
Scheme and Racket in the near future. I was hoping that some folks form the
Racket community would be willing to join us via Skype to ta
14 matches
Mail list logo
