#2598: Avoid excessive specialisation in SpecConstr
-----------------------------+----------------------------------------------
Reporter: simonpj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.3
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-----------------------------+----------------------------------------------
Comment (by simonpj):
Neil has a good suggestion: One possible heuristic would be to never
specialise down recursive
components. That way you would only ever obtain the specialisations:
{{{
[]
_:_
' ':_
'-':_
}}}
Which seems like a sensible set. By using a size bound as well, your
definition of recursive components can be very weak - directly recursive
should catch most examples. I'm not sure how this work with other
examples - it seems sufficient for the classic 'last' example though.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2598#comment:1>
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
