[GHC] #14084: Strange behavior of GHC by writing the types in GHCi

GHC ghc-devs at haskell.org
Thu Aug 3 16:36:47 UTC 2017


#14084: Strange behavior of GHC by writing the types in GHCi
-------------------------------------+-------------------------------------
        Reporter:  vanto             |                Owner:  (none)
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:
       Component:  GHCi              |              Version:  8.0.2
      Resolution:  invalid           |             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):

 Reply. Thanks for the answers. Okay, you're right. Mea culpa, mea culpa,
 mea maxima culpa. Thank you for indicating where to ask questions.
 Truthfully I thought it was a bug.\\
 However something is not right.\\
 1:2 is not a list. Where is the empty list [] ?\\
 GHC should not be able to evaluate this expression which is poorly
 written. And yet it does. It's amazing.\\
 It can with numbers but it can not with characters.\\
 The ML and Miranda compilers, for example, do not manage to
 evaluate this kind of poorly written list, as well as with numbers or
 characters.\\
 Intellectually this should be considered a bug.\\

 {{{
 Here are examples of lists:
 1:2:3:[]
 [1,2,3]
 1:2:undefined
 [1,2,..]
 'a':'b':[]
 ['a','b']
 }}}
 I'm going to open a new bug ticket soon. And that is not a request for
 information.

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


More information about the ghc-tickets mailing list