Opened 2 years ago

Closed 22 months ago

#11266 closed bug (fixed)

Can't :browse some modules with GHCi 7.11

Reported by: RyanGlScott Owned by:
Priority: high Milestone: 8.0.1
Component: GHCi Version: 7.11
Keywords: TypeInType Cc: goldfire
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHCi crash Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D1799
Wiki Page:

Description

Trying to :browse certain modules with GHCi fails with GHC 7.11:

$ inplace/bin/ghc-stage2 --interactive
GHCi, version 7.11.20151219: http://www.haskell.org/ghc/  :? for help
λ> :browse GHC.Base
($) ::
  forall (w :: GHC.Types.Levity) a (b :: TYPE w). (a -> b) -> a -> b
($!) :: (a -> b) -> a -> b
<lots of output elided>
data Ordering*** Exception: No match in record selector tyConTyVars
λ> :browse GHC.Exts
class GHC.Exts.IsList l where
  type family GHC.Exts.Item l
    Kind: * -> *
  GHC.Exts.fromList :: [GHC.Exts.Item l] -> l
  GHC.Exts.fromListN :: Int -> [GHC.Exts.Item l] -> l
  GHC.Exts.toList :: l -> [GHC.Exts.Item l]
  {-# MINIMAL fromList, toList #-}
<lots of output elided>
data GHC.Prim.MutableByteArray# a*** Exception: No match in record selector tyConTyVars
λ> :browse GHC.Prim
*** Exception: No match in record selector tyConTyVars

Change History (7)

comment:1 Changed 2 years ago by osa1

Cc: goldfire added

This bug is introduced with kind equality patch, at this line: https://github.com/ghc/ghc/blame/6746549772c5cc0ac66c0fce562f297f4d4b80a2/compiler/iface/MkIface.hs#L1415 (also related with lines 1422-1424). CCing Richard.

comment:2 Changed 23 months ago by simonpj

Keywords: TypeInType added

comment:3 Changed 23 months ago by osa1

Differential Rev(s): Phab:D1799
Status: newpatch

comment:4 Changed 22 months ago by Ömer Sinan Ağacan <omeragacan@…>

In 952eda2/ghc:

Fix IfaceType generation for TyCons without TyVars

- This is only used for printing purposes (in :browse etc.).
- Fixes #11266.

Reviewers: goldfire, bgamari, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1799

GHC Trac Issues: #11266

comment:5 Changed 22 months ago by osa1

Resolution: fixed
Status: patchclosed

comment:6 Changed 22 months ago by osa1

Status: closedmerge

comment:7 Changed 22 months ago by bgamari

Status: mergeclosed
Note: See TracTickets for help on using tickets.