diff options
| author | Niclas Axelsson <[email protected]> | 2011-03-09 10:41:53 +0100 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-09 10:42:12 +0100 |
| commit | 97cfa44354f188240c0a9fdfb55c076348ee77af (patch) | |
| tree | 9ec7e3ff571c73f704f18f2cee2ca6626bd6aa91 /lib/inviso | |
| parent | c668eba73f72e8407158592bc65f37d5cc8aaaa3 (diff) | |
| parent | 3752c716606ad74b2affcb19d41f18b217ee7956 (diff) | |
| download | otp-97cfa44354f188240c0a9fdfb55c076348ee77af.tar.gz otp-97cfa44354f188240c0a9fdfb55c076348ee77af.tar.bz2 otp-97cfa44354f188240c0a9fdfb55c076348ee77af.zip | |
Merge branch 'ks/typer' into dev
* ks/typer: (22 commits)
Add release notes and up version
Strengthen some specs
Allow for --show_success_typings spelling also
Add '--show_success_typings' option
Fix crash in oveloaded contracts with overlapping domains
Fix a type error and do some further cleanup
Type cleanups and simplifications
Cleanup the analysis record
Remove typer_annotator.erl and typer.hrl
Remove typer_info.erl file
Remove typer_options.erl file
Remove typer_preprocess.erl file
Delete typer_map.erl file, really this time
Delete typer_map.erl file
Various cleanups
Fix Typer's hanging when module name doesn't match filename
Moved option to its proper position
Clean up of comments
Up version to reflect major rewrite
Add '--no_spec' option to Typer
...
OTP-9113
Diffstat (limited to 'lib/inviso')
0 files changed, 0 insertions, 0 deletions