Skip to content
This repository has been archived by the owner on Aug 4, 2023. It is now read-only.

safeSucc, safePred should be renamed #27

Open
okuzawats opened this issue Apr 9, 2021 · 0 comments
Open

safeSucc, safePred should be renamed #27

okuzawats opened this issue Apr 9, 2021 · 0 comments
Labels
good first issue Good for newcomers

Comments

@okuzawats
Copy link
Contributor

because safeSucc and safePred throws an exception, it's not safe...
they should be renamed to succOrThrow and predOrThrow, or else.
@okuzawats okuzawats added the good first issue Good for newcomers label Apr 9, 2021
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Assignees
No one assigned
Labels
good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@okuzawats