id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
1525	:browse shouldn't print single-constructor data definitions twice	sorear	simonpj	"{{{
stefan@stefans:~/qhc/qhc-desugar/Qhc/TypeCheck$ ghci Type.hs
Loading package base ... linking ... done.
[1 of 2] Compiling FreshName        ( FreshName.hs, interpreted )
[2 of 2] Compiling Type             ( Type.hs, interpreted )
Ok, modules loaded: Type, FreshName.
   ___         ___ _
  / _ \ /\  /\/ __(_)
 / /_\// /_/ / /  | |    GHC Interactive, version 6.7.20070612, for Haskell 98.
/ /_\\/ __  / /___| |    http://www.haskell.org/ghc/
\____/\/ /_/\____/|_|    Type :? for help.

*Type> :bro Type
unQlType :: QlType -> FreshName.Uniq ([Constraint], Type_)
data Constraint = Type_ :~ Type_
data Constraint = Type_ :~ Type_
data QlType = QlType [Constraint] Type_
data QlType = QlType [Constraint] Type_
data Type_
  = Con Id | Type_ :@ Type_ | Var FreshName.UName | Binding Id
data Type_ = ... | Binding Id
data Type_ = ... | Var FreshName.UName | ...
data Type_ = ... | Type_ :@ Type_ | ...
data Type_ = Con Id | ...
type Id = String
*Type> 
}}}

Note the multiple definitions of Constraint and QlType.  My conjecture is that
the data and type constructors, both in-scope, are both being browsed to the
data definition; which suggests the (admittedly a little hacky) improvement of
not displaying only-child data constructors if the corresponding type
constructor is in the same scope."	feature request	closed	high	6.8.1	Compiler	6.7	fixed			Unknown/Multiple	Unknown/Multiple		Easy (less than 1 hour)	ghci011