(*
 *
 * BU CAS CS 520, F2002
 * Assignment 3
 *
 *)

(* The code is written Hongwei Xi on Oct 10, 2002 *)

structure Top =
    struct
	exception IllTyped

	fun top (filename: string) =
	    let
		val t = Parser.parseFile filename
	    in
		if TypeChecker.typeCheck (t) then
		    Evaluator.evaluate (Evaluator.erase t)
		else raise IllTyped
	    end
    end