Mohamed Iguernlala

When the handling in main_text is simplfied, a particular attention should be given for check and cut commands

Yes, we noticed this and looked at it in the past. We are almost sure that the bug is in the translator.

Here is smaller example that triggers the bug: ``` type t type r = { domn : bool ; card : int } logic a : t logic b :...

Hi @pjljvandelaar , For menhir, it'd be better to google "menhir ocaml" to get accurate results. And more generally, the first step is to have a look to packages available...

incremental mode support is not planned in short or med term :-/