From 6a326e3bb3eb16e04f3cca082f0dd67278e85785 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 4 Apr 2010 12:29:34 -0400
Subject: Pushing policies through

---
 src/mono.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 898feb9b..33ab5bd4 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -123,6 +123,8 @@ datatype exp' =
 
 withtype exp = exp' located
 
+datatype policy = PolQuery of exp
+
 datatype decl' =
          DDatatype of (string * int * (string * int * typ option) list) list
        | DVal of string * int * typ * exp * string
@@ -141,6 +143,8 @@ datatype decl' =
 
        | DTask of exp * exp
 
+       | DPolicy of policy
+
 withtype decl = decl' located
 
 type file = decl list
-- 
cgit v1.2.3