#8447: A combination of type-level comparison and subtraction does not work for 0 -------------------------------------+------------------------------------- Reporter: nushio | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: Component: Compiler | Version: 7.6.3 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Unknown Type of failure: GHC | Blocked By: rejects valid program | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded Comment: nushio: could you please attach a testcase for the testsuite. The github link you posted seems to be missing some pieces. Thanks! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8447#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler