Mercurial > urweb
comparison src/corify.sml @ 149:7420fa18d657
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 |