#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