aboutsummaryrefslogtreecommitdiffstats
path: root/lib/typer
AgeCommit message (Collapse)Author
2013-01-29Prepare releaseOTP_R16A_RELEASE_CANDIDATEErlang/OTP
2013-01-15Implement ./otp_build configure --enable-silent-rulesAnthony Ramine
With silent rules, the output of make is less verbose and compilation warnings are easier to spot. Silent rules are disabled by default and can be disabled or enabled at will by make V=0 and make V=1.
2012-09-04Merge tag 'OTP_R15B02'Björn-Egil Dahlberg
The R15B02 release
2012-09-03Prepare releaseOTP_R15B02Erlang/OTP
2012-08-31Merge branch 'maint'Björn-Egil Dahlberg
Conflicts: lib/diameter/autoconf/vxworks/sed.general xcomp/README.md
2012-08-31Update copyright yearsBjörn-Egil Dahlberg
2012-07-19typer: Remove VxWorksBjörn-Egil Dahlberg
A comment referred to vxworks and was thusly removed
2012-06-05Update to work with whitespace in exec pathLukas Larsson
OTP-10106 OTP-10107
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Better reflect side-effect based code in dialyzer_callgraphStavros Aronis
2012-05-21Add --time option to DialyzerStavros Aronis
2012-05-21Fix typer crashesStavros Aronis
2011-12-12Prepare releaseErlang/OTP
2011-12-01Fix Dialyzer's warnings in typerStavros Aronis
2011-11-30Fix crash in TyperStavros Aronis
2011-11-22Revert "Update version numbers for pre-release of R15"Björn-Egil Dahlberg
This reverts commit e21ff9b0b69219ab3853be7e80813156113152b7.
2011-11-22Update version numbers for pre-release of R15OTP_R15ABjörn Gustavsson
2011-10-04Prepare releaseOTP_R14B04Erlang/OTP
2011-09-29Merge branch 'sa/dialyzer-bug-fixes' into devHenrik Nord
* sa/dialyzer-bug-fixes: Fix typer's crash for nonexisting files Remove unused macro Decrease tuple arity limit Fix bug in dataflow OTP-9597
2011-09-28Fix typer's crash for nonexisting filesStavros Aronis
... and do some small cleanups.
2011-09-16Quote atoms if necessary in typesTomas Abrahamsson
Atoms in some occurrences were not correctly quoted when formatted to strings, for instance by the typer program. Example: -module(tb). -export(['UPPERCASE-FUNCTION-NAME'/0, f1/0, f2/0, f3/0]). -record('UPPERCASE-RECORD-NAME', {x}). -record(r2, {'UPPERCASE-FIELD-NAME'}). -type 'UPPERCASE-TYPE-NAME'() :: integer(). 'UPPERCASE-FUNCTION-NAME'() -> ok. f1() -> #'UPPERCASE-RECORD-NAME'{x=1}. f2() -> #r2{'UPPERCASE-FIELD-NAME'=1}. -spec f3() -> 'UPPERCASE-TYPE-NAME'(). f3() -> 1. Given the program above, the output from typer --plt some.plt tb.erl resulted in the following specs being printed: -spec UPPERCASE-FUNCTION-NAME() -> 'ok'. -spec f1() -> #UPPERCASE-RECORD-NAME{x::1}. -spec f2() -> #r2{UPPERCASE-FIELD-NAME::1}. -spec f3() -> UPPERCASE-TYPE-NAME(). This commit changes the output to become the following: -spec 'UPPERCASE-FUNCTION-NAME'() -> 'ok'. -spec f1() -> #'UPPERCASE-RECORD-NAME'{x::1}. -spec f2() -> #r2{'UPPERCASE-FIELD-NAME'::1}. -spec f3() -> 'UPPERCASE-TYPE-NAME'().
2011-05-24Prepare releaseOTP_R14B03Erlang/OTP
2011-03-23Add options -pa Dir and -pz Dir to TypErTomas Abrahamsson
Setting code path options is useful e.g. when analyzing programs that use parse transforms.
2011-03-11Update copyright yearsBjörn-Egil Dahlberg
2011-03-09Add release notes and up versionKostis Sagonas
2011-02-10Strengthen some specsKostis Sagonas
2011-02-10Allow for --show_success_typings spelling alsoKostis Sagonas
2011-02-09Add '--show_success_typings' optionStavros Aronis
With '--show_success_typings' Typer will print/use the final success typings from Dialyzer and ignore/overwrite any existing contracts.
2011-02-08Fix crash in oveloaded contracts with overlapping domainsKostis Sagonas
Typer should not crash miserably when processing a user-specified overloaded contract with overlapping types in its arguments.
2011-02-06Fix a type error and do some further cleanupKostis Sagonas
2011-02-06Type cleanups and simplificationsKostis Sagonas
2011-02-06Cleanup the analysis recordKostis Sagonas
2011-02-06Remove typer_annotator.erl and typer.hrlKostis Sagonas
2011-02-06Remove typer_info.erl fileKostis Sagonas
2011-02-06Remove typer_options.erl fileKostis Sagonas
2011-02-06Remove typer_preprocess.erl fileKostis Sagonas
2011-02-06Delete typer_map.erl file, really this timeKostis Sagonas
2011-02-06Delete typer_map.erl fileKostis Sagonas
2011-02-06Various cleanupsKostis Sagonas
2011-02-06Fix Typer's hanging when module name doesn't match filenameStavros Aronis
2011-02-06Moved option to its proper positionKostis Sagonas
2011-02-06Clean up of commentsKostis Sagonas
2011-02-06Up version to reflect major rewriteKostis Sagonas
2011-02-06Add '--no_spec' option to TyperStavros Aronis
When run with '--no_spec', Typer will hide from Dialyzer any specs present in the files under analysis.
2011-02-06Replace some string() with file:filename()Kostis Sagonas
2011-02-06First cut of tidier's cleanupKostis Sagonas
Added ability to receive the set of exported types and report unknown ones. While doing the above, cleaned up types, specs, and record field names.
2010-09-13Prepare releaseOTP_R14BErlang/OTP
2010-09-10Remove warnings for clashes with new autoimported BIFsPatrik Nyblom
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
* ks/hipe: dialyzer: Fix system_limit exception in race analysis syntax_tools: Add types and specs for most exported functions syntax_tools: Support the --enable-native-libs configure option syntax_tools: Remove $Id$ annotations dialyzer: New version for the R13B04 release hipe: Miscellaneous additions typer: New version for the R13B04 release Fix a HiPE compiler bug evaluating an expression that throws system_limit OTP-8460 ks/hipe
2010-02-14typer: New version for the R13B04 releaseKostis Sagonas