Mercurial > urweb

comparison src/cjrize.sml @ 297:59dc042629b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents df00701f2323
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
209 end 209 end
210 val (pc, sm) = cifyPatCon (pc, sm) 210 val (pc, sm) = cifyPatCon (pc, sm)
211 in 211 in
212 ((L'.ECon (dk, pc, eo), loc), sm) 212 ((L'.ECon (dk, pc, eo), loc), sm)
213 end 213 end
214 | L.ENone t =>
215 let
216 val (t, sm) = cifyTyp (t, sm)
217 in
218 ((L'.ENone t, loc), sm)
219 end
214 | L.ESome (t, e) => 220 | L.ESome (t, e) =>
215 let 221 let
216 val (t, sm) = cifyTyp (t, sm) 222 val (t, sm) = cifyTyp (t, sm)
217 val (e, sm) = cifyExp (e, sm) 223 val (e, sm) = cifyExp (e, sm)
218 in 224 in