Issues
- 1
test on ann_type
#67 opened - 0
test on user_type
#66 opened - 2
make sure :user_type works
#65 opened - 1
- 1
implement type caching system
#63 opened - 1
- 3
order testing for unions with each other
#60 opened - 1
- 1
- 0
- 1
do something about bounded funs:
#56 opened - 1
- 1
double check that optional keys are unioned correctly across all value types in Type.of(<map>)
#49 opened - 1
- 1
deal with situation where if a map has a required field with an optional type that is a superset
#47 opened - 1
- 2
- 1
- 0
- 1
- 0
test to make sure that typespecs for required non-requirable types are autoconverted to optional
#41 opened - 0
- 1
intersection on Function type
#39 opened - 1
finish up Map type already
#38 opened - 0
- 0
- 1
opcodes DSL emits warnings
#34 opened - 2
fetch_spec/1 and fetch_type/1
#33 opened - 0
Create Type.Api
#32 opened - 2
- 2
- 1
complete Type.intersection/2
#27 opened - 1
- 0
pruning errors
#25 opened - 1
- 0
- 1
basic backpropagation
#22 opened - 2
function merging into unions.
#19 opened - 1
- 5
open questions about Erlang Types
#15 opened - 1
add "where's my builtin?" note
#14 opened - 1
- 1
rename Type.Typed to Type.Properties
#12 opened - 1
- 3
- 0
test generally recursive datatypes
#8 opened - 2
figure out the `iolist` data type
#7 opened - 0
- 2
- 2