-
Simon Marlow authored
CmdLineOpts: - add dopt_set and dopt_unset utils. InteractiveUI: - unset -fwarn-unused-binds before evaluating a statement, to avoid bogus warnings about new bindings.
104baabc
CmdLineOpts: - add dopt_set and dopt_unset utils. InteractiveUI: - unset -fwarn-unused-binds before evaluating a statement, to avoid bogus warnings about new bindings.