#5837: Context reduction stack overflow can take very long
----------------------------------------+-----------------------------------
Reporter: dreixel | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.6.1
Component: Compiler (Type checker) | Version: 7.4.1-rc2
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Comment(by dimitris):
In the ghc-new-flavor branch (which I have not yet merged to master) I get
this program complaining in ~ 2 seconds using the default 200 context
stack. Is this a better behavior? There is still something super-linear as
the context stack increases but that's because there are many bi-products
(all intermediate family applications are named by flatten skolems, this
can't be helped), but I am wondering if this is better than the comment
"takes `forever' to compile" you wrote above?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5837#comment:4>
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
