[GHC] #10116: Closed type families: Warn if it doesn't handle all cases

25 Feb 2015

      #10116: Closed type families: Warn if it doesn't handle all cases
-------------------------------------+-------------------------------------
              Reporter:  andrewthad  |             Owner:
                  Type:  task        |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.8.4
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |        Blocked By:
             Test Case:              |   Related Tickets:
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Right now, I can do the following:

 data Foo = A | B
 type family Bar (n :: 'Foo) where
   Bar 'A = Int

 I would like to be warned if I write a partial type function like this
 because partial functions are almost always a mistake.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10116
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler