Skip to content

Inline type annotations have wrong precedence #3554

Description

@natefaubion

Found this in the wild:

foldMap1 f = foldMap1 f <<< toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a

:: Currently binds tighter than operators. It should have lowest precedence.

Activity

  1. added this to the 0.13.0 milestone on Apr 27, 2019
  2. hdgarrood commented on May 7, 2019

    @hdgarrood
    Contributor

    Fixed by #3555.

  3. hdgarrood commented on May 7, 2019

    @hdgarrood
    Contributor

    although I suppose we could still do with a test

  4. added a commit that references this issue on May 7, 2019
    a46864e
  5. added a commit that references this issue on May 7, 2019
    315759e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions