Module ErrorMg.MakeSource

Parameters

module E : E

Signature

Sourcetype bracket =
  1. | Round
  2. | Square
  3. | Curly
Sourcetype lex_error =
  1. | Unstarted_comment
  2. | Unstarted_bracket
  3. | Mismatch_parentheses of bracket
  4. | Unclosed_comment
  5. | Expect of string
  6. | Bad_token
Sourcetype synt_error = E.t
Sourcetype error =
  1. | SyntError of synt_error
  2. | LexError of lex_error
  3. | SysError of string
Sourceexception Error of error * location

The exception that should be raised when an error occur

Sourceval error_msg : ?filename:string -> (error * location) -> string

error_msg e ~filename returns a string describing the error e while the file filename is being processed

Sourceval empty_bracket_stack : (bracket * location) list
Sourceval push_bracket : bracket -> location -> (bracket * location) list -> (bracket * location) list
Sourceval pop_bracket : bracket -> location -> (bracket * location) list -> (bracket * location) list
Sourceval check_brackets : (bracket * location) list -> unit