diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-12-31 09:04:35 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-12-31 09:04:35 -0500 |
| commit | 69a06c39e1156fc1f252af61b05af210a4475872 (patch) | |
| tree | 3c7f43ac5ab1abc9ad03dee9f0f35b2e914fae08 /src | |
| parent | 53c633b53e8825cb9058fb88e86d1ca7828b83e6 (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.sml | 7 |
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) |