Mercurial > urweb

diff src/compiler.sig @ 1183:9d3ccb8b39ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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