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

Testing tweaks #3517

Merged
merged 20 commits into from
Jan 17, 2022
Merged

Testing tweaks #3517

merged 20 commits into from
Jan 17, 2022

Conversation

yminsky
Copy link
Member

@yminsky yminsky commented Jan 13, 2022

No description provided.

the kind you have in OCaml increases that advantage. And while
type-safe code can easily be wrong, types have a way of increasing the
rigidity of your code, in a way that makes it snap into place with
fewer tests than you might expect. All in, tests magnify the power of
Copy link
Member

Choose a reason for hiding this comment

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

Do you mean 'types magnify the power of' here?

##### `open` and `open!`

In this example, we use `open!` instead of `open` because we happen
not to be usinging any values from `Base`, and so the compiler will
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
not to be usinging any values from `Base`, and so the compiler will
not to be using any values from `Base`, and so the compiler will


But because `Base` is effectively our standard library, we want to
keep it open anyway, since we want any new code we write to find
`Base`'s libraries, not the ordinary OCaml standard library. The
Copy link
Member

Choose a reason for hiding this comment

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

Perhaps refer to Base "modules" here, and not" libraries". We refine that definition later in the platform chapter.

Copy link
Member

@avsm avsm left a comment

Choose a reason for hiding this comment

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

Looks great! Just minor suggestions

@yminsky yminsky merged commit fe722d2 into master Jan 17, 2022
@yminsky yminsky deleted the testing-tweaks branch January 17, 2022 22:45
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