summaryrefslogtreecommitdiff
path: root/lib/compiler/src/beam_types.hrl
Commit message (Expand)AuthorAgeFilesLines
* Update copyright yearRickard Green2021-12-131-1/+1
* beam_types_SUITE: Refactor type generationJohn Högberg2020-02-131-0/+6
* beam_types: Improve the type lattice documentationJohn Högberg2020-02-041-0/+26
* compiler: Make map types more preciseJohn Högberg2019-11-281-1/+7
* beam_types: Explain ?TUPLE_ELEMENT_LIMIT and fix a commentJohn Högberg2019-11-271-0/+12
* compiler: Keep track of 'fun' return typesJohn Högberg2019-11-211-1/+2
* compiler: Add typed listsJohn Högberg2019-11-211-7/+17
* beam_types: Fix typespec for #t_atom{}John Högberg2019-11-201-1/+1
* compiler: Make float literals expressible as singleton typesJohn Högberg2019-10-231-6/+9
* compiler: Refactor binary match context unit optimizationJohn Högberg2019-10-231-17/+21
* compiler: Limit tuple element type information to first 12 elementsJohn Högberg2019-10-071-7/+5
* compiler: Introduce union typesJohn Högberg2019-07-051-5/+24
* beam_validator: Clean up abstract/match context type handlingJohn Högberg2019-07-051-5/+2
* beam_validator: Replace old type representation with beam_typesJohn Högberg2019-06-121-2/+5
* compiler: Move "known functions" to beam_typesJohn Högberg2019-06-121-15/+26
* compiler: Break out SSA/beam type definitions into a separate moduleJohn Högberg2019-06-121-0/+58
View Lorry Controller Status