Details
-
Type:
Bug
-
Status: Closed
-
Priority:
Major
-
Resolution: Completed
-
Affects versions: 0.2
-
Fix versions: None
-
Components: None
-
Labels:None
-
Environment:
Using 0.2.80
Description
It seems that group-by is incorrectly annotated. For example:
(cf (group-by even? [1 2 2]))
will return
(Map Boolean (U (Val 1) (Val 2)))
However the group-by operation returns
{false [1], true [2 2]}so I think the type should be:
(Map Boolean (Vec (U (Val 1) (Val 2))))
