Re: [GHC] #10447: DeriveFoldable rejects instances with constraints in last argument of data type

#10447: DeriveFoldable rejects instances with constraints in last argument of data type -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8678 | Differential Revisions: Phab:D1031 -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"2c5c29722c78e089eda0baa7ff89154b58f23165/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2c5c29722c78e089eda0baa7ff89154b58f23165" DeriveFoldable for data types with existential constraints (#10447) Reviewers: dolio, shachaf, ekmett, austin, #core_libraries_committee, simonpj, bgamari Reviewed By: simonpj, bgamari Subscribers: thomie, bgamari Differential Revision: https://phabricator.haskell.org/D1031 GHC Trac Issues: #10447 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10447#comment:23 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler