Mercurial > urweb

comparison src/tag.sml @ 1646:ca3b73a7b4d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Get a few more source files up-to-date with change to [tag] type
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Dec 2011 18:05:27 -0500
parents 3621f486ce72
children 0577be31a435
comparison
equal deleted inserted replaced
1645:b71cc5ec59b3 1646:ca3b73a7b4d0
107 case e of 107 case e of
108 EApp ( 108 EApp (
109 (EApp ( 109 (EApp (
110 (EApp ( 110 (EApp (
111 (EApp ( 111 (EApp (
112 (ECApp ( 112 (EApp (
113 (ECApp ( 113 (ECApp (
114 (ECApp ( 114 (ECApp (
115 (ECApp ( 115 (ECApp (
116 (ECApp ( 116 (ECApp (
117 (ECApp ( 117 (ECApp (
118 (ECApp ( 118 (ECApp (
119 (ECApp ( 119 (ECApp (
120 (EFfi ("Basis", "tag"), 120 (ECApp (
121 loc), given), _), absent), _), outer), _), inner), _), 121 (EFfi ("Basis", "tag"),
122 useOuter), _), useInner), _), bindOuter), _), bindInner), _), 122 loc), given), _), absent), _), outer), _), inner), _),
123 class), _), 123 useOuter), _), useInner), _), bindOuter), _), bindInner), _),
124 class), _),
125 dynClass), _),
124 attrs), _), 126 attrs), _),
125 tag), _), 127 tag), _),
126 xml) => 128 xml) =>
127 (case attrs of 129 (case attrs of
128 (ERecord xets, _) => 130 (ERecord xets, _) =>
147 in 149 in
148 (EApp ( 150 (EApp (
149 (EApp ( 151 (EApp (
150 (EApp ( 152 (EApp (
151 (EApp ( 153 (EApp (
152 (ECApp ( 154 (EApp (
153 (ECApp ( 155 (ECApp (
154 (ECApp ( 156 (ECApp (
155 (ECApp ( 157 (ECApp (
156 (ECApp ( 158 (ECApp (
157 (ECApp ( 159 (ECApp (
158 (ECApp ( 160 (ECApp (
159 (ECApp ( 161 (ECApp (
160 (EFfi ("Basis", "tag"), 162 (ECApp (
161 loc), given), loc), absent), loc), outer), loc), inner), loc), 163 (EFfi ("Basis", "tag"),
162 useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), 164 loc), given), loc), absent), loc), outer), loc), inner), loc),
163 class), loc), 165 useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc),
166 class), loc), dynClass), loc),
164 (ERecord xets, loc)), loc), 167 (ERecord xets, loc)), loc),
165 tag), loc), 168 tag), loc),
166 xml), s) 169 xml), s)
167 end 170 end
168 | _ => (e, s)) 171 | _ => (e, s))