[GHC] #13635: Incorrect result at runtime with list comprehensions in that case

GHC ghc-devs at haskell.org
Mon May 1 17:10:18 UTC 2017


#13635: Incorrect result at runtime with list comprehensions in that case
-------------------------------------+-------------------------------------
        Reporter:  vanto             |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.2
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by vanto):

 Hello goldfire,\\

 yes, I agree with you. It is not a bug.
 However this behavior is irrational.
 Reason has disappeared, good sense no longer exists.\\
 See ticket #13557.\\
 In this ticket simonpj said " I think this is correct behaviour".\\
 Yes simonpj, this behavior is correct since you coded it as well!
 The compiler is stupid, where is the good sense? \\
 It is because this good sense did not appear in GHC 7.6.3 that this
 continues.
 The compiler would have a better behavior, with more good sense, if
 "typed holes" was set off as of launch, I think.\\
 If you want to comment before I close the ticket, thank you.
 Soon I open a new feature request ticket to repeat this.

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


More information about the ghc-tickets mailing list