[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:  closed          
  Priority:  normal        |      Milestone:                  
 Component:  Compiler      |        Version:                  
Resolution:  invalid       |       Keywords:                  
Difficulty:                |             Os:  Unknown/Multiple
  Testcase:                |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  |  
---------------------------+------------------------------------------------

Comment(by simonpj):

 See also Neil Mitchell's thesis http://community.haskell.org/~ndm/thesis/.
 In particular his Catch tool, which has an analysis reminiscent of the one
 you suggest.

 Simon

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