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.

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

Dict abstract optional inf children #87

Merged
merged 32 commits into from
Aug 20, 2021

Conversation

TheJJ
Copy link
Member

@TheJJ TheJJ commented Feb 16, 2021

Updated version of #84:

fixes #68

@TheJJ TheJJ mentioned this pull request Feb 16, 2021
8 tasks
@TheJJ TheJJ force-pushed the dict-abstract-optional-inf-children branch from be5ec62 to e96b1d6 Compare February 16, 2021 22:30
@TheJJ
Copy link
Member Author

TheJJ commented Mar 29, 2021

TODO: "correct" infinity handling. When assigning a float inf to an int value and vice versa, funny things would have happened.

@TheJJ TheJJ force-pushed the dict-abstract-optional-inf-children branch from 1a375ef to 7389426 Compare May 28, 2021 23:51
@TheJJ
Copy link
Member Author

TheJJ commented May 28, 2021

TODO: the none ops have to be handled by the nested types and not each type individually

@TheJJ TheJJ added the kevin-rebuild-pl0x instruct kevin to rebuild the given pull request label May 29, 2021
@SFTbot SFTbot removed the kevin-rebuild-pl0x instruct kevin to rebuild the given pull request label May 29, 2021
@TheJJ TheJJ force-pushed the dict-abstract-optional-inf-children branch from 7389426 to b509fbb Compare August 18, 2021 23:32
heinezen
heinezen previously approved these changes Aug 19, 2021
@TheJJ TheJJ added the kevin-rebuild-pl0x instruct kevin to rebuild the given pull request label Aug 20, 2021
@SFTbot SFTbot removed the kevin-rebuild-pl0x instruct kevin to rebuild the given pull request label Aug 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c++ involves C++ code nice new thing ☺ adds new functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Dict and dict operations
3 participants