#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