diff options
| author | Björn Gustavsson <[email protected]> | 2014-08-21 14:23:01 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-09-01 14:37:14 +0200 |
| commit | f94cfe594e449799b1e97829483551572bb39f63 (patch) | |
| tree | ddcb561e877323722de531571feff21f25f0d603 /lib/webtool/Makefile | |
| parent | f4ac66dc45dff2b0e6a7b2abdc24fd5ffb1c53fa (diff) | |
| download | otp-f94cfe594e449799b1e97829483551572bb39f63.tar.gz otp-f94cfe594e449799b1e97829483551572bb39f63.tar.bz2 otp-f94cfe594e449799b1e97829483551572bb39f63.zip | |
Report errors also for unused parameterized types
Definitions for parameterized types are verified once very early,
and one more time when they are instantiated.
Errors found during the first check were ignored, so errors for
unused parameterized types were not reported.
Diffstat (limited to 'lib/webtool/Makefile')
0 files changed, 0 insertions, 0 deletions