Commit 1abe634f authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

remove module graph_to_string_and_descriptors_macho, use...

remove module graph_to_string_and_descriptors_macho, use graph_to_string_and_descriptors instead, remove graph_to_string_with_descriptors modules (old version of graph_to_string_and_descriptors that doesn't use additional information in descriptors for unboxed records in constructors or records)
parent 276613c5
definition module graph_to_string_and_descriptors;
// includes unboxed record descriptors
graph_to_string_with_descriptors :: !a -> {#Char};
graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
// (graph,descriptor_table,module_table)
definition module graph_to_string_with_descriptors;
graph_to_string_with_descriptors :: !a -> {#Char};
graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
// (graph,descriptor_table,module_table)
definition module graph_to_string_with_descriptors;
graph_to_string_with_descriptors :: !a -> {#Char};
graph_to_string_with_descriptor_and_module_table :: !a -> (!{#Char},!{#{#Char}},!{#{#Char}});
// (graph,descriptor_table,module_table)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment