
Can you explain why we only get 30 bits?


in our discussions we always threw around “31 bits” and “63 bits” but we were forgetting about the sign bit

I realized this and fixed it for our base-type bitfields, but I forgot about type masks until just now :frowning:

you should still be able to get 31 bits out of a fixnum, though

but it would probably be inconvenient

if we figure out a sensible way to squeeze out that extra bit then cool

but at the moment we’re not desperate for it, and the bitwise logic is nice and simple

this bug is in the general 6.8 release =(

it surprises me that it went this long undiscovered

I thought the type mask changes were a while ago

no one uses 32 bit systems?

:smiley:

are non of the automatic builds on 32-bit systems?

(or in a 32 bit vm?)

I don’t know

but we will make sure to fix that before 6.9

@pnwamk I think some of the pre-release builds are 32-bit, like this build log http://pre-release.racket-lang.org/log/%7B1%7D%20Racket%20%7C%20%7B3%7D%20Linux%20%7C%20%7B1%7D%20x86%20(32-bit);%20built%20on%20Debian%207%20(Wheezy) but somehow didn’t trigger the issue.

@pnwamk said that it was non-deterministic

so maybe that’s why we didn’t see it

but I don’t know why it wouldn’t have happened occasionally

Yah, I had to wiggle it a few times to make it happen

but the various nightly and pre-release builds happen a lot

so I’m surprised

perhaps the issue was introduced earlier on, but the more recent changes caused it to happen more frequently

I dunno

Is there any syntax in typed/racket that is analogous to java generics? I’m toying around with a java source generator and I’m trying to keep things consistent with what’s already available

@jerryj yes, see the All
type constructor

there’s a lot more discussion here: http://docs.racket-lang.org/ts-guide/types.html#%28part._.Polymorphism%29

@samth thank you!

I’m suddenly getting a whole bunch of “CFNetwork SSLHandshake failed” errors when trying to install packages on macOS from http://pkgs.racket-lang.org\|pkgs.racket-lang.org. Can anyone reproduce that, or is it just me?

@georges-duperon has joined the channel