load-compiler.sml

structure compilerLrVals = compilerLrValsFun(structure Token = LrParser.Token)
structure compilerLex = compilerLexFun(structure Tokens = compilerLrVals.Tokens);
structure compilerParser =
	Join(structure LrParser = LrParser
	structure ParserData = compilerLrVals.ParserData
	structure Lex = compilerLex)

fun invoke lexstream =
	let
		fun print_error (s, linenum:int, col:int) =
			TextIO.output(TextIO.stdOut, "Syntax Error:" ^ (Int.toString linenum) ^ ":" ^ (Int.toString col) ^ ":" ^ s ^ "\n")
	in
		compilerParser.parse(0, lexstream, print_error, ())
	end

fun stringToLexer str =
    let
		val done = ref false
		val lexer =  compilerParser.makeLexer (fn _ => if (!done) then "" else (done:=true;str))
    in
		lexer
    end

fun parse (lexer) =
    let
		val dummyEOF = compilerLrVals.Tokens.EOF(0,0)
    	val (result, lexer) = invoke lexer
		val (nextToken, lexer) = compilerParser.Stream.get lexer
    in
        if compilerParser.sameToken(nextToken, dummyEOF) then result
		else (TextIO.output(TextIO.stdOut, "Warning: Unconsumed input \n"); result)
    end

val parseString = parse o stringToLexer

fun compile filename =
	let
		val file = TextIO.openIn filename
        val s = TextIO.inputAll file
        val _ = TextIO.closeIn file
		val i = parseString(s)
    in
		(TypeCheckEvaluator.printTree(i);
		print("\n\n---------------------------\n\nEvaluated Value(s):\n\n");
		TypeCheckEvaluator.evalStatements(i, []);
		print("---------------------------\n\n"))
	end
		handle invalidTokenError msg => print("\n"^msg^"\n")
		| Fail msg => print("\n"^msg^"\n");