Mercurial > urweb
diff src/compiler.sig @ 1183:9d3ccb8b39ac
safeGet
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Mar 2010 18:28:44 -0500 |
parents | 618f9f458da9 |
children | a4ac900d3085 |
line wrap: on
line diff
--- a/src/compiler.sig Tue Mar 09 17:50:42 2010 -0500 +++ b/src/compiler.sig Tue Mar 09 18:28:44 2010 -0500 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008-2009, Adam Chlipala +(* Copyright (c) 2008-2010, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -53,7 +53,8 @@ filterMime : Settings.rule list, protocol : string option, dbms : string option, - sigFile : string option + sigFile : string option, + safeGets : string list } val compile : string -> bool val compiler : string -> unit