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

Example in "Functors" #3641

Open
benjub opened this issue Jun 16, 2022 · 0 comments
Open

Example in "Functors" #3641

benjub opened this issue Jun 16, 2022 · 0 comments

Comments

@benjub
Copy link
Contributor

benjub commented Jun 16, 2022

In "Functors", it is written

In order to apply the functor, we'll put the definition of Fqueue in a submodule called T, and then call Foldable.Extend on T:

but there is no mention of T in the example following that line. In the examples/ subdirectory of that chapter, that code is in the file extended_fqueue.ml.

On a few occasions, I found it a bit difficult to know which code snippet should be written in which file (admittedly, that information can be found by browsing the directories in this repository). In some places, I've seen code snippets written with the information of the file where they appear:

(* extended_fqueue.ml *)
include Fqueue
include Foldable.Extend(Fqueue)
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

No branches or pull requests

1 participant