diff options
| author | Hans Bolinder <[email protected]> | 2015-12-11 12:16:17 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-12-15 08:55:08 +0100 |
| commit | b08742128224c2d9860a97444d22064b4ecbb54d (patch) | |
| tree | 452f9b0b07b8d94378bccb53bc8c38f8aefbc7df | |
| parent | f8eb1fa88f93487c15ce0834f373cad790159680 (diff) | |
| download | otp-b08742128224c2d9860a97444d22064b4ecbb54d.tar.gz otp-b08742128224c2d9860a97444d22064b4ecbb54d.tar.bz2 otp-b08742128224c2d9860a97444d22064b4ecbb54d.zip | |
hipe: Use '::' for constraints
| -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 |