[GHC] #4116: Type supplement for constructor specific uses of sum types

[GHC]

#4116: Type supplement for constructor specific uses of sum types
---------------------------------+------------------------------------------
    Reporter:  gabrielrf         |       Owner:              
        Type:  proposal          |      Status:  new         
    Priority:  normal            |   Component:  Compiler    
     Version:  6.13              |    Keywords:              
          Os:  Unknown/Multiple  |    Testcase:              
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown
---------------------------------+------------------------------------------
Changes (by gabrielrf):

 * cc: griba2001@… (added)


Comment:

 Replying to [comment:3 gabrielrf]:
 > Related theoretical article:
 http://winterkoninkje.livejournal.com/56979.html

 The type supplement could be seen as a type narrowing mechanism to the
 "difference types" explained in the article.

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