Mercurial > urweb

diff src/urweb.grm @ 1761:f8ddaa296115

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
author Adam Chlipala <adam@chlipala.net>
date Sun, 13 May 2012 14:27:29 -0400
parents acadf9d1214a
children 8f28c3295148
line wrap: on
line diff
--- a/src/urweb.grm	Sat May 12 15:22:39 2012 -0400
+++ b/src/urweb.grm	Sun May 13 14:27:29 2012 -0400
@@ -246,7 +246,14 @@
       | 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