Move the opt* fields from DynFlags into the Settings type
authorIan Lynagh <igloo@earth.li>
Fri, 22 Apr 2011 12:34:26 +0000 (13:34 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 22 Apr 2011 12:34:26 +0000 (13:34 +0100)
commitd1941af03f22f52cbd806f97641243f160fbc99b
treec4de66b37d17467ee59523f9a52086aa9ae42e34
parent0d72999279cf583336416a4c76de769bfc839b97
Move the opt* fields from DynFlags into the Settings type

The pgm* fields are already in Settings
compiler/main/DynFlags.hs
compiler/main/SysTools.lhs