Mercurial > urweb

comparison src/monoize.sml @ 1223:62af4cacd191

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 13:11:25 -0400
parents 00e628854005
children a2cd6664f57f
comparison
equal deleted inserted replaced
1222:117f13bdc1fd 1223:62af4cacd191
3748 (e, L'.PolClient) 3748 (e, L'.PolClient)
3749 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayInsert"), _), _), _), _), _), e) => 3749 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayInsert"), _), _), _), _), _), e) =>
3750 (e, L'.PolInsert) 3750 (e, L'.PolInsert)
3751 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayDelete"), _), _), _), _), _), e) => 3751 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayDelete"), _), _), _), _), _), e) =>
3752 (e, L'.PolDelete) 3752 (e, L'.PolDelete)
3753 | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayUpdate"), _), _), _), _), _), e) =>
3754 (e, L'.PolUpdate)
3753 | _ => (poly (); (e, L'.PolClient)) 3755 | _ => (poly (); (e, L'.PolClient))
3754 3756
3755 val (e, fm) = monoExp (env, St.empty, fm) e 3757 val (e, fm) = monoExp (env, St.empty, fm) e
3756 in 3758 in
3757 SOME (env, 3759 SOME (env,