Mercurial > urweb

comparison src/tag.sml @ 1271:503d4ec93494

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow complex attribute records in Tag
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jun 2010 15:46:24 -0400
parents 72670131dace
children 44a12a321150
comparison
equal deleted inserted replaced
1270:9fd0cb0ef6e1 1271:503d4ec93494
158 class), loc), 158 class), loc),
159 (ERecord xets, loc)), loc), 159 (ERecord xets, loc)), loc),
160 tag), loc), 160 tag), loc),
161 xml), s) 161 xml), s)
162 end 162 end
163 | _ => (ErrorMsg.errorAt loc "Attribute record is too complex"; 163 | _ => (e, s))
164 (e, s)))
165 164
166 | EFfiApp ("Basis", "url", [(ERel 0, _)]) => (e, s) 165 | EFfiApp ("Basis", "url", [(ERel 0, _)]) => (e, s)
167 166
168 | EFfiApp ("Basis", "url", [e]) => 167 | EFfiApp ("Basis", "url", [e]) =>
169 let 168 let