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))))

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose Bonnaire-Sergeant
              Reporter:
              alex+import import
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: