diff options
| author | Kostis Sagonas <[email protected]> | 2010-11-09 14:47:30 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-11-22 12:01:26 +0100 |
| commit | 6083a1a9e553eac8a0b33697964fadfd17d302ca (patch) | |
| tree | aa8ba675e51982c4328c9605d25aaa65fe08bbb6 /lib/hipe/icode/hipe_icode_range.erl | |
| parent | 76378bb4a1a89d08b41d6f3df0edc6c26160bef7 (diff) | |
| download | otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.tar.gz otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.tar.bz2 otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.zip | |
hipe: Update types and specs
Diffstat (limited to 'lib/hipe/icode/hipe_icode_range.erl')
| -rw-r--r-- | lib/hipe/icode/hipe_icode_range.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hipe/icode/hipe_icode_range.erl b/lib/hipe/icode/hipe_icode_range.erl index bcc857acf4..c7e6a451af 100644 --- a/lib/hipe/icode/hipe_icode_range.erl +++ b/lib/hipe/icode/hipe_icode_range.erl @@ -843,7 +843,7 @@ compare_with_integer(N, OldVarRange) -> %%== Ranges ================================================================== --spec pp_ann(#ann{} | erl_types:erl_type()) -> [string()]. +-spec pp_ann(#ann{} | erl_types:erl_type()) -> string(). pp_ann(#ann{range=#range{range=R, other=false}}) -> pp_range(R); @@ -1365,7 +1365,7 @@ range_bnot(Range) -> Minus_one = range_init({-1,-1}, false), range_add(range_mult(Range, Minus_one), Minus_one). --spec width(range_rep() | integer()) -> 'pos_inf' | non_neg_integer(). +-spec width(range_rep() | inf_integer()) -> 'pos_inf' | non_neg_integer(). width({Min, Max}) -> inf_max([width(Min), width(Max)]); width(pos_inf) -> pos_inf; |