Skip to content

GHCi browse gets type families wrong

Reported by Luite Stegeman

--------- A.hs
module A where
  import B

--------- B.hs
{-# LANGUAGE TypeFamilies #-}
module B where
  import qualified C

  data B1 a = B1 a

  instance C.C1 (B1 a) where
    data C.F (B1 a) = B2 a

  data family D a

---------- C.hs
{-# LANGUAGE TypeFamilies #-}
module C where

  class C1 a where
    data F a :: *

Nnw use ghci 7.2.1:

ghci A
*A> :info F
data family F a 	-- Defined at C.hs:6:8

ghci B
*B> :browse
data B1 a = B1 a
data instance B.R:FB1 (B1 a) = B2 a
data family D a
data family F a
   -- Why is F displayed here?
   -- What is B.R:FB1?

*B> :info F
Top level: Not in scope: data constructor `F'

*B> :info C.F
data family C.F a 	-- Defined at C.hs:6:8

But with ghci 7.0.4:

ghci A
*A> :info F
Top level: Not in scope: data constructor `F'
Trac metadata
Trac field Value
Version 7.2.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC stegeman@gmail.com
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information