Use https links in user-facing startup and error messages
authorIngo Blechschmidt <iblech@speicherleck.de>
Fri, 14 Dec 2018 16:10:56 +0000 (11:10 -0500)
committerBen Gamari <ben@smart-cactus.org>
Sat, 15 Dec 2018 00:49:28 +0000 (19:49 -0500)
commita1c0b70638949a73bbd404c11797f2edf28f5965
tree0c95a377ac62ab9365b89f2ba9f6e6ba5e1ed85a
parentaeefd7b36b2cab640352f6c8bd16c62d38782edf
Use https links in user-facing startup and error messages

I consider myself lucky that in my circle of friends, `http` urls (as
opposed to `https` urls) are frowned upon in that we generally
apologize in the rase cases that we share an `http` url.

This pull request changes `http` links into their `https` analogues in
the following places:

* In the GHCI startup message (and parts of the User's Guide, where
there are verbatim transcripts of GHCi sessions).
* In a couple of error messages, asking the user to report a bug.

(I also took the liberty to change a single space before the reportabug
url into two spaces, harmonizing this occurence with the others.)

I'm not trying to start a war. I just had a moment to spare and felt
like preparing this diff. Merge or don't merge as you wish!

Reviewers: bgamari, erikd, simonmar

Subscribers: goldfire, rwbarton, carter

Differential Revision: https://phabricator.haskell.org/D5450
compiler/typecheck/TcTyClsDecls.hs
compiler/utils/Panic.hs
docs/users_guide/ghci.rst
ghc/GHCi/UI.hs
rts/RtsMessages.c