-
Notifications
You must be signed in to change notification settings - Fork 88
Dev meeting 2020 08 06
Jon Ludlam edited this page Aug 6, 2020
·
2 revisions
-
@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.
- 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.