#1111: Too-eager variable capture in forall types
----------------------+-----------------------------------------------------
Reporter: japple | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 6.6.1
Component: Compiler | Version: 6.6
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Linux |
----------------------+-----------------------------------------------------
Changes (by igloo):
* milestone: => 6.6.1
* owner: => simonpj
Comment:
I'm seeing
{{{
<interactive>: internal error: stg_ap_v_ret
(GHC version 6.6 for x86_64_unknown_linux)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
}}}
for oops/oopsAgain rather than Illegal instruction, and the same CASEFAIL
as the submitter for oopsOnceMore. HEAD is the same.
I'm not quite sure what's going on here. Is the monomorphism restriction
allowing the a to be unified with the x in h?
Sounds like one for you, Simon!
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1111>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
