Hi all, I have forked OCaml to add functor, applicative, and monad interfaces to the standard library. The Applicative module depends on the Functor module, and when I try to build the standard library, the compiler emits an error that the Functor module is unbound upon reaching the applicative.mli…

Thank you @gasche and @octachron for your help. When I rebuilt the compiler after adding each module, I didn’t have any major build issues. I have now made a pull request: https://github.com/ocaml/ocaml/pull/1920 . I will also make a pull request improving the hacking documentation.

Okay, after some more troubleshooting, I found out something that may be important. When I run make functor.cmi, the Applicative module builds, but when I run make stdlib__functor.cmi, it does not. Alternatively, if I refer to Stdlib__functor instead of Functor in applicative.mli and applicative.ml,…

I would try first to build the compiler distribution without any patches, directly from trunk or 4.07. Then, you have the tooling in place, you can checkout your branch and try building there as well. As you noticed, you now need to add an alias in Stdlib (and your file names should be . Because the…

@gasche Thank you so much for helping me. I don’t know what broke with the Sys module, but it isn’t a problem after I recloned the repo. Right now, the standard library successfully builds when I run make all and all of my modules have .cmi, .cmo, .cmti, and .cmt files in the directory. However, …

What is the precise error? Does make world build? Did you rebuild all dependencies with make alldepends? Did you add the functor cmo to the stdlib Makefile?

Thank you @octachron . make world does not build either, and when I try to run make alldepends, make says that alldepends is not a target. I have done make depend. I have edited the files stdlib/Makefile, otherlibs/thread/Makefile, and stdlib/StdlibModules to add the appropriate names. Additionally…

I realized that I forgot to remove a reference to Stdlib__functor in applicative.ml from when I was troubleshooting, and I think that leaving it may have messed up the build and caused the errors. However, I’m not sure. I recloned OCaml and moved my changes over. I read @gasche ’s advice, but found …

I you commit your changes (even partially broken) and push it to a personal clone of the OCaml repository, we could clone it and have a look. Your pain now could be turned into valuable experience for others by writing down the steps that you needed to add new stdlib modules in a stdlib/HACKING.ado…

[image] TheAspiringHacker: I am basing my changes off of c-cube’s Seq commits. Has the process for adding modules changed in the meantime? You might also want to have look to the PR for adding the Float module .

Thanks! I noticed that $(LIB)/$(P)float.cmo wasn’t added to otherlibs/threads/Makefile… :confused:

Help wanted with building the standard library with modification

Learning

TheAspiringHacker July 18, 2018, 4:23pm 11

@gasche Thank you; here is my commit: https://github.com/TheAspiringHacker/ocaml/commit/3fa28725662e0d127303bacda8a31028ff0b7a8c

Topic		Replies	Views
Unbound module Stdllib Learning	13	6872	February 13, 2020
Cross compile legacy version compiler-libs.common using later version OCaml Learning build	6	860	February 13, 2021
How to use `make depend` in the OCaml project? Community build	7	1090	July 30, 2020
What is the preferable solution for the role of standard library? Learning core , standardlibrary	37	9700	December 22, 2017
Functor unbound value Learning	6	427	October 14, 2024

Help wanted with building the standard library with modification

Related topics