Closed ityonemo closed 3 years ago
Type.union(<<_::1, _::_*1>>, <<>>) should be << _::_*1>>
Type.union(<<_::1, _::_*1>>, <<>>)
<< _::_*1>>
instead it comes out as ::<<_::1, _::_*1>>
::<<_::1, _::_*1>>
fixed in 93c2552
Type.union(<<_::1, _::_*1>>, <<>>)
should be<< _::_*1>>
instead it comes out as
::<<_::1, _::_*1>>