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/typer/src/typer.app.src | |
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/typer/src/typer.app.src')
-rw-r--r-- | lib/typer/src/typer.app.src | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/typer/src/typer.app.src b/lib/typer/src/typer.app.src index 3eb0cbf816..850829e1dc 100644 --- a/lib/typer/src/typer.app.src +++ b/lib/typer/src/typer.app.src @@ -3,12 +3,7 @@ {application, typer, [{description, "TYPe annotator for ERlang programs, version %VSN%"}, {vsn, "%VSN%"}, - {modules, [typer, - typer_annotator, - typer_info, - typer_map, - typer_options, - typer_preprocess]}, + {modules, [typer]}, {registered, []}, {applications, [compiler, dialyzer, hipe, kernel, stdlib]}, {env, []}]}. |