Skip to content

SelectionSearch / Remove unsafe calls to .head and .tail#35

Open
mycaule wants to merge 5 commits intovkostyukov:masterfrom
mycaule:patch-1
Open

SelectionSearch / Remove unsafe calls to .head and .tail#35
mycaule wants to merge 5 commits intovkostyukov:masterfrom
mycaule:patch-1

Conversation

@mycaule
Copy link

@mycaule mycaule commented Jan 28, 2019 •
edited
Loading

  • used a pattern matching structure to verify the elements are not invalid
  • indented the first function to make the whole thing more readable

@mycaule mycaule changed the title Remove unsafe calls to .get Remove unsafe calls to .head and .tail Jan 28, 2019
@mycaule mycaule changed the title Remove unsafe calls to .head and .tail SelectionSearch / Remove unsafe calls to .head and .tail Jan 28, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@mycaule