diff options
| author | Hans Bolinder <[email protected]> | 2015-12-15 08:55:56 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:56 +0100 |
| commit | 995f437e6d4d9e1b42a3be1b181c9c52265c4274 (patch) | |
| tree | cba28ce855c02795e43a4dba9eecd51fea03cacf /lib/hipe/icode/hipe_icode.erl | |
| parent | 291f263dfa099bcb4022581b9cc3e4e9473aba2f (diff) | |
| parent | 57a1eebddcbbc4f3f9734fb5cff8f9b40e1b2c2d (diff) | |
| download | otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.tar.gz otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.tar.bz2 otp-995f437e6d4d9e1b42a3be1b181c9c52265c4274.zip | |
Merge branch 'hb/stdlib/remove_old_type_syntax/OTP-11879'
* hb/stdlib/remove_old_type_syntax/OTP-11879:
stdlib: Add a comment about is_subtype(_, _) constraints
hipe: Use '::' for constraints
debugger: Use '::' for constraints
doc: Remove 'is_subtype' from Types and Function Specifications
dialyzer: Print constraints using the '::' syntax
stdlib: Remove undocumented function specification syntax
Diffstat (limited to 'lib/hipe/icode/hipe_icode.erl')
| -rw-r--r-- | lib/hipe/icode/hipe_icode.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hipe/icode/hipe_icode.erl b/lib/hipe/icode/hipe_icode.erl index 9692eebb10..07d230491d 100644 --- a/lib/hipe/icode/hipe_icode.erl +++ b/lib/hipe/icode/hipe_icode.erl @@ -1376,12 +1376,12 @@ remove_constants(L) -> %% Substitution: replace occurrences of X by Y if {X,Y} is in the %% Subst_list. --spec subst([{_,_}], I) -> I when is_subtype(I, icode_instr()). +-spec subst([{_,_}], I) -> I when I :: icode_instr(). subst(Subst, I) -> subst_defines(Subst, subst_uses(Subst, I)). --spec subst_uses([{_,_}], I) -> I when is_subtype(I, icode_instr()). +-spec subst_uses([{_,_}], I) -> I when I :: icode_instr(). subst_uses(Subst, I) -> case I of @@ -1405,7 +1405,7 @@ subst_uses(Subst, I) -> #icode_label{} -> I end. --spec subst_defines([{_,_}], I) -> I when is_subtype(I, icode_instr()). +-spec subst_defines([{_,_}], I) -> I when I :: icode_instr(). subst_defines(Subst, I) -> case I of |