From b2b0feab152063f71c4bf58f985cd52fc9e0105a Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Fri, 11 Jan 2013 14:42:54 +0100
Subject: Extend char() to Unicode characters

The code related to the introduction of unicode_string() and
unicode_char() has been removed. The types char() and string() have
been extended to include Unicode characters.

In fact char() was changed some time ago; this commit is about
cleaning up the documentation and introduce better names for some
functions.
---
 lib/hipe/cerl/erl_types.erl | 34 +---------------------------------
 1 file changed, 1 insertion(+), 33 deletions(-)

(limited to 'lib/hipe/cerl/erl_types.erl')

diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl
index 7631f5289e..0f88b32db1 100644
--- a/lib/hipe/cerl/erl_types.erl
+++ b/lib/hipe/cerl/erl_types.erl
@@ -2,7 +2,7 @@
 %%
 %% %CopyrightBegin%
 %%
-%% Copyright Ericsson AB 2003-2012. All Rights Reserved.
+%% Copyright Ericsson AB 2003-2013. All Rights Reserved.
 %%
 %% The contents of this file are subject to the Erlang Public License,
 %% Version 1.1, (the "License"); you may not use this file except in
@@ -63,7 +63,6 @@
 	 t_boolean/0,
 	 t_byte/0,
 	 t_char/0,
-	 t_charlist/0,
 	 t_collect_vars/1,
 	 t_cons/0,
 	 t_cons/2,
@@ -197,7 +196,6 @@
 	 t_tuple_size/1,
 	 t_tuple_sizes/1,
 	 t_tuple_subtypes/1,
-	 t_unicode_string/0,
 	 t_unify/2,
 	 t_unify/3,
 	 t_unit/0,
@@ -1458,21 +1456,6 @@ t_is_tuple(_) -> false.
 t_bitstrlist() ->
   t_iolist(1, t_bitstr()).
 
--spec t_charlist() -> erl_type().
-
-t_charlist() ->
-  t_charlist(1).
-
--spec t_charlist(non_neg_integer()) -> erl_type().
-
-t_charlist(N) when N > 0 ->
-  t_maybe_improper_list(t_sup([t_unicode_char(),
-			       t_unicode_binary(),
-			       t_charlist(N-1)]),
-		        t_sup(t_unicode_binary(), t_nil()));
-t_charlist(0) ->
-  t_maybe_improper_list(t_any(), t_sup(t_unicode_binary(), t_nil())).
-
 -spec t_constant() -> erl_type().
 
 t_constant() ->
@@ -1568,21 +1551,6 @@ t_parameterized_module() ->
 t_timeout() ->
   t_sup(t_non_neg_integer(), t_atom('infinity')).
 
--spec t_unicode_binary() -> erl_type().
-
-t_unicode_binary() ->
-  t_binary().  % with characters encoded in UTF-8 coding standard
-
--spec t_unicode_char() -> erl_type().
-
-t_unicode_char() ->
-  t_integer(). % representing a valid unicode codepoint
-
--spec t_unicode_string() -> erl_type().
-
-t_unicode_string() ->
-  t_list(t_unicode_char()).
-
 %%-----------------------------------------------------------------------------
 %% Some built-in opaque types
 %%
-- 
cgit v1.2.3