Go to the source code of this file.
Functions | |
| long | redefine () |
| void | assert_type () |
| void | assert_complicated_type () |
| void | print_codes () |
| void | assert_protected () |
| void | assert_delay_check () |
| void | assert_args_not_eval () |
| void | clear_already_loaded () |
| void | inherit_always_check () |
| long | glb () |
| long | glb_code () |
| long | glb_value () |
| long | sub_type () |
| long | overlap_type () |
| long | matches () |
| ptr_int_list | decode () |
| void | encode_types () |
| void | print_def_type () |
| ptr_int_list | lub () |
| void | or_codes () |
| ptr_int_list | copyTypeCode () |
Variables | |
| long | types_modified |
| long | type_count |
| void assert_args_not_eval | ( | ) |
| void assert_complicated_type | ( | ) |
| void assert_delay_check | ( | ) |
| void assert_protected | ( | ) |
| void assert_type | ( | ) |
| void clear_already_loaded | ( | ) |
| ptr_int_list copyTypeCode | ( | ) |
| ptr_int_list decode | ( | ) |
| void encode_types | ( | ) |
Definition at line 1045 of file types.c.
References all_sorts(), built_in, wl_definition::children, clear_coding(), wl_definition::code, cons(), count_sorts(), equalize_codes(), Errorline(), FALSE, heap_alloc(), inherit_always_check(), integer, wl_definition::keyword, least_sorts(), make_sys_type_links(), make_type_link(), wl_int_list::next, NOT_CODED, nothing, NULL, or_codes(), overlap_type(), wl_definition::parents, perr(), propagate_definitions(), quoted_string, real, wl_keyword::symbol, top, Traceline, TRUE, two_to_the(), type_count, type_cyclicity(), types_done, types_modified, and wl_int_list::value.
Referenced by c_assert_first(), c_assert_last(), load_aim(), main(), WFInput(), and what_next_aim().
| long glb | ( | ) |
| long glb_code | ( | ) |
| long glb_value | ( | ) |
| void inherit_always_check | ( | ) |
Definition at line 1024 of file types.c.
References FALSE, and one_pass_always_check().
Referenced by c_delay_check(), and encode_types().
| ptr_int_list lub | ( | ) |
| long matches | ( | ) |
| void or_codes | ( | ) |
| long overlap_type | ( | ) |
| void print_codes | ( | ) |
Definition at line 1208 of file types.c.
References outputline(), and type_count.
Referenced by c_print_codes().
| void print_def_type | ( | ) |
| long redefine | ( | ) |
| long sub_type | ( | ) |
| long type_count |
| long types_modified |
1.5.4