Mercurial > urweb

comparison src/corify.sml @ 149:7420fa18d657

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents eb16f2aadbe9
children 06a98129b23f
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
369 369
370 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => 370 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) =>
371 (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc) 371 (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc)
372 | L.EField (e1, c, {field, rest}) => (L'.EField (corifyExp st e1, corifyCon st c, 372 | L.EField (e1, c, {field, rest}) => (L'.EField (corifyExp st e1, corifyCon st c,
373 {field = corifyCon st field, rest = corifyCon st rest}), loc) 373 {field = corifyCon st field, rest = corifyCon st rest}), loc)
374 | L.ECut (e1, c, {field, rest}) => (L'.ECut (corifyExp st e1, corifyCon st c,
375 {field = corifyCon st field, rest = corifyCon st rest}), loc)
374 | L.EFold k => (L'.EFold (corifyKind k), loc) 376 | L.EFold k => (L'.EFold (corifyKind k), loc)
375 | L.EWrite e => (L'.EWrite (corifyExp st e), loc) 377 | L.EWrite e => (L'.EWrite (corifyExp st e), loc)
376 378
377 fun corifyDecl ((d, loc : EM.span), st) = 379 fun corifyDecl ((d, loc : EM.span), st) =
378 case d of 380 case d of