Hi, I've been pondering your idea for a while now, thinking along the lines that it should be possible to do without adding any special syntax. It might be possible to use -Wunderspecs (or even the not recommended -Wspecdiffs), but there seem to be several things that would need to be modified in the dialyzer_contracts module, though. I'll try to find some time to look into the details.
BTW, it would be interesting to see how you've implemented the check. I couldn't find any examples (looked for nowarn_unused_function), but I only downloaded CloudI. Best regards, Hans Bolinder, Erlang/OTP team, Ericsson _______________________________________________ eeps mailing list [email protected] http://erlang.org/mailman/listinfo/eeps
