index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
typer
/
src
/
typer.erl
Age
Commit message (
Expand
)
Author
2011-09-16
Quote atoms if necessary in types
Tomas Abrahamsson
2011-03-23
Add options -pa Dir and -pz Dir to TypEr
Tomas Abrahamsson
2011-02-10
Strengthen some specs
Kostis Sagonas
2011-02-10
Allow for --show_success_typings spelling also
Kostis Sagonas
2011-02-09
Add '--show_success_typings' option
Stavros Aronis
2011-02-08
Fix crash in oveloaded contracts with overlapping domains
Kostis Sagonas
2011-02-06
Fix a type error and do some further cleanup
Kostis Sagonas
2011-02-06
Type cleanups and simplifications
Kostis Sagonas
2011-02-06
Cleanup the analysis record
Kostis Sagonas
2011-02-06
Remove typer_annotator.erl and typer.hrl
Kostis Sagonas
2011-02-06
Remove typer_info.erl file
Kostis Sagonas
2011-02-06
Remove typer_options.erl file
Kostis Sagonas
2011-02-06
Remove typer_preprocess.erl file
Kostis Sagonas
2011-02-06
Delete typer_map.erl file
Kostis Sagonas
2011-02-06
First cut of tidier's cleanup
Kostis Sagonas
2010-09-10
Remove warnings for clashes with new autoimported BIFs
Patrik Nyblom
2009-11-20
The R13B03 release.
OTP_R13B03
Erlang/OTP