Mercurial > urweb
diff src/mono.sml @ 1199:c316ca3c9ec6
Pushing policies through
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 12:29:34 -0400 |
parents | 7a31e0cf25e9 |
children | 648e6b087dfb |
line wrap: on
line diff
--- a/src/mono.sml Thu Apr 01 17:23:17 2010 -0400 +++ b/src/mono.sml Sun Apr 04 12:29:34 2010 -0400 @@ -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 @@ 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 @@ | DTask of exp * exp + | DPolicy of policy + withtype decl = decl' located type file = decl list