示例#1
0
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;
}
示例#2
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;
}