Allow -X flags to be deprecated, and deprecate RecordPuns; fixes #2320
authorIan Lynagh <igloo@earth.li>
Sun, 15 Jun 2008 00:00:41 +0000 (00:00 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 15 Jun 2008 00:00:41 +0000 (00:00 +0000)
commita886e1222a7649441ec7511ad41e71ca0df91ced
treea6726703d73a5c3eb6106f130d881122f0a5176c
parenta1e077c2ecbab045b748941e5bca25c2a677eb55
Allow -X flags to be deprecated, and deprecate RecordPuns; fixes #2320
compiler/ghci/InteractiveUI.hs
compiler/main/DynFlags.hs