aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-12-11 12:16:17 +0100
committerHans Bolinder <[email protected]>2015-12-15 08:55:08 +0100
commitb08742128224c2d9860a97444d22064b4ecbb54d (patch)
tree452f9b0b07b8d94378bccb53bc8c38f8aefbc7df
parentf8eb1fa88f93487c15ce0834f373cad790159680 (diff)
downloadotp-b08742128224c2d9860a97444d22064b4ecbb54d.tar.gz
otp-b08742128224c2d9860a97444d22064b4ecbb54d.tar.bz2
otp-b08742128224c2d9860a97444d22064b4ecbb54d.zip
hipe: Use '::' for constraints
-rw-r--r--lib/hipe/icode/hipe_icode.erl6
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