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