aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe/cerl/erl_types.erl
AgeCommit message (Expand)Author
2015-06-15dialyzer: Fix a minor bug concerning opaque typesHans Bolinder
2015-06-15dialyzer: Modify warning for comparison of opaque typesHans Bolinder
2015-06-15dialyzer: Modify the handling of parametrized opaque typesHans Bolinder
2015-06-15dialyzer: Fix a bug in the expansion of formsHans Bolinder
2015-05-08dialyzer: document the type identifier()Hans Bolinder
2015-04-21hipe: Fix a bug in the handling of opaque typesHans Bolinder
2015-03-10[dialyzer] Correct handling of limited opaque typesHans Bolinder
2015-03-10[dialyzer] Limit depth and size of types from formsHans Bolinder
2015-03-10[dialyzer] Fix the conversion of forms to typesHans Bolinder
2014-08-21Merge branch 'maint'Hans Bolinder
2014-08-21dialyzer, hipe: Fix a bug concerning is_record/2,3Hans Bolinder
2014-06-17Merge branch 'maint'Hans Bolinder
2014-06-17[dialyzer] Fix handling of literal recordsHans Bolinder
2014-05-26Merge branch 'maint'Hans Bolinder
2014-05-23hipe: fix a bug concerning typed record fieldsHans Bolinder
2014-05-13Merge branch 'maint'Hans Bolinder
2014-05-13hipe: fix a bug concerning typed record fieldsHans Bolinder
2014-05-05Remove pre-defined types dict(), digraph(), &cHans Bolinder
2014-04-29Allow more type namesHans Bolinder
2014-04-17hipe, dialyzer: Fix a bug concerning opaque typesHans Bolinder
2014-03-28Add support for the compilation of the is_map/1 guard to native codeKostis Sagonas
2014-03-26Merge branch 'aronisstav/hipe/opaque_fix'Hans Bolinder
2014-03-24Don't 'opaque-decorate' a success typing using an incompatible specStavros Aronis
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 14:02:32 +0000