#14131: Difference between newtype and newtype instance -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: RyanGlScott Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #7938, #9574, | Differential Rev(s): Phab:D3872 #13985 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Really? `reportFloatingKvs` seems to report variables mentioned in `typat_tvs`, which doesn't look like the ones on the RHS. I wasn't expecting a test in `tcFamTyPats`, but rather in `tcTyFamInstEqn`. DO you have a test like the example in comment:8? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14131#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler