1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi
*
* $Log$
* Revision 1.2 1996/02/26 15:02:38 george
* print no longer overloaded.
* use of makestring has been removed and replaced with Int.toString ..
* use of IO replaced with TextIO
*
* Revision 1.1.1.1 1996/01/31 16:01:46 george
* Version 109
*
*)
functor ParseGenParserFun
(structure Header : HEADER
structure Parser : ARG_PARSER
where type pos = Header.pos
and type arg = Header.inputSource
and type lexarg = Header.inputSource
and type result = Header.parseResult) : PARSE_GEN_PARSER =
struct
structure Header = Header
val parse = fn file =>
let
val in_str = TextIO.openIn file
val source = Header.newSource(file,in_str,TextIO.stdOut)
val error = fn (s : string,i:int,_) =>
Header.error source i s
val stream = Parser.makeLexer (fn i => (TextIO.inputN(in_str,i)))
source
val (result,_) = (Header.lineno := 1;
Header.text := nil;
Parser.parse(15,stream,error,source))
in (TextIO.closeIn in_str; (result,source))
end
end;
|
