Mercurial > urweb
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, |