Nicolas Jeannerod

It looks like beli query's argument are not `EXPECTED TRIES TYPE` but `TRIES EXPECTED TYPE`. For instance, after having defined: ``` nat : type. z : nat. s : nat...

Also build examples in CI

2

I forgot that `make check` does not build the C examples which are our only way to test the C API. One has to try running `make examples` after having...

Not installable through OPAM on bytecode only switches

1

But this is because of Menhir. See https://gitlab.inria.fr/fpottier/menhir/issues/19 for more information.

Hello, This PR tries to provide a way of adding test cases for open bugs. This goes by adding a `.open` file near an existing test case. The tests runner...

On: ``` `a # b` ``` Morbig answers: ``` Line 2, character 0: Lexical error (Unterminated nesting!). ```

<you should not see this>

1

Morbig parses: ``` for a in $(b | c

``` ${a-b | ``` is wrongly accepted by morbig as ``` [ "Word", "${a-b |}", [ [ "WordVariable", [ "VariableAtom", "a", [ "UseDefaultValues", "-", [ "Word", "b |", [ [...

The following ``` $((a) || (b)) ``` is parsed as ``` [ "Word", "$((a) || (b))", [ [ "WordLiteral", "$((a) || (b))" ] ] ] ``` The standard says: >...

Consider the following here document: ``` cat

On: ``` $((((1-2)/3)*4)) ``` Morbig fails with: ``` Line 1, character 17: Lexical error (Unterminated arithmetic expression.). ```