Erik Martin-Dorel
Erik Martin-Dorel
(As an aside, the runnning example (`exercises involving modules`) in @adhameer's post does not necessarily require some multi-part exercise support: it appears we can implement a single grader with independent...
Hi @yurug @YoanwM, following our last video meeting and for the record, here is the recap of the format we finally proposed for `subindex.json` :relieved: ### Grammar of `subindex.json`: ```js...
Hi @dborisog, > While going through the exercises available in the demo of the platform ( https://ocaml-sf.org/learn-ocaml-public/ ), I found a grading problem in the "Time of Planet Shadokus" exercise....
Hi @adhameer, This issue is also blocking for us (cf. https://github.com/ocaml-sf/learn-ocaml/issues/207#issuecomment-508275838 for more context). So I'll try to adapt our graders to workaround this unexpected `Failure` in the reports with...
Hi @dmoon1221, thanks a lot for your report! > As a temporary workaround, how can I clear the previously cached build state? I didn't attempt to reproduce it yet, but...
OK, thanks for your feedback! Regarding your other remark, BTW: > We're using our own fork of learn-ocaml, the tiny difference from current master being a modification to the compile...
This looks like a sensible suggestion, thanks. but I'm pretty sure not all people would like to typecheck the `template.ml` files as well. what about a CLI option (disabled by...
BTW you might be interested in the `learn-ocaml-editor` webapp (statically deployed at https://pfitaxel.github.io/pfitaxel-demo/#activity%3Deditor ; soon to be integrated in learn-ocaml:master so that any `Test_lib` improvement is taken into account): In...
@d12 OK I see; thanks for your reply! But beyond the fact the current behavior is not intuitive, are you sure this couldn't also trigger an issue regarding the maximum-number-of-members-per-team...
Hi @JasonGross, thanks for the ping! It happens we briefly discussed this with @Zimmi48 a few days ago :) we were not sure whether disabling warnings annotations would be a...