[GHC] #12837: KnownNat and KnownSymbol should be abstract

[GHC]

#12837: KnownNat and KnownSymbol should be abstract
-------------------------------------+-------------------------------------
        Reporter:  adamgundry        |                Owner:  sean
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  newcomer
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC accepts       |  Unknown/Multiple
  invalid program                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by sean):

 * owner:   => sean


Comment:

 Also a newbie but I've managed to get this working in the way you
 described. I'll start following the submission instructions by making
 myself the owner, apologies if I'm mistaken in doing this.

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