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/substitution.sml | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 src/nbc/substitution.sml

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

diff --git a/src/nbc/substitution.sml b/src/nbc/substitution.sml
deleted file mode 100644
index 57d55cf..0000000
--- a/src/nbc/substitution.sml
+++ /dev/null
@@ -1,26 +0,0 @@
-signature SUBSTITUTION = sig
-	val substitute: (string -> string) -> string -> string option
-end
-
-structure Substitution :> SUBSTITUTION = struct
-	structure LrVals = SubstitutionGrmLrValsFun (structure Token = LrParser.Token)
-	structure Lex = SubstitutionLexFun (structure Tokens = LrVals.Tokens)
-	structure Parser = JoinWithArg (
-		structure ParserData = LrVals.ParserData
-		structure Lex = Lex
-		structure LrParser = LrParser
-	)
-	fun substitute lookup source =
-		let
-			val position = ref 0
-			val instream = TextIO.openString source
-			fun read n = TextIO.inputN (instream, n)
-			val lexer = Parser.makeLexer read (ref 0)
-			fun error (_, _, _) = ()
-			val (result, _) = Parser.parse (0, lexer, error, lookup)
-			val () = TextIO.closeIn instream
-		in
-			SOME result
-		end
-		handle Parser.ParseError => NONE
-end
-- 
cgit v1.2.3