Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix copy-paste naming errors (xor -> validated) #685

Merged
merged 1 commit into from
Nov 19, 2015

Conversation

ms-tg
Copy link
Contributor

@ms-tg ms-tg commented Nov 19, 2015

Am I correct in assuming that these were:

  1. supposed to say "validated"
  2. probably copy-paste errors
  3. in any case, not semantically meaningful, as they are usually imported as a group of implicits rather than individually?

Am I correct in assuming that these were:
  1.  supposed to say "validated"
  2.  probably copy-paste errors
  3.  in any case, not semantically meaningful, as they are usually imported as a group of implicits rather than individually?
@ceedubs
Copy link
Contributor

ceedubs commented Nov 19, 2015

I'm pretty sure the answer the answer to all 3 questions is yes.

Thanks! 👍

@codecov-io
Copy link

Current coverage is 83.76%

Merging #685 into master will not affect coverage as of b87e0d2

@@            master    #685   diff @@
======================================
  Files          162     162       
  Stmts         2217    2217       
  Branches        74      74       
  Methods          0       0       
======================================
  Hit           1857    1857       
  Partial          0       0       
  Missed         360     360       

Review entire Coverage Diff as of b87e0d2

Powered by Codecov. Updated on successful CI builds.

@adelbertc
Copy link
Contributor

👍

adelbertc added a commit that referenced this pull request Nov 19, 2015
Fix copy-paste naming errors (xor -> validated)
@adelbertc adelbertc merged commit d2a62be into typelevel:master Nov 19, 2015
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants