[~]> echo "let #asd" >> test.iml
[~]> ocamlmerlin single errors -open Imandra_prelude -reader imandra -protocol sexp < test.iml
((assoc) (class . "exception") (value . "Extend_driver.Extension(\"imandra\", \"Syntaxerr.Error\", \"Syntaxerr.Error(_)\")
Raised at file \"src/extend/extend_driver.ml\", line 41, characters 6-43
Called from file \"src/kernel/mreader_extend.ml\", line 74, characters 4-274
Called from file \"src/ocaml/utils/misc.ml\", line 30, characters 20-27
Re-raised at file \"src/ocaml/utils/misc.ml\", line 30, characters 50-57
Called from file \"src/kernel/mreader.ml\", line 159, characters 4-84
Called from file \"src/kernel/mpipeline.ml\", line 88, characters 19-68
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"src/kernel/mpipeline.ml\", line 13, characters 10-22
Re-raised at file \"src/kernel/mpipeline.ml\", line 15, characters 34-49
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"src/kernel/mpipeline.ml\", line 13, characters 10-22
Re-raised at file \"src/kernel/mpipeline.ml\", line 15, characters 34-49
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"src/kernel/mpipeline.ml\", line 13, characters 10-22
Re-raised at file \"src/kernel/mpipeline.ml\", line 15, characters 34-49
Called from file \"camlinternalLazy.ml\", line 27, characters 17-27
Re-raised at file \"camlinternalLazy.ml\", line 34, characters 4-11
Called from file \"src/kernel/mpipeline.ml\" (inlined), line 77, characters 21-30
Called from file \"src/frontend/query_commands.ml\", line 64, characters 14-45
Called from file \"src/frontend/new/new_commands.ml\", line 64, characters 15-53
Called from file \"src/utils/std.ml\", line 654, characters 8-12
Re-raised at file \"src/utils/std.ml\", line 656, characters 30-39
Called from file \"src/ocaml/utils/misc.ml\", line 30, characters 20-27
Re-raised at file \"src/ocaml/utils/misc.ml\", line 30, characters 50-57
Called from file \"src/frontend/new/new_merlin.ml\", line 97, characters 18-54
") (notifications) (timing (assoc) (total . 0.705) (query . 0.137) (reader . 0.555) (ppx . 0.009) (typer . 0.004) (error . 0.)))