The SOURCE signature


Synopsis

signature SOURCE
structure Source : SOURCE

Interface

type inputSource = {sourceMap : SourceMap.sourcemap, fileOpened : string, interactive : bool, sourceStream : TextIO.instream, anyErrors : bool ref, errConsumer : PrettyPrint.ppconsumer}
val newSource : (string * int * TextIO.instream * bool * PrettyPrint.ppconsumer) -> inputSource
val closeSource : inputSource -> unit
val filepos : inputSource -> SourceMap.charpos -> (string * int * int)

Description

type inputSource

newSource (s, i, in, b, pp)


closeSource in


filepos in ch