François Pottier
François Pottier
Hi! My project [Sek](https://gitlab.inria.fr/fpottier/sek/) involves a source file with extension `.cppo.ml`, which needs preprocessing with `cppo`. This file is `src/ShareableChunk.cppo.ml`. In `src/dune`, I have this rule: ``` (rule (targets ShareableChunk.ml)...
When an exercise is written in Markdown (in a file `descr.md`), verbatim text (between backquotes) appears in a larger font than normal text. Ideally all text should be in the...
The title says it all: I have written a grader which works in batch mode (when executed via `learn-ocaml grade`) but fails in the browser (Firefox) with a `Stack_overflow` exception....
For some reason, several modules that exist in OCaml's standard library seem to be missing when executing student code and grading code. I have noted, for instance, that the following...
As far as I can see, infinite loops in student code are not properly detected and interrupted. For instance, suppose the student writes: ``` let rec f () = f...
With most exercises that I have written, the following message appears during grading: ``` La notation prend longtemps, abandonner? ``` The trouble is, the message often seems to appear before...
It would be nice if we could selectively enable certain OCaml warnings (e.g., the unused-value warning) when compiling our code (solution/prelude/prepare/test).
When using the learn-ocaml application, when the mouse cursor enters the code editing pane, it changes into a very thin "text insertion" cursor, which is almost invisible, as it is...
The functions `lookup`, `lookup_student` and `lookup_solution` in module `Test_lib` expect an argument of type `'a Ty.ty`, that is, a runtime representation of the type `'a`. This allows grabbing a value...
When I initially began playing with learn-ocaml in my browser, my browser window was split in two parts, with the code editing pane on the left and the exercise statement...