SML snippets

read_file.sml

fun read_file in_stream =
    let
	fun loop ins =
	    case TextIO.inputLine ins of
		SOME line => line :: loop ins
	      | NONE      => []

    in
	loop in_stream before TextIO.closeIn in_stream
    end