Following the threads of function coercion etc..
It seems that lint 8q (at least) supports a
wholy undocumented option: -ecall

This doesn't appear in readme.txt/bugfix.txt/the 
PDF manual or even in the help screen if you run 
lint-nt.exe with no arguments....

Can Gimpel Support clarify/update the 
documentation:
What does this undocumented option/feature do?
Mike

It looks like (I've tried it under 8p and 8q) 
this feature was introduced (silently) in 8q and 
hasn't been documented anywhere.

Hi Mike, 

This is an experimental feature that may be included in version 
9.  It's undocumented partly because of that and partly because 
its precise name, parameters, and behavior are subject to 
change until it's formally introduced.   

In essence -ecall is like -efunc(), except whereas -efunc() 
suppresses for the scope of a function definition, -ecall() applies 
to the call site (including argument expressions). 

Sounds like something that can be useful in
several ways (e.g. my desire to turn off strong
type checking in calls to certain library
functions).  Not sure it's ideal in each case I'm
thinking of, but it would help control some
annoying messages.

Tom

Hi Tom, 

About turning off strong checking with library calls:  is the 'l' 
("ell") flag to the -strong() option insufficient for the task you 
have in mind?