Imported tutch example

1 files changed, 23 insertions, 0 deletions

diff --git a/examples/tutch/checks.sig b/examples/tutch/checks.sig
new file mode 100644
index 0000000..6b0453c
--- /dev/null
+++ b/examples/tutch/checks.sig
@@ -0,0 +1,23 @@
+(* Copyright (C) 2017 Ryan Kavanagh <rkavanagh@cs.cmu.edu>       *)
+(* Distributed under the ISC license, see COPYING for details.   *)
+
+signature CHECKS =
+sig
+    (* checks are either:                                         *)
+    (* Check (name, f):                                           *)
+    (*   f : checks some property, and can catastrophically abort *)
+    (*   or raise some exception if something is not satisfied.   *)
+    (*   Useful for sanity checks like: do all desired files      *)
+    (*   exist?                                                   *)
+    (* Problem (name, f):                                         *)
+    (*   name : must be the same name as the autolab problem      *)
+    (*         that is being graded.                              *)
+    (*   f : returns an integer, which is the score awarded for   *)
+    (*       problem "name".                                      *)
+    datatype checks = Check   of string * (unit -> unit)
+		    | Problem of string * (unit -> real)
+
+    val checks : checks list
+
+    val scoreboard : (string * real) list -> int list option
+end