[GHC] #7168: Loop

[GHC]

#7168: Loop
-------------------------------------------------+--------------------------
    Reporter:  bas                               |        Owner:                             
        Type:  bug                               |       Status:  closed                     
    Priority:  normal                            |    Component:  Compiler                   
     Version:  7.4.1                             |   Resolution:  invalid                    
    Keywords:  Lazy evaluation, Loop, Eagerness  |           Os:  Unknown/Multiple           
Architecture:  x86                               |      Failure:  Incorrect result at runtime
    Testcase:                                    |    Blockedby:                             
    Blocking:                                    |      Related:                             
-------------------------------------------------+--------------------------
Changes (by ross):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 It's not that a and b are evaluated, but the pairs are, precisely as
 specified in the semantics of pattern matching.  The following does the
 same:
 {{{
 f = (1,8) .++. carefully f
 (a,b) .++. (c,d) = (1,0)
 carefully (a,b) = (1,2)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7168#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler