Opened 16 months ago

Last modified 5 months ago

#11955 new bug

Haddock documentation for pattern synonyms printed with explicit forall quantifiers

Reported by: darchon Owned by:
Priority: normal Milestone: 8.4.1
Component: Compiler Version: 8.0.1-rc3
Keywords: PatternSynonyms Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

Running haddock on:

{-# LANGUAGE PatternSynonyms #-}

module Foo ( A(..), pattern P ) where

data A a = A a

pattern P :: a -> A a
pattern P a <- A a

in GHC 7.10.3 gives haddock documentation for P in the form of:

pattern P :: a -> A a

while the haddock in GHC 8.0.1-rc3 gives haddock documentation for P in the form of:

pattern P :: forall a. a -> A a

I think GHC/Haddock should not be adding the forall quantifier, and hence think the behaviour in GHC 8.0.1-rc3 is wrong, and the behaviour of GHC 7.10.3 is preferred.

Change History (6)

comment:1 Changed 16 months ago by mpickering

Keywords: PatternSynonyms added

comment:2 Changed 16 months ago by darchon

Edit: deleted

Last edited 16 months ago by darchon (previous) (diff)

comment:3 Changed 16 months ago by bgamari

Milestone: 8.0.18.0.2

I'm afraid this won't be fixed for 8.0.1.

comment:4 Changed 11 months ago by bgamari

Bumping to 8.2.1. There's a good chance that this will be addressed by #11660.

comment:5 Changed 10 months ago by bgamari

Milestone: 8.0.28.2.1

comment:6 Changed 5 months ago by bgamari

Milestone: 8.2.18.4.1

Given that 8.2.1-rc1 is imminent, I'm bumping these off to the 8.4

Note: See TracTickets for help on using tickets.