diff options
| author | Kostis Sagonas <[email protected]> | 2010-02-08 20:30:14 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-02-09 21:03:21 +0100 |
| commit | b07101c843f17ae8b2b3fcfe947e23c03f0e5ff9 (patch) | |
| tree | 40451f5c04fa11d1c4d5fb718b976790d46f4496 /lib/dialyzer/plt | |
| parent | 19fda3d8ddbd8b844024bd15689dbf45fa8e5e1e (diff) | |
| download | otp-b07101c843f17ae8b2b3fcfe947e23c03f0e5ff9.tar.gz otp-b07101c843f17ae8b2b3fcfe947e23c03f0e5ff9.tar.bz2 otp-b07101c843f17ae8b2b3fcfe947e23c03f0e5ff9.zip | |
Allow recursive types and check for undefined types
Contains four kinds of changes:
* Allows recursive types and type definitions to be in any order.
* Because the checking is not performed from top to bottom, there
is a separate pass which checks for undefined module-local types.
* Behaviour callbacks which allow specs in them.
* Clean up the code as suggested by tidier.
Diffstat (limited to 'lib/dialyzer/plt')
0 files changed, 0 insertions, 0 deletions