Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1760:74fcc977a13d 1761:f8ddaa296115
244 end 244 end
245 | ECApp (e, _) => tnamesOf e 245 | ECApp (e, _) => tnamesOf e
246 | EDisjointApp e => tnamesOf e 246 | EDisjointApp e => tnamesOf e
247 | _ => [] 247 | _ => []
248 248
249 fun classOut (s, pos) = (EVar ([], String.translate (fn #"-" => "_" | ch => str ch) s, Infer), pos) 249 fun classOut (s, pos) =
250 let
251 val s = case s of
252 "table" => "tabl"
253 | _ => s
254 in
255 (EVar ([], String.translate (fn #"-" => "_" | ch => str ch) s, Infer), pos)
256 end
250 257
251 fun parseClass s pos = 258 fun parseClass s pos =
252 case String.tokens Char.isSpace s of 259 case String.tokens Char.isSpace s of
253 [] => (EVar (["Basis"], "null", Infer), pos) 260 [] => (EVar (["Basis"], "null", Infer), pos)
254 | class :: classes => 261 | class :: classes =>