Re: [GHC] #7513: ghc panic in kindFunResult
#7513: ghc panic in kindFunResult
-+--
Reporter: ifigueroap| Owner:
Type: bug | Status: infoneeded
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.1
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by ifigueroap):
I'm sorry, I don't have a minimal reproducible example. The error ocurred
when I was working in monadic code and I put a wrong type annotation,
something like:
{{{
do current - getCurrent :: m (M m)
}}}
the annotation was wrong because the type of getCurrent was actually
{{{
(AOT (MbT m)) (M m)
}}}
where AOT and MbT are some custom monad transformers
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:4
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7513: ghc panic in kindFunResult
#7513: ghc panic in kindFunResult
-+--
Reporter: ifigueroap| Owner:
Type: bug | Status: infoneeded
Priority: normal| Milestone:
Component: Compiler | Version: 7.4.1
Keywords:| Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by ifigueroap):
Since then I modified my code to work correctly...
If you think it is not a duplicate of #7368, I think I can search my svn
history and provide the full project version that triggers the error.
Replying to [comment:4 ifigueroap]:
I'm sorry, I don't have a minimal reproducible example. The error
ocurred when I was working in monadic code and I put a wrong type
annotation, something like:
{{{
do current - getCurrent :: m (M m)
}}}
the annotation was wrong because the type of getCurrent was actually
{{{
(AOT (MbT m)) (M m)
}}}
where AOT and MbT are some custom monad transformers
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7513: ghc panic in kindFunResult
#7513: ghc panic in kindFunResult ---+ Reporter: ifigueroap| Owner: Type: bug | Status: closed Priority: normal| Milestone: Component: Compiler |Version: 7.4.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase:| Blockedby: Blocking:|Related: ---+ Changes (by simonpj): * status: infoneeded = closed * resolution: = fixed Comment: I'm guessing that it's the same, and it's fixed in HEAD, so I'll close this ticket. Reopen if you subsequently discover that HEAD doens't work for you. Thanks! Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7513: ghc panic in kindFunResult
#7513: ghc panic in kindFunResult -+-- Reporter: ifigueroap| Owner: Type: bug | Status: infoneeded Priority: normal| Milestone: Component: Compiler | Version: 7.4.1 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by simonpj): * status: new = infoneeded * difficulty: = Unknown Comment: Let's hope it's a duplicate of #7368. Still, it has served the useful purpose of reminding me about #7368, which I've just fixed. Validating now! Meanwhile this ticket is stalled unless you can come up with a reproducible example. Probably the path of least resistance is to wait for the patch for #7368 to hit the repository, build GHC, and test to see if it fixes your problem. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7513: ghc panic
#7513: ghc panic -+-- Reporter: ifigueroap| Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.4.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Changes (by PHO): * cc: pho@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7513: ghc panic in kindFunResult (was: ghc panic)
#7513: ghc panic in kindFunResult -+-- Reporter: ifigueroap| Owner: Type: bug | Status: new Priority: normal| Component: Compiler Version: 7.4.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking:|Related: -+-- Comment(by goldfire): Have you tried compiling with 7.6.1 or with HEAD? Some kindFunResult panics have been fixed since 7.4.1... This may be related to #7368. Do you have a non-minimal example to reproduce the bug? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7513#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
