#11742: 'Strict' extension is incompatible with 'deriving' mechanism -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * cc: simonpj (added) Comment: This is caused by {{{ tree b0db86fc5c3805eef1e66345bae410375a2a3dd2 parent e3f341f334d89c88f388d8e864ed8762d0890a64 author Simon Peyton Jones Thu Feb 25 15:53:59 2016 +0000 committer Simon Peyton Jones Fri Feb 26 17:14:59 2016 +0000 Special case for desugaring AbsBinds When AbsBinds has no tyvars and no dicts, a rather simpler desugaring is possible. This patch implements it. I don't think the optimised code changes, but there is less clutter generated. }}} I don't quite understand desugaring so can't fix it myself at the moment. cc @simonpj -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11742#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#11742: 'Strict' extension is incompatible with 'deriving' mechanism -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Works ok in HEAD, so far as I can tell. So maybe already fixed? In which case a test case could be good. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11742#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#11742: 'Strict' extension is incompatible with 'deriving' mechanism -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by awson): Rechecked with freshly built ghc-8.1.20160322. The bug remains in place. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11742#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#11742: 'Strict' extension is incompatible with 'deriving' mechanism -------------------------------------+------------------------------------- Reporter: awson | Owner: Type: bug | Status: merge Priority: highest | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | simplCore/should_compile/T11742 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => merge * testcase: => simplCore/should_compile/T11742 Comment: Good bug! Pls merge -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11742#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler