GitLab

Also, -read-dot-ghci is now gone. We now have -no-ignore-dot-ghci
instead.

It isn't really an option at all

Patch by Samuel Thibault.

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659530.

There was also a bug caused by INLINEs getting SCCs, but unfortunately
I have lost the test case.  The Note in the code describes the problem
though.

We were pointlessly going from String to SDoc and back again

This is safe now that the tracingDynFlags is not just a call to panic.
Not sure if it was causing a problem as it was, but this change should
help make sure we don't get a chain of thunks built up inside SDocs.

The record field was confusingly using the same name that the value
normally uses.