aboutsummaryrefslogtreecommitdiffstats
path: root/lib/stdlib/src/erl_parse.yrl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-03-15 08:37:02 +0100
committerHans Bolinder <[email protected]>2016-06-09 11:28:01 +0200
commite054777773718c2252db65e89a587d3f22211720 (patch)
tree28f4a70e4f96f6359862d767de43fe95663fa14c /lib/stdlib/src/erl_parse.yrl
parentd22b933fc64ab9e03633f87eebdc981acfd3538a (diff)
downloadotp-e054777773718c2252db65e89a587d3f22211720.tar.gz
otp-e054777773718c2252db65e89a587d3f22211720.tar.bz2
otp-e054777773718c2252db65e89a587d3f22211720.zip
stdlib: Correct types and specs
Diffstat (limited to 'lib/stdlib/src/erl_parse.yrl')
-rw-r--r--lib/stdlib/src/erl_parse.yrl6
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/stdlib/src/erl_parse.yrl b/lib/stdlib/src/erl_parse.yrl
index 35faf95cba..887ba70859 100644
--- a/lib/stdlib/src/erl_parse.yrl
+++ b/lib/stdlib/src/erl_parse.yrl
@@ -1509,8 +1509,9 @@ type_preop_prec('#') -> {700,800}.
| abstract_type().
-spec map_anno(Fun, Abstr) -> NewAbstr when
- Fun :: fun((Anno) -> Anno),
+ Fun :: fun((Anno) -> NewAnno),
Anno :: erl_anno:anno(),
+ NewAnno :: erl_anno:anno(),
Abstr :: erl_parse_tree(),
NewAbstr :: erl_parse_tree().
@@ -1534,8 +1535,9 @@ fold_anno(F0, Acc0, Abstr) ->
NewAcc.
-spec mapfold_anno(Fun, Acc0, Abstr) -> {NewAbstr, Acc1} when
- Fun :: fun((Anno, AccIn) -> {Anno, AccOut}),
+ Fun :: fun((Anno, AccIn) -> {NewAnno, AccOut}),
Anno :: erl_anno:anno(),
+ NewAnno :: erl_anno:anno(),
Acc0 :: term(),
Acc1 :: term(),
AccIn :: term(),