Mercurial > urweb

diff src/monoize.sml @ 1921:312b62cdaa48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add 'xhead' case to Monoize
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Dec 2013 08:44:26 -0500
parents 434921f54f54
children f1c211936557
line wrap: on
line diff
--- a/src/monoize.sml	Tue Dec 03 16:54:04 2013 -0500
+++ b/src/monoize.sml	Fri Dec 06 08:44:26 2013 -0500
@@ -215,6 +215,7 @@
 
                   | L.CFfi ("Basis", "unit") => (L'.TRecord [], loc)
                   | L.CFfi ("Basis", "page") => (L'.TFfi ("Basis", "string"), loc)
+                  | L.CFfi ("Basis", "xhead") => (L'.TFfi ("Basis", "string"), loc)
                   | L.CFfi ("Basis", "xbody") => (L'.TFfi ("Basis", "string"), loc)
                   | L.CFfi ("Basis", "xtable") => (L'.TFfi ("Basis", "string"), loc)
                   | L.CFfi ("Basis", "xtr") => (L'.TFfi ("Basis", "string"), loc)