Allow flags to be marked as deprecated
authorIan Lynagh <igloo@earth.li>
Sat, 14 Jun 2008 14:48:29 +0000 (14:48 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 14 Jun 2008 14:48:29 +0000 (14:48 +0000)
commita7f88c2f7900257d6791286f653cf141ebcb81c4
treedb9f10aa748c1d519025d400a1ada933d4d7eacc
parentf586a36da133d01607f1936f771722e88b3b3574
Allow flags to be marked as deprecated
compiler/ghci/InteractiveUI.hs
compiler/main/CmdLineParser.hs
compiler/main/DriverMkDepend.hs
compiler/main/DriverPipeline.hs
compiler/main/DynFlags.hs
compiler/main/ErrUtils.lhs
compiler/main/GHC.hs
compiler/main/Main.hs
compiler/main/StaticFlags.hs