removed files

1 files changed, 0 insertions, 26 deletions

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