equal
deleted
inserted
replaced
73 #include <stdlib.h> // EXIT_FAILURE |
73 #include <stdlib.h> // EXIT_FAILURE |
74 #include "absyntax/absyntax.hh" // symbol_c type |
74 #include "absyntax/absyntax.hh" // symbol_c type |
75 |
75 |
76 /* A macro for printing out internal parser errors... */ |
76 /* A macro for printing out internal parser errors... */ |
77 #include <iostream> // required for std::cerr |
77 #include <iostream> // required for std::cerr |
78 #define ERROR error_exit(__FILE__,__LINE__) |
78 |
|
79 |
|
80 #define ERROR error_exit(__FILE__,__LINE__) |
79 void error_exit(const char *file_name, int line_no) { |
81 void error_exit(const char *file_name, int line_no) { |
80 std::cerr << "\nInternal program error in file " << file_name |
82 std::cerr << "\nInternal compiler error in file " << file_name |
81 << " at line " << line_no << "\n\n\n"; |
83 << " at line " << line_no << "\n"; |
|
84 // if (msg != NULL) std::cerr << message << "\n\n"; |
82 exit(EXIT_FAILURE); |
85 exit(EXIT_FAILURE); |
83 } |
86 } |
84 |
87 |
85 |
88 |
86 |
89 |