Ticket #260 (closed defect: fixed)

Opened 4 years ago

Last modified 3 years ago

Problems with ImplicitParams/RankNTypes display

Reported by: mhitza Owned by: Fūzetsu
Priority: minor Milestone:
Version: 2.14.0 Keywords:


First is the type signature is how it is in my file, the second is how Haddock renders it.

String -> ((?configuration :: Configuration) => IO b) -> IO b
String -> ([configuration :: Configuration] => IO b) -> IO b

Change History

Changed 4 years ago by Fūzetsu

  • priority changed from major to minor
  • version 2.13.1 deleted

Please provide a full minimum case where I could replicate it, including any extensions that are on and so on.

Changed 3 years ago by Fūzetsu

  • owner set to Fūzetsu
  • status changed from new to assigned
  • version set to 2.14.0

I came up with a simple case

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ImplicitParams #-}
module H where

data Configuration
c :: String -> ((?configuration :: Configuration) => IO b) -> IO b
c = undefined

I'll have a look but no promises.

Changed 3 years ago by haasn

  • status changed from assigned to closed
  • resolution set to fixed

Fixed in 14531f7, these now display as they do in GHC.

Note: See TracTickets for help on using tickets.