From dd38d0d1dda2be42bf280aeca110542f2f2fef1b Mon Sep 17 00:00:00 2001
From: Calvin <calvin@EESI>
Date: Tue, 28 May 2013 10:47:11 -0400
Subject: removed files

---
 src/nbc/fail.sml | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 src/nbc/fail.sml

(limited to 'src/nbc/fail.sml')

diff --git a/src/nbc/fail.sml b/src/nbc/fail.sml
deleted file mode 100644
index f3d324c..0000000
--- a/src/nbc/fail.sml
+++ /dev/null
@@ -1,10 +0,0 @@
-signature FAIL = sig
-	val fail: string -> 'a
-end
-
-structure Fail :> FAIL = struct
-	fun fail why = (
-		TextIO.output (TextIO.stdErr, why ^ "\n")
-		; OS.Process.exit OS.Process.failure
-	)
-end
-- 
cgit v1.2.3