summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-11 12:38:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-11 12:38:21 -0400
commitaccb8e1bf49e1c1e8300bda9be3cf72ce592ab44 (patch)
treec7a250099af040fd7ee16b03be72b7037e71d515 /src/monoize.sml
parent7b4f69ace67601a0f22de52f91f96deff540fd37 (diff)
Delete policies
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 5bdc2aa2..4a11b12d 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3748,6 +3748,8 @@ fun monoDecl (env, fm) (all as (d, loc)) =
(e, L'.PolClient)
| L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayInsert"), _), _), _), _), _), e) =>
(e, L'.PolInsert)
+ | L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "mayDelete"), _), _), _), _), _), e) =>
+ (e, L'.PolDelete)
| _ => (poly (); (e, L'.PolClient))
val (e, fm) = monoExp (env, St.empty, fm) e