#8262: Ill-kinded value is not rejected immediately
------------------------------------------------+--------------------------
Reporter: monoidal | Owner:
Type: bug | simonpj
Priority: low | Status: new
Component: Compiler (Type checker) | Milestone:
Resolution: | Version: 7.7
Operating System: Unknown/Multiple | Keywords:
Type of failure: GHC accepts invalid program | Architecture:
Test Case: | Unknown/Multiple
Blocking: | Difficulty:
| Unknown
| Blocked By:
| Related Tickets:
------------------------------------------------+--------------------------
Comment (by Simon Peyton Jones <simonpj@…>):
In [changeset:e365d4963f1061878269502f256b4a56ca273a78/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="e365d4963f1061878269502f256b4a56ca273a78"
Improve the insolubility check when quantifying
See Note [Quantification with errors]
Fixes Trac #8262
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8262#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
