Emile Trotignon
Emile Trotignon
When you use the CLI in toplevel mode : ```bash $ sherlodoc search ``` You can type search queries and get results. However, you might want to type a query,...
Currently, the webserver requests that are slow can never be timed out. This is a bad thing because if we have a performance bug, the server could be like dead...
For now, there are two kinds of search tests : search in made up libraries, and search in the [base library](https://opensource.janestreet.com/base/). It would be beneficial to test the search on...
The string_automata module should have a printer, that would used in unit-tests. The representation should be human-readable, this will make the tests useful as documenation, and a failing test will...
The file type_polarities is a critical part of sherlodoc, but it is not tested. Such tests would be primarily useful as documentation that is guaranteed to stay up to date....
Base.Nothing.t (https://ocaml.org/p/base/v0.16.3/doc/Base/Nothing/index.html) should be displayed as such : ``` type Base.Nothing.t = | ``` it is displayed like that : ``` type Base.Nothing.t = ```
Currently, the code in jsoo/odoc_html_frontend.ml is duplicated from odoc. It has a slightly different type that allows for smaller js_of_ocaml executable size. We should remove this duplication once the optim...
gnome shell 46 was released recently and seems to breaks material-shell. Here is a journal : https://gist.github.com/EmileTrotignon/6edbff319a489648eca29f6b04f1095b I use wayland.
This adds config for the debuger provided by the earlybird vscode extension. There might be some issues with enabling bytecode mode, but I do not know of any. Its very...
This adds support for the future odoc 3, which include generating .odoc-index files for sherlodoc to consume instead of consuming .odocl files directly. It works with the following odoc PR...