Yann Régis Gianas

Positions are still wrong

1

The column numbers of starting position are still wrong, as demonstrated by the following example: ``` true ``` which produces the following JSON for the word `true`: ``` "CmdName_Word", {...

This would require a better encapsulation of the lexing buffer.

Feature request: Minimal typed hole completion

1

`( ?? )` is a nice way to put a typed hole in a source program especially when doing type-directed programming. The next step would be to introduce `(merlin-fill-typed-hole)` to...

Allow the teacher to edit students answers

1

Currently, students' answers are read-only. It would be handy for a teacher to be able to annotate them to give some feedback about the code.

Hints in exercise statements

1

I would be nice to mark some part of the exercise statement as "hint" that is hidden by default and revealed only when the student decides she needs some help.

Create the official website

2

Create a website: - to get installation instructions ; - to browse documentation.

Requirements in terms of resources

2

Which server requirements (RAM, CPUs, etc) should be allocated to learn-ocaml instances? I guess it depends on the number of users interacting with the platform. We probably need a basic...

If an index.json is prepared for a semester, it would be nice to be able to declare when a given group of exercises is visible during the semester.

Create and install a test_lib.cmi file

6

When we develop graders, it would be convenient to have .merlin know the signature of `Test_lib`. We should probably compile `Test_lib` interface and install the resulting `cmi` file in the...

At some point, we should check if the learn-ocaml webapp has any memory leak, maybe using the following tool: http://plasma-umass.org/BLeak/