int main(void) { init_type_table(&types, 10); init_value_table(&vtbl, 0, &types); init_fresh_val_maker(&maker, &vtbl); init_base_types(); test_base_types(); delete_fresh_val_maker(&maker); delete_value_table(&vtbl); delete_type_table(&types); return 0; }
int main(void) { init_type_table(&types, 10); init_value_table(&vtbl, 0, &types); init_base_types(); test_base_types(); test_pairs(1000); test_triples(1000); test_unary_functions(1000); test_bin_functions(1000); test_deep_type(); delete_value_table(&vtbl); delete_type_table(&types); return 0; }