diff options
| author | Björn Gustavsson <[email protected]> | 2014-08-21 14:33:13 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-09-01 14:37:15 +0200 |
| commit | 9b786fc3114723d71383b184c4824d4498a1e6af (patch) | |
| tree | 0751b28d73f17e18378efc83e35e085b94c6e153 /plt/.gitignore | |
| parent | f94cfe594e449799b1e97829483551572bb39f63 (diff) | |
| download | otp-9b786fc3114723d71383b184c4824d4498a1e6af.tar.gz otp-9b786fc3114723d71383b184c4824d4498a1e6af.tar.bz2 otp-9b786fc3114723d71383b184c4824d4498a1e6af.zip | |
Check the formal parameter for parameterized type definitions
Check the formal parameters for a parameterized type definition.
If the governor for a formal parameter is absent, the formal parameter
must be in upper case.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions