typed-racket icon indicating copy to clipboard operation
typed-racket copied to clipboard

Published 20 hours ago • verified publisher icon racket

The typed version of racket/fixnum doesn't provide the popcount functions.

Open shawnw opened this issue 2 years ago • 6 comments

See title. fxpopcount, fxpopcount32 and fxpopcount16 need a require/typed to be usable.

shawnw avatar Mar 13 '23 10:03 shawnw

Can I get this assigned? Thanks

ghost avatar Oct 06 '24 23:10 ghost

Are you asking me to assign this issue to you? I want to make sure I'm not misunderstanding you.

jbclements avatar Oct 07 '24 05:10 jbclements

Are you asking me to assign this issue to you? I want to make sure I'm not misunderstanding you.

Yea that's what I'm asking. I'd like to work on this please

ghost avatar Oct 07 '24 07:10 ghost

Hi, I'm not sure whether the issue is taking on, and the assignee seems to logout. I'm trying this issue and I'm interested in solving this issue. My solution is just like the typed-racket date-file, solves with a new fixnum file under the same path. Update: Ahhh, this seems not a good idea, I will try others.

cocodery avatar Jan 01 '25 20:01 cocodery

You probably want to add the types to this file: https://github.com/racket/typed-racket/blob/master/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt#L1933

samth avatar Jan 02 '25 19:01 samth

Yes, thanks! I have created a PR for this issue about the fxpopcount functions.

cocodery avatar Jan 04 '25 06:01 cocodery