[GHC] #10285: Bug in Coerciible
GHC
ghc-devs at haskell.org
Fri Apr 24 21:02:03 UTC 2015
#10285: Bug in Coerciible
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner: goldfire
Type: bug | Status: new
Priority: highest | Milestone: 7.10.2
Component: Compiler | Version: 7.10.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Richard Eisenberg <eir@…>):
In [changeset:"a8d39a7255df187b742fecc049f0de6528b9acad/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="a8d39a7255df187b742fecc049f0de6528b9acad"
Fix #10285 by refusing to use NthCo on a newtype.
During this commit, I tested to make sure that CoreLint actually
catches the Core error if the typechecker doesn't.
Test case: typecheck/should_fail/T10285
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10285#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list