summaryrefslogtreecommitdiff
path: root/src/urweb.grm
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-13 14:27:29 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-13 14:27:29 -0400
commitfed7038ac8d5e3dddbae85a217abab96f406e02d (patch)
tree4df2911728427b4f84558c03f672ac370427e815 /src/urweb.grm
parent5ea8935a8499c04b5f10e48dd11c35623539b286 (diff)
Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
Diffstat (limited to 'src/urweb.grm')
-rw-r--r--src/urweb.grm9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/urweb.grm b/src/urweb.grm
index c6545f47..1419ef3f 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -246,7 +246,14 @@ fun tnamesOf (e, _) =
| EDisjointApp e => tnamesOf e
| _ => []
-fun classOut (s, pos) = (EVar ([], String.translate (fn #"-" => "_" | ch => str ch) s, Infer), pos)
+fun classOut (s, pos) =
+ let
+ val s = case s of
+ "table" => "tabl"
+ | _ => s
+ in
+ (EVar ([], String.translate (fn #"-" => "_" | ch => str ch) s, Infer), pos)
+ end
fun parseClass s pos =
case String.tokens Char.isSpace s of