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

Add Choice teq #8

Merged
merged 3 commits into from
May 30, 2024
Merged

Add Choice teq #8

merged 3 commits into from
May 30, 2024

Conversation

Smaug123
Copy link
Contributor

@Smaug123 Smaug123 commented May 29, 2024

Also includes some reformatting of the TestPatterns file while I was at it. Probably view with ?w=1.

@Smaug123 Smaug123 requested review from a team as code owners May 29, 2024 22:22
zuqq
zuqq previously approved these changes May 30, 2024
ShapeSifter/TeqCrates.fsi Outdated Show resolved Hide resolved
ShapeSifter/TeqCrates.fsi Outdated Show resolved Hide resolved
@@ -114,6 +114,32 @@ module OptionTeqCrate =
/// Otherwise, returns None.
val tryMake : unit -> 'a OptionTeqCrate option

/// The type of values that act on a ChoiceTeqEvaluator.
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
/// The type of values that act on a ChoiceTeqEvaluator.

I appreciate that you're just following the existing comment structure here, but I don't think this sentence makes sense—if anything, it seems to me like values of this type act on the content of a Choice2TeqCrate.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was very unlucky in what I chose to copy-paste, it turns out! Most of the other cases of this are fine.

Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah, I only actually scrolled up to OptionTeqEvaluator!

ShapeSifter/TeqCrates.fsi Outdated Show resolved Hide resolved
ShapeSifter/TeqCrates.fsi Outdated Show resolved Hide resolved
@Smaug123 Smaug123 merged commit 503d656 into main May 30, 2024
12 checks passed
@Smaug123 Smaug123 deleted the choice branch May 30, 2024 21:31
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.

2 participants