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

Make Result and ReedlineError public #661

Merged
merged 3 commits into from
Nov 11, 2023
Merged

Conversation

ClementNerma
Copy link
Contributor

@ClementNerma ClementNerma commented Nov 11, 2023

Allows implementing custom History types

Closes #545

Clément Nerma added 2 commits November 11, 2023 11:07
Allows implementing custom `History` types
@fdncred
Copy link
Collaborator

fdncred commented Nov 11, 2023

Seems reasonable, just need to fix the CI errors.

Copy link

codecov bot commented Nov 11, 2023

Codecov Report

Merging #661 (35ef09c) into main (c853d71) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #661   +/-   ##
=======================================
  Coverage   49.22%   49.22%           
=======================================
  Files          43       43           
  Lines        7912     7912           
=======================================
  Hits         3895     3895           
  Misses       4017     4017           
Files Coverage Δ
src/result.rs 0.00% <ø> (ø)

@ClementNerma
Copy link
Contributor Author

@fdncred fixed!

@fdncred fdncred merged commit 16ac441 into nushell:main Nov 11, 2023
8 checks passed
@fdncred
Copy link
Collaborator

fdncred commented Nov 11, 2023

Thanks

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.

Cannot implement custom History: ReedlineError is private
2 participants