Maple mint checks for errors in one file only at a time. But not across mutliple files for correctness of calls between them. (As is done in statically complied langauges, where the compiler has access to all files and can do this).
One has to run the code to find such errors. For example, given
print("in foo, n=",n, "m = ",m );
#How to make Maple check this call is wrong using mint?
#before running the code? It has wrong type, and also
#missing one argument.
shows no errors.
In a large program, with many calls between many procs in different packages, it will be nice if one can detect such errors before running the program if possible, than having to run the program, making sure all possible paths are taken each time.
Such an error could be hidden in the code for sometime without one noticing it (For example, if one changes the API to a proc, but not change each call to the changed proc in order to update the call to the new API), and the code path for the now wrong call is not invoked in the current test since testing does not do 100% coverage all the time.
Is there any option in mint I might overlooked to do this? if not, how hard would it be for Maple to add such a feature? i.e. give mint, either a set of files, or .mla library, and have it check all calls between all functions, for correctness.