Go to the documentation of this file.
2 #define NEW_GAMMA FALSE
27 #define WORD sizeof(long)
49 #define LOCALSETUPFILE "./.set_up"
65 #define GC_THRESHOLD (alloc_words>>3)
68 #define COPY_THRESHOLD (GC_THRESHOLD>>3)
76 #define WL_MAXINT 9007199254740991.0
79 #define PRETTY_SIZE 20000L
82 #define MAX_BUILT_INS 300L
89 #define PAGE_WIDTH 80L
92 #define PRINT_DEPTH 1000000000L
95 #define PRINT_SPLIT 1000000000L
96 #define PRINT_POWER 9L
100 #define PARSER_STACK_SIZE 10000L
103 #define MAX_PRECEDENCE 1200L
106 #define PRINT_BUFFER 100000L
112 #define PROMPT_BUFFER 200L
113 #define MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2)
117 #define XEVENTDELAY 1000L
120 #define MAX_TRACE_INDENT 40L
123 #define QUOTED_TRUE 1L
124 #define UNFOLDED_TRUE 2L
144 #define INT_SIZE 8*sizeof(unsigned long)
164 #define INIT_TIME_STAMP 1L
170 #define psi_term_ptr 0
183 #define destroy_window 7+32
184 #define show_window 8+32
185 #define hide_window 9+32
186 #define show_subwindow 10+32
187 #define hide_subwindow 11+32
188 #define undo_action 32
198 #define set_1_2_3_4 15
216 #define UNEVALED (1<<1)
217 #define JUSTFAIL (1<<2)
218 #define POLYTYPE (1<<3)
219 #define MANDATORY (1<<4)
220 #define NOVALUE (1<<5)
225 #define STREAM "stream"
226 #define INPUT_FILE_NAME "input_file_name"
227 #define LINE_COUNT "line_count"
228 #define START_OF_LINE "start_of_line"
229 #define SAVED_CHAR "saved_char"
230 #define OLD_SAVED_CHAR "old_saved_char"
231 #define SAVED_PSI_TERM "saved_psi_term"
232 #define OLD_SAVED_PSI_TERM "old_saved_psi_term"
233 #define EOF_FLAG "eof_flag"
234 #define CURRENT_MODULE "current_module"
239 #define xDefaultFont -1
240 #define xDefaultLineWidth -1
275 #define unify_noeval 3L
280 #define freeze_cut 8L
281 #define implies_cut 9L
282 #define general_cut 10L
284 #define type_disj 12L
286 #define del_clause 14L
289 #define c_what_next 17L
304 #define isa_nle_sel 5
305 #define isa_nlt_sel 6
306 #define isa_nge_sel 7
307 #define isa_ngt_sel 8
308 #define isa_neq_sel 9
309 #define isa_cmp_sel 10
310 #define isa_ncmp_sel 11
315 #define HASHSIZE 2048L
319 #define NUMBUCKETS 1024L
343 #define stdin_fileno fileno (stdin)
350 #define MAX_GAMMA 1000
355 #define xDefaultFont -1
356 #define xDefaultLineWidth -1
362 #define function_it 3
375 #define DRAW_RECTANGLE 2
377 #define DRAW_POLYGON 4
378 #define FILL_RECTANGLE 5
380 #define FILL_POLYGON 7
381 #define DRAW_STRING 8
382 #define DRAW_IMAGE_STRING 9