From 51ac19f565fa935eec6d9dd1f7119c6227383a3c Mon Sep 17 00:00:00 2001
From: Jacob Mitchell <jmitchell@member.fsf.org>
Date: Wed, 7 Sep 2016 13:19:13 -0700
Subject: HTTP Last-Modified: latest modtime of source files

See issue #38.
---
 src/fileio.sig | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/fileio.sig

(limited to 'src/fileio.sig')

diff --git a/src/fileio.sig b/src/fileio.sig
new file mode 100644
index 00000000..37b3b529
--- /dev/null
+++ b/src/fileio.sig
@@ -0,0 +1,9 @@
+signature FILE_IO = sig
+
+    (* When was a source file last modified (excluding files produced after [getResetTime])? *)
+    val mostRecentModTime : unit -> Time.time
+
+    val txtOpenIn : string -> TextIO.instream
+    val binOpenIn : string -> BinIO.instream
+
+end
-- 
cgit v1.2.3