diff options
Diffstat (limited to 'src/nbc/substitution.sml')
| -rw-r--r-- | src/nbc/substitution.sml | 26 |
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 |