Merge branch 'bg/bif-types' into dev

* bg/bif-types:
  Add type information for erlang:garbage_collect_message_area/0
  Add type information for erts_debug:* BIFs
  Add type information for erlang:port_call/2
  Add type information for erlang:display* BIFs
  Add type information for the BIFs in the binary module
  Introduce and use the t_endian() helper
  Add type information for erlang:binary_part/2,3
  Add type info for erlang:append/2 and erlang:subtract/2
  Add type information for the erlang:adler32* BIFs
  Add ppc64 return for erlang:system_info(hipe_architecture)
  Test that all BIFs have known types
  erl_types: Export is_erl_type/1

1 files changed, 4 insertions, 1 deletions

diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl
index 758914ff9e..c1d80740a1 100644
--- a/lib/hipe/cerl/erl_types.erl
+++ b/lib/hipe/cerl/erl_types.erl
@@ -206,7 +206,8 @@
 	 %% t_assign_variables_to_subtype/2,
 	 type_is_defined/3,
 	 subst_all_vars_to_any/1,
-	 lift_list_to_pos_empty/1
+	 lift_list_to_pos_empty/1,
+	 is_erl_type/1
 	]).
 
 %%-define(DO_ERL_TYPES_TEST, true).
@@ -3776,6 +3777,8 @@ any_none_or_unit([?unit|_]) -> true;
 any_none_or_unit([_|Left]) -> any_none_or_unit(Left);
 any_none_or_unit([]) -> false.
 
+-spec is_erl_type(any()) -> boolean().
+
 is_erl_type(?any) -> true;
 is_erl_type(?none) -> true;
 is_erl_type(?unit) -> true;