package acgtk
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41
md5=04c1e14f98e2c8fd966ef7ef30b38323
doc/acgtkLib.acgData/AcgData/Error/index.html
Module AcgData.ErrorSource
This module gives some types and some utilities to mange, emit and display messages
The type for errors raised by the lexer. Names should be explicit
type parse_error = | Syntax_error of string| Duplicated_term of string| Duplicated_type of string| Binder_expected of string| Unknown_constant of string| Not_def_as_infix of string| Unknown_constant_nor_variable of string| Unknown_constant_nor_type of string| Unknown_type of string| Missing_arg_of_Infix of string| No_such_signature of string| No_such_lexicon of string| Not_associative of string| Not_infix of string| Prefix_missing_arg of string| Infix_missing_first_arg of string| Infix_missing_second_arg of string
The type for errors raised by the parser. Names should be explicit
type type_error = | Already_defined_var of string| Not_defined_var of string| Not_defined_const of string| Not_well_typed_term of string * string| Not_well_typed_term_plus of string * string * string| Not_well_kinded_type of string| Non_linear_var of string| Linear_var of string| Other| Is_Used of string * string| Two_occurrences_of_linear_variable of Lexing.position * Lexing.position| Non_empty_context of string * (Lexing.position * Lexing.position) * (Lexing.position * Lexing.position) * string| Not_normal| Vacuous_abstraction of string * (Lexing.position * Lexing.position)
The types for errors raised by the typechecker. Names should be explicit
The types for errors raised by lexicons
The types for errors raised by the environment. Names should be explicit
type error = | Parse_error of parse_error * Lexing.position * Lexing.position| Lexer_error of lex_error * Lexing.position * Lexing.position| Type_error of type_error * Lexing.position * Lexing.position| Env_error of env_error * Lexing.position * Lexing.position| Version_error of version_error| Lexicon_error of lexicon_error * Lexing.position * Lexing.position| System_error of string
The type for errors
The type for warnings
update_loc lexbuf name update the position informations for the lexer
set_infix sym declares sym as a prefix symbol used in an infix position
unset_infix () unset the current use of a prefix symbol used in an infix position
error_msg e filename returns a string describing the error e while the file filename is being processed
warnings_to_string filname ws returns a string describing the warnings and their location for the file filename
get_loc_error e returns the starting and ending position of an error
get_string_error e returns the string describing the error and its position