Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Provide typed version fxpopcount functions #1425

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

cocodery
Copy link

@cocodery cocodery commented Jan 4, 2025

This PR provides typed version fxpopcount functions, related to issue1319.

Before

Welcome to Racket v8.15-2024-12-25-34ef1af7ec [cs].
> (require racket/fixnum)
> (fxpopcount 42)
string:1:1: Type Checker: missing type for identifier;
 consider using `require/typed' to import it
  identifier: fxpopcount
  from module: racket/fixnum
  in: fxpopcount
 [,bt for context]

After

Welcome to Racket v8.15-2024-12-25-34ef1af7ec [cs].
> (require racket/fixnum)
> (fxpopcount 42)
- : Integer [more precisely: Nonnegative-Fixnum]
3

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Resyntax analyzed 0 files in this pull request and found no issues.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant