#7347: Existential data constructors should not be promoted
    Reporter:  simonpj           |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.6.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  

Comment(by kosmikus):

 It seems that all that GHC 7.6.1 currently allows is to promote
 existentially quantified variables of kind *. Such constructors, if
 promoted, lead to simply kinded datatypes. No polymorphism, no
 existentials on that level. So why not keep allowing them? There's no
 danger of escaping variables even for type families, afaics.

 The bug Stefan reports seems to be a missing check whether the type is
 used according to its inferred kind.

Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7347#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

Glasgow-haskell-bugs mailing list

Reply via email to