-
Notifications
You must be signed in to change notification settings - Fork 90
Dev meeting 2020 08 06
- @jonludlam
- @avsm
- @lpw25
-
@jonludlam to find out status of dune build @doc supporting external libs Not done
-
@jonludlam to post on discuss about plans for replacing ocamldoc plugins Not done
- 'Optimisations PR' merged. Further testing has identified an issue with expansions of functor parameters, which are duplicated.
- 4.12 compatibility. @dra27 has noticed that the new injectivity annotation has changed the typedtree and thus broken the build on 4.12. @avsm - going to need this soon for the ARM mac work.
- Reference driver - ongoing, needs the CLI refactoring work
The Odoc talk has been accepted into OCaml 2020, and the recordings are needed by the end of next week. This is likely to take up most of @jonludlam's time until then.
@avsm - ppxlib docs moving to using ocamldoc markup - it will be using a big duniverse, @nrebours. Also looking at a bidirectional transform between markdown and ocamldoc syntax - @lpw25: you should look at microsoft's stuff for how they do cross-referencing - https://docs.microsoft.com/en-us/contribute/markdown-reference https://docs.microsoft.com/en-us/contribute/how-to-write-links https://docs.microsoft.com/en-us/contribute/code-in-docs
@avsm - tenatitively target OCaml 4.13 for odoc