#12441: Conflicting definitions error does not print explicit quantifiers when necessary -------------------------------------+------------------------------------- Reporter: ezyang | Owner: philderbeast Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.1 checker) | Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2734 Wiki Page: | -------------------------------------+------------------------------------- Comment (by philderbeast): Found these failures ... {{{ Unexpected results from: TEST="T3468 tcfail072 T8119 KindInvariant" }}} Of those, only T3468 is showing forall in the diff ... {{{ Actual stderr output differs from expected: and its hs-boot file Main module: type role Tool phantom data Tool d where - F :: a -> Tool d + F :: forall d a r. a -> Tool d Boot file: abstract Tool The types have different kinds *** unexpected failure for T3468(normal) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12441#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler