Throw SourceErrors instead of ProgramErrors in main/HeaderInfo.
authorThomas Schilling <nominolo@googlemail.com>
Fri, 21 Nov 2008 14:13:39 +0000 (14:13 +0000)
committerThomas Schilling <nominolo@googlemail.com>
Fri, 21 Nov 2008 14:13:39 +0000 (14:13 +0000)
commitf7fd7fce1c50ea0014ab88f52313058d402d346e
tree133d752161a5c2d826bc60791578c8f16c23f369
parent51e6b90f8305ef9b50d7623908893f573b2f2116
Throw SourceErrors instead of ProgramErrors in main/HeaderInfo.

Parse errors during dependency analysis or options parsing really
shouldn't kill GHC; this is particularly annoying for GHC API clients.
compiler/main/DriverPipeline.hs
compiler/main/GHC.hs
compiler/main/HeaderInfo.hs