Go to the documentation of this file.
12 #ifndef _ERRORMESSAGES_H
13 #define _ERRORMESSAGES_H 1
16 #define BUFFER_LEN 4096
17 extern char errorBuffer[BUFFER_LEN];
23 #define ENV_MSG_UNDECLARED_TVAR 0
25 #define ENV_MSG_OBJECT_VAR 1
27 #define ENV_MSG_UNDECLARED_MVAR 2
29 #define ENV_MSG_TVAR 3
31 #define ENV_MSG_TNAME_DEFINED 4
33 #define ENV_MSG_ONAME_DEFINED 5
35 #define ENV_MSG_WRONG_ACTUAL_KIND 6
37 #define ENV_MSG_EXPECTED_PRODUCT_KIND 7
39 #define ENV_MSG_WRONG_ACTUAL_TYPE 8
41 #define ENV_MSG_IN_INFERTERM 9
43 #define ENV_MSG_NOT_FUNCTION_TYPE 10
45 #define ENV_MSG_WITNESS_FOR_NONEXISTENTIAL 11
49 #define ENV_MSG_IN_INFERTERM_CHECK 13
51 #define ENV_MSG_TUPLE_NOT_AND 14
53 #define ENV_MSG_IS_NOT_PAIR 15
55 #define ENV_MSG_IN_CASE 16
57 #define ENV_MSG_UNHANDLED_TERM 17
59 #define ENV_MSG_PRINT_BUFFER_OVERFLOW 18
61 #define ENV_MSG_UNHANDLED_TYPE 19
63 #define ENV_MSG_NO_KIND_FOR_TYPE 20
65 #define ENV_MSG_IMPOSSIBLE_COPY_ENV 21
67 #define ENV_MSG_CANNOT_INSERT_VARIABLE 22
71 #define ENV_MSG_MAX ENV_MSG_CANNOT_INSERT_VARIABLE
73 extern char * messages[];
96 void reportError(
char *a);