#9838: PatternSynonyms and ConstraintKinds should not be required at the use site. -------------------------------------+------------------------------------- Reporter: ekmett | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.8.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by carter): What modules would need be touched to get that in for 7.10? (if its not too deep a dive, i can try to make time tomorrow?) Theres some refinements Ed still wants me to do on the prefetch work, but I think he and i would both agree that getting this into 7.10 has greater impact -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9838#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler