[hcoop/debian/mlton.git] / mlyacc / src / link.sml

(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi *)
local

(* create parser *)

   structure LrVals = MlyaccLrValsFun(structure Token = LrParser.Token
                                      structure Hdr = Header)
   structure Lex = LexMLYACC(structure Tokens = LrVals.Tokens
                             structure Hdr = Header)
   structure Parser = JoinWithArg(structure Lex=Lex
                                 structure ParserData = LrVals.ParserData
                                 structure LrParser= LrParser)
   structure ParseGenParser =
           ParseGenParserFun(structure Parser = Parser
                             structure Header = Header)

(* create structure for computing LALR table from a grammar *)

   structure MakeLrTable = mkMakeLrTable(structure IntGrammar =IntGrammar
                                     structure LrTable = LrTable)

(* create structures for printing LALR tables:

   Verbose prints a verbose description of an lalr table
   PrintStruct prints an ML structure representing that is an lalr table *)

   structure Verbose = mkVerbose(structure Errs = MakeLrTable.Errs)
   structure PrintStruct =
       mkPrintStruct(structure LrTable = MakeLrTable.LrTable
                     structure ShrinkLrTable =
                          ShrinkLrTableFun(structure LrTable=LrTable))
in

(* returns function which takes a file name, invokes the parser on the file,
  does semantic checks, creates table, and prints it *)

   structure ParseGen = ParseGenFun(structure ParseGenParser = ParseGenParser
                                    structure MakeTable = MakeLrTable
                                    structure Verbose = Verbose
                                    structure PrintStruct = PrintStruct
                                    structure Absyn = Absyn)
end
Commit	Line	Data
7f918cf1 CE	1	(* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi *)
	2	local
	3
	4	(* create parser *)
	5
	6	structure LrVals = MlyaccLrValsFun(structure Token = LrParser.Token
	7	structure Hdr = Header)
	8	structure Lex = LexMLYACC(structure Tokens = LrVals.Tokens
	9	structure Hdr = Header)
	10	structure Parser = JoinWithArg(structure Lex=Lex
	11	structure ParserData = LrVals.ParserData
	12	structure LrParser= LrParser)
	13	structure ParseGenParser =
	14	ParseGenParserFun(structure Parser = Parser
	15	structure Header = Header)
	16
	17	(* create structure for computing LALR table from a grammar *)
	18
	19	structure MakeLrTable = mkMakeLrTable(structure IntGrammar =IntGrammar
	20	structure LrTable = LrTable)
	21
	22	(* create structures for printing LALR tables:
	23
	24	Verbose prints a verbose description of an lalr table
	25	PrintStruct prints an ML structure representing that is an lalr table *)
	26
	27	structure Verbose = mkVerbose(structure Errs = MakeLrTable.Errs)
	28	structure PrintStruct =
	29	mkPrintStruct(structure LrTable = MakeLrTable.LrTable
	30	structure ShrinkLrTable =
	31	ShrinkLrTableFun(structure LrTable=LrTable))
	32	in
	33
	34	(* returns function which takes a file name, invokes the parser on the file,
	35	does semantic checks, creates table, and prints it *)
	36
	37	structure ParseGen = ParseGenFun(structure ParseGenParser = ParseGenParser
	38	structure MakeTable = MakeLrTable
	39	structure Verbose = Verbose
	40	structure PrintStruct = PrintStruct
	41	structure Absyn = Absyn)
	42	end