Unprocessed comments in and around contexts with forall #300

New Issue

2020-04-28T19:04:30+02:00

ChickenProp commented

2020-04-28 19:04:30 +02:00

(Migrated from github.com)

somefunc
  :: forall m
   . ( Constraint1
     -- retained
     , Constraint2
     -- lost
     )
     -- lost
  => SomeType
  -- retained

Both of the "lost" comments are unprocessed. The "retained" ones are fine. In both cases, removing any or all of the other comments doesn't make a difference, but removing the forall m . allows them to be processed. For the first one only, removing , Constraint2 allows it to be processed.

Tested with current master and ghc 8.6 on https://hexagoxel.de/brittany/.

```haskell somefunc :: forall m . ( Constraint1 -- retained , Constraint2 -- lost ) -- lost => SomeType -- retained ``` Both of the "lost" comments are unprocessed. The "retained" ones are fine. In both cases, removing any or all of the other comments doesn't make a difference, but removing the `forall m .` allows them to be processed. For the first one only, removing `, Constraint2` allows it to be processed. Tested with current master and ghc 8.6 on https://hexagoxel.de/brittany/.

Sign in to join this conversation.

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#300