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