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

[GHC]

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

 The role of the Committee is to decide on [https://github.com/ghc-
 proposals/ghc-proposals proposals]. That's it. We have no special
 authority here on Trac. GHC is a community-based compiler, and this is a
 community forum for posting and debating deficiencies in GHC.

 Bugs generally are instances where GHC's observable behavior differs from
 either the Haskell Report or its own manual. (I say "generally", because
 the manual is sometimes not as well-specified as it could be and thus the
 discrepancy may be a matter of interpretation. The Report is much
 tighter.) If some behavior in GHC conforms to the Report/manual, then it
 is not a bug. If that behavior seems wrong in some way (even if it matches
 the Report/manual), you may want to consider writing a proposal to change
 it.

 So: for the behavior originally reported above, do you see a way in which
 GHC's behavior differs from what should be expected from the Report and/or
 manual?

 We (@hsyl20, @AntC, and myself, at least) do not see such a discrepancy.
 This is why the ticket was closed. However, if you could point out the
 discrepancy -- not appealing to "logic" or "intuition", but appealing to
 the text of the Report and/or manual -- then perhaps we are the ones
 mistaken. On the other hand, if there is no discrepancy, please close the
 ticket.

 PS: I always think it's best if we assume good intentions on everyone's
 behalf and avoid discussions of individuals' characteristics (intellect,
 age, etc.). I've had a good many times where I've felt someone was wasting
 my time only to find, at the end of a long conversation, I've learned
 something new and interesting.

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