#11534: Allow class associated types to reference functional dependencies -------------------------------------+------------------------------------- Reporter: ekmett | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.3 checker) | Keywords: TypeFamilies, Resolution: | FunctionalDependencies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): No, there is no secret type function behind the scenes. Functional dependencies ONLY cause extra unification to take place. One could imagine something more ambitious but it is not designed or implemented. What repetition? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11534#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler