Unused functions

[albinahlback]

There are a couple of unused functions in FLINT, that is, functions that are not defined in headers, not tested and not used in other functions.

The complete list can be found in the description of #2085.

[vneiger]

Could you please clarify a bit what you mean by "unused" functions, so that we can help you build this list when we go through source files? Is it e.g. "dangling" functions that are defined somewhere, but not exposed to the user via some declaration in a header, and not called within flint? or is it more general / more specific?

[albinahlback]

Ah sorry, yes. I updated the description!

[vneiger]

thanks!!

[albinahlback]

The list of unused functions can be found in the description of #2085 along with its compiler messages on the form

# pragma message "MYFUNC is currently unused/untested/undocumented!"

when compiling FLINT.