diff options
| author | Jessica Clarke | 2020-09-21 03:42:58 +0100 |
|---|---|---|
| committer | Jessica Clarke | 2020-09-21 03:42:58 +0100 |
| commit | 3bbf63a126c48ab9368c0754ff32f1661b184843 (patch) | |
| tree | 8092628315f9ab0b584c4bcb53b8f68263361f9b /src | |
| parent | 1c14f5e373059fb00fce46f92ec75522f562aca1 (diff) | |
latex: Dump out S-Expr of any unhandled markdown
Printing the text is only so helpful; the most important thing to know
is what kind of element it actually is, which is lost when extracting
the text. Instead, print the whole S-Expr.
Diffstat (limited to 'src')
| -rw-r--r-- | src/latex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/latex.ml b/src/latex.ml index 9f5979c1..d521a108 100644 --- a/src/latex.ml +++ b/src/latex.ml @@ -260,7 +260,7 @@ let latex_of_markdown str = ^ "\n\\end{itemize}" | Br -> "\n" | NL -> "\n" - | elem -> failwith ("Can't convert to latex: " ^ to_text [elem]) + | elem -> failwith ("Can't convert to latex: " ^ Omd_backend.sexpr_of_md [elem]) and format elems = String.concat "" (List.map format_elem elems) |
