Erik Martin-Dorel

Hi @EmileRolley, > I don't really get how waiting will make easier the transition? Indeed, there will always be one open PR that will delay it, no? Sure! But it...

Hi all, I've tried 2 different fixes in this PR (tweak `Lwt_utils.mkdir_p` (in my reverted commit) or just calling `Lwt_utils.mkdir_p` once more). Both fix the issue mentioned in `issue #414`:...

@Aleridia volunteers to take a look at this issue (which will be a first step towards implementing the other User Stories Maxime is working on). At first sight, the implementation...

Hi @yurug, thanks for your comments. > As a matter of fact, I do not experience this issue. How many students do you have? ~160 students > The definition of...

Anyway, are you in favor of the solution outlined in https://github.com/ocaml/opam/issues/4203#issuecomment-631510157 ? namely: * keep the `/sync` structure as is; * add an index database (using e.g. `irmin`) that gathers...

(we can also plan some phone call next week if you want to discuss this in more depth)

@yurug indeed, Merlin is currently not aware of the signature of `Test_lib`, but I'm rather unsure it would be feasible to implement it using `.merlin`, because AFAICT `test.ml` is not...

FYI this feature can be tested in the live demo of learn-ocaml-editor (currently version 0.4.0) here: https://pfitaxel.github.io/pfitaxel-demo/ and as an accompanying documentation there is a stepwise tutorial here: https://github.com/pfitaxel/learn-ocaml-editor/wiki/Demos-2018-W28 (although...

Hi @yurug, > I do not understand why we cannot compile a fake .mli file for the sole purpose of informing merlin about what can be expected in Test_lib. OK...

Dear @adhameer, @hannelita, @yurug, and all people interested in this feature, FYI this use case (multi-part exercises) appears to be quite close to the use case #395 (dual-grader exercise), so...