summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-12-31 09:04:35 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-12-31 09:04:35 -0500
commitf4c6e88c08fb5f27377e1a98f6e53f4dcedf8f5d (patch)
tree3c7f43ac5ab1abc9ad03dee9f0f35b2e914fae08 /src
parent0d0542b8a16dab4df999df580c78dfe52a340363 (diff)
Add more HTML singleton tags, anticipating that others may make them available via the FFI
Diffstat (limited to 'src')
-rw-r--r--src/monoize.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index d324b235..e07c0c90 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -90,7 +90,12 @@ val singletons = SS.addList (SS.empty,
"hr",
"input",
"button",
- "img"])
+ "img",
+ "base",
+ "meta",
+ "param",
+ "area",
+ "col"])
val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)