Mercurial > urweb

comparison src/tag.sml @ 140:f214c535d253

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A simpler context encoding
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Jul 2008 10:40:25 -0400
parents 76a4d69719d8
children 4b9c2bd6157c
comparison
equal deleted inserted replaced
139:adfa2c7a75da 140:f214c535d253
48 (EApp ( 48 (EApp (
49 (ECApp ( 49 (ECApp (
50 (ECApp ( 50 (ECApp (
51 (ECApp ( 51 (ECApp (
52 (ECApp ( 52 (ECApp (
53 (EFfi ("Basis", "tag"), 53 (ECApp (
54 loc), given), _), absent), _), outer), _), inner), _), 54 (ECApp (
55 (ECApp (
56 (ECApp (
57 (EFfi ("Basis", "tag"),
58 loc), given), _), absent), _), outer), _), inner), _),
59 useOuter), _), useInner), _), bindOuter), _), bindInner), _),
55 attrs), _), 60 attrs), _),
56 tag), _), 61 tag), _),
57 xml) => 62 xml) =>
58 (case attrs of 63 (case attrs of
59 (ERecord xets, _) => 64 (ERecord xets, _) =>
111 (EApp ( 116 (EApp (
112 (ECApp ( 117 (ECApp (
113 (ECApp ( 118 (ECApp (
114 (ECApp ( 119 (ECApp (
115 (ECApp ( 120 (ECApp (
116 (EFfi ("Basis", "tag"), 121 (ECApp (
117 loc), given), loc), absent), loc), outer), loc), inner), loc), 122 (ECApp (
123 (ECApp (
124 (ECApp (
125 (EFfi ("Basis", "tag"),
126 loc), given), loc), absent), loc), outer), loc), inner), loc),
127 useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc),
118 (ERecord xets, loc)), loc), 128 (ERecord xets, loc)), loc),
119 tag), loc), 129 tag), loc),
120 xml), s) 130 xml), s)
121 end 131 end
122 | _ => (ErrorMsg.errorAt loc "Attribute record is too complex"; 132 | _ => (ErrorMsg.errorAt loc "Attribute record is too complex";