aboutsummaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2011-02-10 10:17:37 +0200
committerKostis Sagonas <[email protected]>2011-02-10 10:17:37 +0200
commit179fff827985bc314f2a4cc953d66cdfebb05a57 (patch)
tree401961443d24a7e1b145c1f950368f736ebd0ac7 /lib
parent405342e5adac19e4522bff90ffd4bda39f742c9a (diff)
downloadotp-179fff827985bc314f2a4cc953d66cdfebb05a57.tar.gz
otp-179fff827985bc314f2a4cc953d66cdfebb05a57.tar.bz2
otp-179fff827985bc314f2a4cc953d66cdfebb05a57.zip
Allow for --show_success_typings spelling also
Diffstat (limited to 'lib')
-rw-r--r--lib/typer/src/typer.erl1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl
index a194770182..8955ebe4aa 100644
--- a/lib/typer/src/typer.erl
+++ b/lib/typer/src/typer.erl
@@ -599,6 +599,7 @@ cl(["--edoc"|Opts]) -> {edoc, Opts};
cl(["--show"|Opts]) -> {{mode, ?SHOW}, Opts};
cl(["--show_exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
cl(["--show-exported"|Opts]) -> {{mode, ?SHOW_EXPORTED}, Opts};
+cl(["--show_success_typings"|Opts]) -> {show_succ, Opts};
cl(["--show-success-typings"|Opts]) -> {show_succ, Opts};
cl(["--annotate"|Opts]) -> {{mode, ?ANNOTATE}, Opts};
cl(["--annotate-inc-files"|Opts]) -> {{mode, ?ANNOTATE_INC_FILES}, Opts};