Skip to content

Operator sections with identical types type-check differently #862

@badly-drawn-wizards

Description

@badly-drawn-wizards

According to the REPL the type of both (+1) and (1+) are Number->Number.
The expression ((1+) <$> (1+)) 1 checks out but ((+1) <$> (+1)) 1 does not.

EDIT: I just realized I'm an idiot because

let x = (+1)
    y = (+1)
(x <$> y) 1

works.
So this is some parsing bug, I think.
Or it's not correctly inferring the Functor instance for (+1)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions