Opened 12 months ago

Closed 12 months ago

Last modified 12 months ago

#15761 closed bug (fixed)

pprFamInstLHS drops parentheses

Reported by: goldfire Owned by:
Priority: normal Milestone: 8.6.2
Component: Compiler Version: 8.6.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: printer/T15761
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

If I say

data family (a + b) c d

data instance (Int + Bool) Double = Float

GHC says

    • Expecting one more argument to ‘Int + Bool Double’
      Expected a type, but ‘Int + Bool Double’ has kind ‘* -> *’
    • In the data instance declaration for ‘+’

Note the missing parens in the first line of the error.

Will fix shortly.

Change History (4)

comment:1 Changed 12 months ago by Richard Eisenberg <rae@…>

In 38c28c1a/ghc:

Fix #15761 by adding parens

This was just a pretty-printer infelicity. Fixed now.

Test case: printer/T15761

comment:2 Changed 12 months ago by goldfire

Status: newmerge

There's no reason not to merge, but there's not much reason to either if there is any challenge.

comment:3 Changed 12 months ago by RyanGlScott

Milestone: 8.6.2
Test Case: printer/T15761

comment:4 Changed 12 months ago by bgamari

Resolution: fixed
Status: mergeclosed
Last edited 12 months ago by bgamari (previous) (diff)
Note: See TracTickets for help on using tickets.