[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