comparison src/monoize.sml @ 1221:00e628854005

Delete policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 12:38:21 -0400
parents 526575a9537a
children 62af4cacd191
comparison
equal deleted inserted replaced
1220:526575a9537a 1221:00e628854005
3746 case #1 e of 3746 case #1 e of
3747 L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sendClient"), _), _), _), _), _), e) => 3747 L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sendClient"), _), _), _), _), _), e) =>
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) =>
3752 (e, L'.PolDelete)
3751 | _ => (poly (); (e, L'.PolClient)) 3753 | _ => (poly (); (e, L'.PolClient))
3752 3754
3753 val (e, fm) = monoExp (env, St.empty, fm) e 3755 val (e, fm) = monoExp (env, St.empty, fm) e
3754 in 3756 in
3755 SOME (env, 3757 SOME (env,