golem
/
Math
9
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

missing TEX_FUN1nb in html_render_deep() 

The new TEX_FUN1nb introduced by r99741 was not added to the
html_render_deep() pattern matching list. This was spotted by
an ocaml compilation warning:

 File "html.ml", line 74, characters 31-2966:
 Warning 8: this pattern-matching is not exhaustive.
 Here is an example of a value that is not matched:
 TEX_FUN1nb (_, _)::_
This commit is contained in:
Antoine Musso 2011-11-15 17:26:28 +00:00
parent 672be6a3a1
commit 040710a2f9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/html.ml
View File

@ -102,6 +102,7 @@ let rec html_render_deep ctx = function
| TEX_BOX (_,s)::r -> ("",s,"")::html_render_deep ctx r
| TEX_LITERAL (TEX_ONLY _)::_ -> raise Too_difficult_for_html
| TEX_FUN1 _::_ -> raise Too_difficult_for_html
| TEX_FUN1nb _::_ -> raise Too_difficult_for_html
| TEX_FUN2 _::_ -> raise Too_difficult_for_html
| TEX_FUN2nb _::_ -> raise Too_difficult_for_html
| TEX_FUN2sq _::_ -> raise Too_difficult_for_html