#5550: GHC infinite loop when compiling vector
---------------------------------+------------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.2.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by rl):
I fear there is still a misunderstanding. We don't mark any "real" types
as !ForceSpecConstr. There is exactly 1 type in vector that's marked as
!ForceSpecConstr, namely SPEC. We even agreed to get rid of the annotation
altogether and just put that type into base but I didn't get around to
doing that. We can't mark the types that we actually want to specialise on
because they are supplied by the user and might be defined by the user.
Nor can we mark the types that we don't want to specialise on, for the
same reasons. Really, !ForceSpecConstr is an annotation on functions, not
on types. The fact that it is applied to a type is an artefact of how the
simplifier works - we annotate one very special type and then use it as an
additional function argument rather than annotating the function directly
because annotating the function would be extremely fragile whereas having
a special argument isn't (yet).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5550#comment:14>
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
