The ERRORMSG signature


Synopsis

signature ERRORMSG
structure ErrorMsg : ERRORMSG

Interface

datatype severity
  = WARN
  | COMPLAIN
type complainer
type errorFn = SourceMap.region -> complainer
type errors
val anyErrors : errors -> bool
exception Error
val defaultConsumer : unit -> PrettyPrint.ppconsumer
val nullErrorBody : PrettyPrint.ppstream -> unit
val error : Source.inputSource -> SourceMap.region -> complainer
val errorNoFile : (PrettyPrint.ppconsumer * bool ref) -> SourceMap.region -> complainer
val matchErrorString : Source.inputSource -> SourceMap.region -> string
val errors : Source.inputSource -> errors
val errorsNoFile : (PrettyPrint.ppconsumer * bool ref) -> errors
val impossible : string -> 'a
val impossibleWithBody : string -> (PrettyPrint.ppstream -> unit) -> 'a

Description

datatype severity

type complainer

type errorFn

type errors

anyErrors er


exception Error

defaultConsumer ()


nullErrorBody pp


error in re


errorNoFile (pp, re) re


matchErrorString in re


errors in


errorsNoFile (pp, re)


impossible s


impossibleWithBody s f