#11220: Stack overflow instead of type check failure in Servant route -------------------------------------+------------------------------------- Reporter: sopvop | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler (Type | Version: 7.10.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): The new error is actually somewhat informative. I don't have the definitions of `IsSubList` and `And` to hand (though they're easy to imagine). Could they loop? If they are the simple definitions I imagine, this is indeed a GHC bug. If they reasonably can loop, on the other hand, then this error message might be acceptable. Need feedback from the original poster, and a test case that doesn't depend on all of `servant` would be great. (Just inline the definitions into this module?) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11220#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler