#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