
(* this optimization throws an exception, to test that it
   is disabled. *)
structure ExnOpt :> sig end =
struct

  open Il

  fun oops (Text "x") = Text "x"

  val _ = Driver.register_opt {optfun=Driver.Iltoil oops,
                               optname="Exn Opt",
                               scorefn=(fn x=>x),
                               trusted=false,
                               initscore=NONE,
                               blowup=false,
                               disabled=true}
end
