Skip to content

Class parameters not properly highlighted in class definitions #23

Open
@arthurxavierx

Description

@arthurxavierx

In the following example, only the first parameter gets highlighted as a type variable:

class MyClass f a b where
  method :: f (a b) -> f b -> f (a b)

In the following example, none of the parameters get highlighted as a type variable:

class MyClass2 (f :: * -> *) a b where
  method2 :: f (a b) -> f b -> f (a b)

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions