Skip to content

Commit

Permalink
[enhance] opatop: Added typer warnings to opatop
Browse files Browse the repository at this point in the history
  • Loading branch information
BourgerieQuentin committed Feb 23, 2012
1 parent 4d33289 commit c6557db
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions opatop/opaTopMain.ml
Expand Up @@ -210,6 +210,20 @@ let spec = [
@ ( Sa.import_arg_options WarningClass.Arg.options ) @ ( Sa.import_arg_options WarningClass.Arg.options )
@ ( Sa.import_arg_options OpaSyntax.Args.options ) @ ( Sa.import_arg_options OpaSyntax.Args.options )



(**
Loading opatop warnings
*)
let _ =
let warning_set =
let s = WarningClass.Set.create () in
(* let (!+) w = WarningClass.Set.add s w in *)
let (!++) s' = WarningClass.Set.add_set s s' in
!++ QmlTyperWarnings.warning_set;
s
in
WarningClass.load_set warning_set

(** (**
Anon function for non --option arguments Anon function for non --option arguments
*) *)
Expand Down

0 comments on commit c6557db

Please sign in to comment.