Armaël Guéneau

I think it would be nicer to have an `Svg` module indeed! I'll look into that instead.

I'd be curious to know if https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/729 helps a bit?

Nice, thanks for the comparison runs and for the details!

While refactoring my code, I found an other issue that is maybe related (?): ``` Record type : Type := Pack { sort : Type }. Coercion sort : type...

Ah, thanks a lot for the explanation!

I'm wondering why `simple apply` fails in `hints'`, while I can manually prove the goal by calling `simple apply R_refl`? EDIT: ah this is probably what @Zimmi48 was mentionning; ie...

In fact, in (eg) prepare.ml, you can do `#install_printer your_printer;;` : this will register your printer, which will be used in the test reports and in the toplevel.

If `test.ml` is a file containing the snippet above, then I can reproduce the error by running ``` ocamlfind ocamlc -package tyxml.ppx -c test.ml ``` with both Tyxml 4.1.0 and...

I also just hit this issue, on a longer input (~350 bytes) but with the same error: ``` exception Zed_string.Invalid("at position 331: individual combining marks encountered", "val contents : string...

I'm observing a crash that might be similar (using utop 2.9.0 and ocaml 4.13.1): ``` # open CamlinternalFormatBasics;; (* note: exportes a GADT with a constructor named Format *) #...