Go to the documentation of this file.
8 #define NEW_GAMMA FALSE
13 #define greatest_sel 1
33 #define WORD sizeof(long)
55 #define LOCALSETUPFILE "./.set_up"
71 #define GC_THRESHOLD (alloc_words>>3)
74 #define COPY_THRESHOLD (GC_THRESHOLD>>3)
82 #define WL_MAXINT 9007199254740991.0
85 #define PRETTY_SIZE 20000L
88 #define MAX_BUILT_INS 300L
95 #define PAGE_WIDTH 80L
98 #define PRINT_DEPTH 1000000000L
101 #define PRINT_SPLIT 1000000000L
102 #define PRINT_POWER 9L
106 #define PARSER_STACK_SIZE 10000L
109 #define MAX_PRECEDENCE 1200L
112 #define PRINT_BUFFER 100000L
118 #define PROMPT_BUFFER 200L
119 #define MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2)
123 #define XEVENTDELAY 1000L
126 #define MAX_TRACE_INDENT 40L
129 #define QUOTED_TRUE 1L
130 #define UNFOLDED_TRUE 2L
150 #define INT_SIZE 8*sizeof(unsigned long)
170 #define INIT_TIME_STAMP 1L
176 #define psi_term_ptr 0
189 #define destroy_window 7+32
190 #define show_window 8+32
191 #define hide_window 9+32
192 #define show_subwindow 10+32
193 #define hide_subwindow 11+32
194 #define undo_action 32
204 #define set_1_2_3_4 15
222 #define UNEVALED (1<<1)
223 #define JUSTFAIL (1<<2)
224 #define POLYTYPE (1<<3)
225 #define MANDATORY (1<<4)
226 #define NOVALUE (1<<5)
231 #define STREAM "stream"
232 #define INPUT_FILE_NAME "input_file_name"
233 #define LINE_COUNT "line_count"
234 #define START_OF_LINE "start_of_line"
235 #define SAVED_CHAR "saved_char"
236 #define OLD_SAVED_CHAR "old_saved_char"
237 #define SAVED_PSI_TERM "saved_psi_term"
238 #define OLD_SAVED_PSI_TERM "old_saved_psi_term"
239 #define EOF_FLAG "eof_flag"
240 #define CURRENT_MODULE "current_module"
245 #define xDefaultFont -1
246 #define xDefaultLineWidth -1
281 #define unify_noeval 3L
286 #define freeze_cut 8L
287 #define implies_cut 9L
288 #define general_cut 10L
290 #define type_disj 12L
292 #define del_clause 14L
295 #define c_what_next 17L
310 #define isa_nle_sel 5
311 #define isa_nlt_sel 6
312 #define isa_nge_sel 7
313 #define isa_ngt_sel 8
314 #define isa_neq_sel 9
315 #define isa_cmp_sel 10
316 #define isa_ncmp_sel 11
321 #define HASHSIZE 2048L
325 #define NUMBUCKETS 1024L
349 #define stdin_fileno fileno (stdin)
356 #define MAX_GAMMA 1000
361 #define xDefaultFont -1
362 #define xDefaultLineWidth -1
368 #define function_it 3
381 #define DRAW_RECTANGLE 2
383 #define DRAW_POLYGON 4
384 #define FILL_RECTANGLE 5
386 #define FILL_POLYGON 7
387 #define DRAW_STRING 8
388 #define DRAW_IMAGE_STRING 9