Mercurial > meta

comparison html.ur @ 18:6cd839818393

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust to name change for [Top.id]
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Dec 2011 14:15:02 -0500
parents 1a915f89f23a
children 693ab4dd1e9e
comparison
equal deleted inserted replaced
17:1a915f89f23a 18:6cd839818393
108 case doAttrs (ch, post, @map0 [option] (fn [t :: Type] => None) 108 case doAttrs (ch, post, @map0 [option] (fn [t :: Type] => None)
109 meta.Folder) of 109 meta.Folder) of
110 Good (ats, post) => 110 Good (ats, post) =>
111 let 111 let
112 val ats = 112 val ats =
113 @map2 [attribute] [option] [id] 113 @map2 [attribute] [option] [ident]
114 (fn [t] meta v => 114 (fn [t] meta v =>
115 case v of 115 case v of
116 None => error <xml>Missing attribute {[meta.Nam]} 116 None => error <xml>Missing attribute {[meta.Nam]}
117 for {[tname]}</xml> 117 for {[tname]}</xml>
118 | Some v => v) 118 | Some v => v)