#3959: indenting change causes internal error
-----------------------------------------+----------------------------------
Reporter: RichardG | Owner: simonpj
Type: bug | Status: closed
Priority: low | Milestone: 6.14.1
Component: Compiler | Version: 6.12.1
Resolution: fixed | Keywords:
Testcase: simplCore/should_run/T3959 | Blockedby:
Difficulty: | Os: MacOS X
Blocking: 3961, 3983 | Architecture: x86
Failure: None/Unknown |
-----------------------------------------+----------------------------------
Changes (by simonpj):
* status: new => closed
* testcase: => simplCore/should_run/T3959
* resolution: => fixed
Comment:
OK I think I have finally fixed this. It's all to do with eta expansion
and bottoming functions; there are lots of notes in `CoreArity`
{{{
Fri Aug 13 17:11:51 BST 2010 [email protected]
* Re-do the arity calculation mechanism again (fix Trac #3959)
After rumination, yet again, on the subject of arity calculation,
I have redone what an ArityType is (it's purely internal to the
CoreArity module), and documented it better. The result should
fix #3959, and I hope the related #3961, #3983.
There is lots of new documentation: in particular
* Note [ArityType]
describes the new datatype for arity info
* Note [State hack and bottoming functions]
says how bottoming functions are dealt with, particularly
covering catch# and Trac #3959
I also found I had to be careful not to eta-expand single-method
class constructors; see Note [Newtype classes and eta expansion].
I think this part could be done better, but it works ok.
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3959#comment:11>
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
