From 64169805c117326ccd9af8198cd16d581cc25c2d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 6 Dec 2013 08:44:26 -0500 Subject: Add 'xhead' case to Monoize --- src/monoize.sml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/monoize.sml') diff --git a/src/monoize.sml b/src/monoize.sml index 3df6ec92..228d22cd 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -215,6 +215,7 @@ fun monoType env = | 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) -- cgit v1.2.3