Do not warn on unused variables

We will get that a lot out of generated code.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add a start state for elaboration tests

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Convert OCaml arrays back to mcl

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add re-parsing of pretty printed input to parser tests

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Better float lexing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix float lexing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix syntax error reporting in embedded expressions

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix pp depth in re-parsing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix error reporting on model parsing

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix pretty printing of models

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>