Join var binds in add_type_pat_union/3 with least upper bound not greatest lower bound#512

Merged

erszcz merged 44 commits intojosefs:masterfrom erszcz:join-var-binds-with-lub-not-glb

Mar 2, 2023

+284-185

Commits on Mar 1, 2023

Join var binds with LUB instead of GLB in add_type_pat_union
erszcz
committed
Assert that re:run() return values are actually strings
erszcz
committed
Introduce singleton/2 constructor to fix a self-check error
erszcz
committed
Move fixed problem to test/should_pass/map_update.erl
erszcz
committed
Rename: test/{known_problems ->}/should_pass/any_doesnt_have_type_none_{should ->}_pass.erl
erszcz
committed
Rearrange tests for list comprehension generators being none()
erszcz
committed
Move test to test/known_problems/should_pass/intersection_should_pass.erl
erszcz
committed
Rename: test/{known_problems ->}/should_fail/tuple_union_arg{-> _fail}.erl
erszcz
committed
Refactor to fix self-check error in glb_ty(tuple(), tuple(), ...)
erszcz
committed

Commits on Mar 2, 2023