#16184: GHC said to report a bug -------------------------------------+------------------------------------- Reporter: TheKing01 | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.3 checker) | Resolution: wontfix | Keywords: panic, skolem Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => wontfix Comment: Thanks. Seems OK with a more up to date GHC. E.g GHC 8.4 says {{{ T16184.hs:28:15: error: • Couldn't match type ‘a’ with ‘Bool’ ‘a’ is a rigid type variable bound by a type expected by the context: forall a. Ord a => ((Integer -> Bool) -> a) -> Integer -> Bool at T16184.hs:28:8-17 Expected type: ((Integer -> Bool) -> a) -> Integer -> Bool Actual type: ((Integer -> Bool) -> Bool) -> Integer -> Bool }}} I'm afraid we won't go back to fix 7.10. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16184#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler