aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl/erl_types.erl
AgeCommit message (Expand)Author
2014-03-24hipe: Correct last commit of OTP-10342Hans Bolinder
2014-03-24stdlib: warn if the type map() is redefinedHans Bolinder
2014-03-24hipe: Add a few clauses for maps in erl_typesHans Bolinder
2014-03-17hipe: Properly identify map() type form termsBjörn-Egil Dahlberg
2014-02-23Deprecate pre-defined built-in typesHans Bolinder
2014-02-22Introduce parameterized opaque typesHans Bolinder
2014-02-22Fix a bug concerning parameterized typesHans Bolinder
2014-02-22Solve remote types in parametersHans Bolinder
2014-01-28dialyzer,hipe,stdlib: Add Maps understanding to DialyzerBjörn-Egil Dahlberg
2014-01-21[dialyzer] Re-work the handling of opaque typesHans Bolinder
2013-10-09Fix crash when using remote types in the tail of list typesKostis Sagonas
2013-02-20Merge branch 'sa/dialyzer-types-arity/OTP-10861'Fredrik Gustafsson
2013-02-15Support for types with the same name and different arityStavros Aronis
2013-02-11Add support for printing <<_:_*1>> as bitstring()Kostis Sagonas
2013-01-28Fix wording of error messageStavros Aronis
2013-01-25Extend char() to Unicode charactersHans Bolinder
2013-01-23Properly support functions with arbitrary arity in type specs.Stavros Aronis
2012-11-17Fix precision of record creation violation warningsStavros Aronis
2012-09-26Fix handling of tuple set remote types appearing in tuple setsStavros Aronis
2012-08-24Add a missing tag in a type declarationKostis Sagonas
2012-08-21Let t_inf() substitute any() for variables in a few more casesHans Bolinder
2012-04-24Fix crash related to contract checkingStavros Aronis
2012-03-30Update copyright yearsBjörn-Egil Dahlberg
2012-03-01Fix bug in remote type solvingStavros Aronis
2012-02-22Allow t_opaque_structure to handle multiple opaque typesStavros Aronis
2011-12-08Optimize erl_types:t_unify()Hans Bolinder
2011-12-01Fix crash in DialyzerStavros Aronis
2011-09-29Merge branch 'sa/dialyzer-bug-fixes' into devHenrik Nord
2011-09-27Remove unused macroStavros Aronis
2011-09-27Decrease tuple arity limitStavros Aronis
2011-09-16Quote atoms if necessary in typesTomas Abrahamsson
2011-05-02Fix handling of <<_:N,_:_*M>> type expressionsKostis Sagonas
2011-05-02Fix the argument of erlang:list_to_bitstring/1Kostis Sagonas
2011-05-02Move function to its proper placeKostis Sagonas
2011-05-02Remove unneeded function 'sequence/2'Stavros Aronis
2010-12-16Set types correctly for open_port({spawn_executable, ...Patrik Nyblom
2010-12-13Fix native code compiler infinite loop and update type info for 're'Kostis Sagonas
2010-11-22erl_types: Fix pretty rare crashes and an infinite loopKostis Sagonas
2010-10-29Deeper unfolding of recursive typesKostis Sagonas
2010-09-24Fix two errors in dialyzerKostis Sagonas
2010-06-08Various changes to dialyzer-related files for R14.Kostis Sagonas
2010-06-06erl_types: Export is_erl_type/1Björn Gustavsson
2010-06-03dialyzer: Build the PLT even if there are unresolved remote typesKostis Sagonas
2010-06-03Add handling of unknown typesMaria Christakis
2010-06-03Support -export_type() in dialyzer and erl_typesKostis Sagonas
2010-06-02Remove (harmless) warnings about min/max in core applicationsPatrik Nyblom
2010-04-09OTP-8562 Closing right parenthesis in macro definitions is mandatory.Hans Bolinder
2010-02-17Merge branch 'ks/hipe' into ccase/r13b04_devErlang/OTP
2010-02-14dialyzer: New version for the R13B04 releaseKostis Sagonas
2009-11-20The R13B03 release.OTP_R13B03Erlang/OTP
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 06:24:45 +0000