Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Fix use of private headers from CCF #22

Open
jeffa5 opened this issue Sep 15, 2022 · 0 comments
Open

Fix use of private headers from CCF #22

jeffa5 opened this issue Sep 15, 2022 · 0 comments
Labels
blocked Blocked on another issue TODO Represents a TODO comment in the codebase

Comments

@jeffa5
Copy link
Collaborator

jeffa5 commented Sep 15, 2022

Currently we make use of the untyped map since it implements range but it comes from private includes.

Either we should try to have the untyped map be made public in CCF or find a way to implement range that works with the types so that we can use a typed map.
@jeffa5 jeffa5 added the TODO Represents a TODO comment in the codebase label Sep 23, 2022
@jeffa5 jeffa5 added the blocked Blocked on another issue label Oct 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
blocked Blocked on another issue TODO Represents a TODO comment in the codebase
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jeffa5