Skip to content

Simplify getindex and remove usage of getkey#48

Open
LilithHafner wants to merge 1 commit intoRoboticExplorationLab:mainfrom
LilithHafner:patch-1
Open

Simplify getindex and remove usage of getkey#48
LilithHafner wants to merge 1 commit intoRoboticExplorationLab:mainfrom
LilithHafner:patch-1

Conversation

@LilithHafner
Copy link

The usage of getkey here is a roundabout way of writing haskey. This is simpler and avoids the use of getkey, an obscure function that is rarely useful and less likely to be as well maintained or efficiently implemented as haskey.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant