Merge branch 'maint' into sverk/trace-process_dump-matchstate

Conflicts:
	erts/emulator/beam/erl_printf_term.c
	erts/emulator/beam/erl_term.c
	erts/emulator/beam/utils.c

1 files changed, 512 insertions, 329 deletions

diff --git a/lib/stdlib/src/erl_parse.yrl b/lib/stdlib/src/erl_parse.yrl
index 1d4a2a1fef..e82282421e 100644
--- a/lib/stdlib/src/erl_parse.yrl
+++ b/lib/stdlib/src/erl_parse.yrl
@@ -2,18 +2,19 @@
 %%
 %% %CopyrightBegin%
 %%
-%% Copyright Ericsson AB 1996-2014. All Rights Reserved.
+%% Copyright Ericsson AB 1996-2015. 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
-%% compliance with the License. You should have received a copy of the
-%% Erlang Public License along with this software. If not, it can be
-%% retrieved online at http://www.erlang.org/.
+%% Licensed under the Apache License, Version 2.0 (the "License");
+%% you may not use this file except in compliance with the License.
+%% You may obtain a copy of the License at
 %%
-%% Software distributed under the License is distributed on an "AS IS"
-%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
-%% the License for the specific language governing rights and limitations
-%% under the License.
+%%     http://www.apache.org/licenses/LICENSE-2.0
+%%
+%% Unless required by applicable law or agreed to in writing, software
+%% distributed under the License is distributed on an "AS IS" BASIS,
+%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+%% See the License for the specific language governing permissions and
+%% limitations under the License.
 %%
 %% %CopyrightEnd%
 %%
@@ -42,7 +43,6 @@ function_call argument_list
 exprs guard
 atomic strings
 prefix_op mult_op add_op list_op comp_op
-rule rule_clauses rule_clause rule_body
 binary bin_elements bin_element bit_expr
 opt_bit_size_expr bit_size_expr opt_bit_type_list bit_type_list bit_type
 top_type top_type_100 top_types type typed_expr typed_attr_val
@@ -54,7 +54,7 @@ bin_base_type bin_unit_type type_200 type_300 type_400 type_500.
 Terminals
 char integer float atom string var
 
-'(' ')' ',' '->' ':-' '{' '}' '[' ']' '|' '||' '<-' ';' ':' '#' '.'
+'(' ')' ',' '->' '{' '}' '[' ']' '|' '||' '<-' ';' ':' '#' '.'
 'after' 'begin' 'case' 'try' 'catch' 'end' 'fun' 'if' 'of' 'receive' 'when'
 'andalso' 'orelse'
 'bnot' 'not'
@@ -73,7 +73,6 @@ Rootsymbol form.
 
 form -> attribute dot : '$1'.
 form -> function dot : '$1'.
-form -> rule dot : '$1'.
 
 attribute -> '-' atom attr_val               : build_attribute('$2', '$3').
 attribute -> '-' atom typed_attr_val         : build_typed_attribute('$2','$3').
@@ -94,7 +93,7 @@ spec_fun -> atom ':' atom '/' integer '::' : {'$1', '$3', '$5'}.
 typed_attr_val -> expr ',' typed_record_fields : {typed_record, '$1', '$3'}.
 typed_attr_val -> expr '::' top_type           : {type_def, '$1', '$3'}.
 
-typed_record_fields -> '{' typed_exprs '}' : {tuple, ?line('$1'), '$2'}.
+typed_record_fields -> '{' typed_exprs '}' : {tuple, ?anno('$1'), '$2'}.
 
 typed_exprs -> typed_expr                 : ['$1'].
 typed_exprs -> typed_expr ',' typed_exprs : ['$1'|'$3'].
@@ -107,97 +106,93 @@ type_sigs -> type_sig                     : ['$1'].
 type_sigs -> type_sig ';' type_sigs       : ['$1'|'$3'].
 
 type_sig -> fun_type                      : '$1'.
-type_sig -> fun_type 'when' type_guards   : {type, ?line('$1'), bounded_fun,
+type_sig -> fun_type 'when' type_guards   : {type, ?anno('$1'), bounded_fun,
                                              ['$1','$3']}.
 
 type_guards -> type_guard                 : ['$1'].
 type_guards -> type_guard ',' type_guards : ['$1'|'$3'].
 
-type_guard -> atom '(' top_types ')'      : {type, ?line('$1'), constraint,
+type_guard -> atom '(' top_types ')'      : {type, ?anno('$1'), constraint,
                                              ['$1', '$3']}.
 type_guard -> var '::' top_type           : build_def('$1', '$3').
 
 top_types -> top_type                     : ['$1'].
 top_types -> top_type ',' top_types       : ['$1'|'$3'].
 
-top_type -> var '::' top_type_100         : {ann_type, ?line('$1'), ['$1','$3']}.
+top_type -> var '::' top_type_100         : {ann_type, ?anno('$1'), ['$1','$3']}.
 top_type -> top_type_100                  : '$1'.
 
 top_type_100 -> type_200                  : '$1'.
 top_type_100 -> type_200 '|' top_type_100 : lift_unions('$1','$3').
 
-type_200 -> type_300 '..' type_300        : {type, ?line('$1'), range,
-                                             [skip_paren('$1'),
-                                              skip_paren('$3')]}.
+type_200 -> type_300 '..' type_300        : {type, ?anno('$1'), range,
+                                             ['$1', '$3']}.
 type_200 -> type_300                      : '$1'.
 
-type_300 -> type_300 add_op type_400      : ?mkop2(skip_paren('$1'),
-                                                   '$2', skip_paren('$3')).
+type_300 -> type_300 add_op type_400      : ?mkop2('$1', '$2', '$3').
 type_300 -> type_400                      : '$1'.
 
-type_400 -> type_400 mult_op type_500     : ?mkop2(skip_paren('$1'),
-                                                   '$2', skip_paren('$3')).
+type_400 -> type_400 mult_op type_500     : ?mkop2('$1', '$2', '$3').
 type_400 -> type_500                      : '$1'.
 
-type_500 -> prefix_op type                : ?mkop1('$1', skip_paren('$2')).
+type_500 -> prefix_op type                : ?mkop1('$1', '$2').
 type_500 -> type                          : '$1'.
 
-type -> '(' top_type ')'                  : {paren_type, ?line('$2'), ['$2']}.
+type -> '(' top_type ')'                  : '$2'.
 type -> var                               : '$1'.
 type -> atom                              : '$1'.
 type -> atom '(' ')'                      : build_gen_type('$1').
-type -> atom '(' top_types ')'            : {type, ?line('$1'),
-                                             normalise('$1'), '$3'}.
-type -> atom ':' atom '(' ')'             : {remote_type, ?line('$1'),
+type -> atom '(' top_types ')'            : build_type('$1', '$3').
+type -> atom ':' atom '(' ')'             : {remote_type, ?anno('$1'),
                                              ['$1', '$3', []]}.
-type -> atom ':' atom '(' top_types ')'   : {remote_type, ?line('$1'),
+type -> atom ':' atom '(' top_types ')'   : {remote_type, ?anno('$1'),
                                              ['$1', '$3', '$5']}.
-type -> '[' ']'                           : {type, ?line('$1'), nil, []}.
-type -> '[' top_type ']'                  : {type, ?line('$1'), list, ['$2']}.
-type -> '[' top_type ',' '...' ']'        : {type, ?line('$1'),
+type -> '[' ']'                           : {type, ?anno('$1'), nil, []}.
+type -> '[' top_type ']'                  : {type, ?anno('$1'), list, ['$2']}.
+type -> '[' top_type ',' '...' ']'        : {type, ?anno('$1'),
                                              nonempty_list, ['$2']}.
-type -> '#' '{' '}'                       : {type, ?line('$1'), map, []}.
-type -> '#' '{' map_pair_types '}'        : {type, ?line('$1'), map, '$3'}.
-type -> '{' '}'                           : {type, ?line('$1'), tuple, []}.
-type -> '{' top_types '}'                 : {type, ?line('$1'), tuple, '$2'}.
-type -> '#' atom '{' '}'                  : {type, ?line('$1'), record, ['$2']}.
-type -> '#' atom '{' field_types '}'      : {type, ?line('$1'),
+type -> '#' '{' '}'                       : {type, ?anno('$1'), map, []}.
+type -> '#' '{' map_pair_types '}'        : {type, ?anno('$1'), map, '$3'}.
+type -> '{' '}'                           : {type, ?anno('$1'), tuple, []}.
+type -> '{' top_types '}'                 : {type, ?anno('$1'), tuple, '$2'}.
+type -> '#' atom '{' '}'                  : {type, ?anno('$1'), record, ['$2']}.
+type -> '#' atom '{' field_types '}'      : {type, ?anno('$1'),
                                              record, ['$2'|'$4']}.
 type -> binary_type                       : '$1'.
 type -> integer                           : '$1'.
-type -> 'fun' '(' ')'                     : {type, ?line('$1'), 'fun', []}.
+type -> 'fun' '(' ')'                     : {type, ?anno('$1'), 'fun', []}.
 type -> 'fun' '(' fun_type_100 ')'        : '$3'.
 
 fun_type_100 -> '(' '...' ')' '->' top_type
-                                          : {type, ?line('$1'), 'fun',
-                                             [{type, ?line('$1'), any}, '$5']}.
+                                          : {type, ?anno('$1'), 'fun',
+                                             [{type, ?anno('$1'), any}, '$5']}.
 fun_type_100 -> fun_type                  : '$1'.
 
-fun_type -> '(' ')' '->' top_type  : {type, ?line('$1'), 'fun',
-                                      [{type, ?line('$1'), product, []}, '$4']}.
+fun_type -> '(' ')' '->' top_type  : {type, ?anno('$1'), 'fun',
+                                      [{type, ?anno('$1'), product, []}, '$4']}.
 fun_type -> '(' top_types ')' '->' top_type
-                                   : {type, ?line('$1'), 'fun',
-                                      [{type, ?line('$1'), product, '$2'},'$5']}.
+                                   : {type, ?anno('$1'), 'fun',
+                                      [{type, ?anno('$1'), product, '$2'},'$5']}.
 
 map_pair_types -> map_pair_type                    : ['$1'].
 map_pair_types -> map_pair_type ',' map_pair_types : ['$1'|'$3'].
-map_pair_type  -> top_type '=>' top_type           : {type, ?line('$2'), map_field_assoc,'$1','$3'}.
+map_pair_type  -> top_type '=>' top_type           : {type, ?anno('$2'), map_field_assoc,['$1','$3']}.
 
 field_types -> field_type                 : ['$1'].
 field_types -> field_type ',' field_types : ['$1'|'$3'].
 
-field_type -> atom '::' top_type          : {type, ?line('$1'), field_type,
+field_type -> atom '::' top_type          : {type, ?anno('$1'), field_type,
                                              ['$1', '$3']}.
 
-binary_type -> '<<' '>>'                  : {type, ?line('$1'),binary,
-					     [abstract(0, ?line('$1')),
-					      abstract(0, ?line('$1'))]}.
-binary_type -> '<<' bin_base_type '>>'    : {type, ?line('$1'),binary,
-					     ['$2', abstract(0, ?line('$1'))]}.
-binary_type -> '<<' bin_unit_type '>>'    : {type, ?line('$1'),binary,
-                                             [abstract(0, ?line('$1')), '$2']}.
+binary_type -> '<<' '>>'                  : {type, ?anno('$1'),binary,
+					     [abstract2(0, ?anno('$1')),
+					      abstract2(0, ?anno('$1'))]}.
+binary_type -> '<<' bin_base_type '>>'    : {type, ?anno('$1'),binary,
+					     ['$2', abstract2(0, ?anno('$1'))]}.
+binary_type -> '<<' bin_unit_type '>>'    : {type, ?anno('$1'),binary,
+                                             [abstract2(0, ?anno('$1')), '$2']}.
 binary_type -> '<<' bin_base_type ',' bin_unit_type '>>'
-                                    : {type, ?line('$1'), binary, ['$2', '$4']}.
+                                    : {type, ?anno('$1'), binary, ['$2', '$4']}.
 
 bin_base_type -> var ':' type          : build_bin_type(['$1'], '$3').
 
@@ -213,7 +208,7 @@ function_clauses -> function_clause : ['$1'].
 function_clauses -> function_clause ';' function_clauses : ['$1'|'$3'].
 
 function_clause -> atom clause_args clause_guard clause_body :
-	{clause,?line('$1'),element(3, '$1'),'$2','$3','$4'}.
+	{clause,?anno('$1'),element(3, '$1'),'$2','$3','$4'}.
 
 
 clause_args -> argument_list : element(1, '$1').
@@ -224,10 +219,10 @@ clause_guard -> '$empty' : [].
 clause_body -> '->' exprs: '$2'.
 
 
-expr -> 'catch' expr : {'catch',?line('$1'),'$2'}.
+expr -> 'catch' expr : {'catch',?anno('$1'),'$2'}.
 expr -> expr_100 : '$1'.
 
-expr_100 -> expr_150 '=' expr_100 : {match,?line('$2'),'$1','$3'}.
+expr_100 -> expr_150 '=' expr_100 : {match,?anno('$2'),'$1','$3'}.
 expr_100 -> expr_150 '!' expr_100 : ?mkop2('$1', '$2', '$3').
 expr_100 -> expr_150 : '$1'.
 
@@ -263,7 +258,7 @@ expr_700 -> record_expr : '$1'.
 expr_700 -> expr_800 : '$1'.
 
 expr_800 -> expr_max ':' expr_max :
-	{remote,?line('$2'),'$1','$3'}.
+	{remote,?anno('$2'),'$1','$3'}.
 expr_800 -> expr_max : '$1'.
 
 expr_max -> var : '$1'.
@@ -275,7 +270,7 @@ expr_max -> binary_comprehension : '$1'.
 expr_max -> tuple : '$1'.
 %%expr_max -> struct : '$1'.
 expr_max -> '(' expr ')' : '$2'.
-expr_max -> 'begin' exprs 'end' : {block,?line('$1'),'$2'}.
+expr_max -> 'begin' exprs 'end' : {block,?anno('$1'),'$2'}.
 expr_max -> if_expr : '$1'.
 expr_max -> case_expr : '$1'.
 expr_max -> receive_expr : '$1'.
@@ -283,22 +278,22 @@ expr_max -> fun_expr : '$1'.
 expr_max -> try_expr : '$1'.
 
 
-list -> '[' ']' : {nil,?line('$1')}.
-list -> '[' expr tail : {cons,?line('$1'),'$2','$3'}.
+list -> '[' ']' : {nil,?anno('$1')}.
+list -> '[' expr tail : {cons,?anno('$1'),'$2','$3'}.
 
-tail -> ']' : {nil,?line('$1')}.
+tail -> ']' : {nil,?anno('$1')}.
 tail -> '|' expr ']' : '$2'.
-tail -> ',' expr tail : {cons,?line('$2'),'$2','$3'}.
+tail -> ',' expr tail : {cons,?anno('$2'),'$2','$3'}.
 
 
-binary -> '<<' '>>' : {bin,?line('$1'),[]}.
-binary -> '<<' bin_elements '>>' : {bin,?line('$1'),'$2'}.
+binary -> '<<' '>>' : {bin,?anno('$1'),[]}.
+binary -> '<<' bin_elements '>>' : {bin,?anno('$1'),'$2'}.
 
 bin_elements -> bin_element : ['$1'].
 bin_elements -> bin_element ',' bin_elements : ['$1'|'$3'].
 
 bin_element -> bit_expr opt_bit_size_expr opt_bit_type_list :
-	{bin_element,?line('$1'),'$1','$2','$3'}.
+	{bin_element,?anno('$1'),'$1','$2','$3'}.
 
 bit_expr -> prefix_op expr_max : ?mkop1('$1', '$2').
 bit_expr -> expr_max : '$1'.
@@ -319,29 +314,29 @@ bit_size_expr -> expr_max : '$1'.
 
 
 list_comprehension -> '[' expr '||' lc_exprs ']' :
-	{lc,?line('$1'),'$2','$4'}.
+	{lc,?anno('$1'),'$2','$4'}.
 binary_comprehension -> '<<' binary '||' lc_exprs '>>' :
-	{bc,?line('$1'),'$2','$4'}.
+	{bc,?anno('$1'),'$2','$4'}.
 lc_exprs -> lc_expr : ['$1'].
 lc_exprs -> lc_expr ',' lc_exprs : ['$1'|'$3'].
 
 lc_expr -> expr : '$1'.
-lc_expr -> expr '<-' expr : {generate,?line('$2'),'$1','$3'}.
-lc_expr -> binary '<=' expr : {b_generate,?line('$2'),'$1','$3'}.
+lc_expr -> expr '<-' expr : {generate,?anno('$2'),'$1','$3'}.
+lc_expr -> binary '<=' expr : {b_generate,?anno('$2'),'$1','$3'}.
 
-tuple -> '{' '}' : {tuple,?line('$1'),[]}.
-tuple -> '{' exprs '}' : {tuple,?line('$1'),'$2'}.
+tuple -> '{' '}' : {tuple,?anno('$1'),[]}.
+tuple -> '{' exprs '}' : {tuple,?anno('$1'),'$2'}.
 
 
 %%struct -> atom tuple :
-%%	{struct,?line('$1'),element(3, '$1'),element(3, '$2')}.
+%%	{struct,?anno('$1'),element(3, '$1'),element(3, '$2')}.
 
 map_expr -> '#' map_tuple :
-	{map, ?line('$1'),'$2'}.
+	{map, ?anno('$1'),'$2'}.
 map_expr -> expr_max '#' map_tuple :
-	{map, ?line('$2'),'$1','$3'}.
+	{map, ?anno('$2'),'$1','$3'}.
 map_expr -> map_expr '#' map_tuple :
-	{map, ?line('$2'),'$1','$3'}.
+	{map, ?anno('$2'),'$1','$3'}.
 
 map_tuple -> '{' '}' : [].
 map_tuple -> '{' map_fields '}' : '$2'.
@@ -353,10 +348,10 @@ map_field -> map_field_assoc : '$1'.
 map_field -> map_field_exact : '$1'.
 
 map_field_assoc -> map_key '=>' expr :
-	{map_field_assoc,?line('$1'),'$1','$3'}.
+	{map_field_assoc,?anno('$1'),'$1','$3'}.
 
 map_field_exact -> map_key ':=' expr :
-	{map_field_exact,?line('$1'),'$1','$3'}.
+	{map_field_exact,?anno('$1'),'$1','$3'}.
 
 map_key -> expr : '$1'.
 
@@ -366,17 +361,17 @@ map_key -> expr : '$1'.
 %% always atoms for the moment, this might change in the future.
 
 record_expr -> '#' atom '.' atom :
-	{record_index,?line('$1'),element(3, '$2'),'$4'}.
+	{record_index,?anno('$1'),element(3, '$2'),'$4'}.
 record_expr -> '#' atom record_tuple :
-	{record,?line('$1'),element(3, '$2'),'$3'}.
+	{record,?anno('$1'),element(3, '$2'),'$3'}.
 record_expr -> expr_max '#' atom '.' atom :
-	{record_field,?line('$2'),'$1',element(3, '$3'),'$5'}.
+	{record_field,?anno('$2'),'$1',element(3, '$3'),'$5'}.
 record_expr -> expr_max '#' atom record_tuple :
-	{record,?line('$2'),'$1',element(3, '$3'),'$4'}.
+	{record,?anno('$2'),'$1',element(3, '$3'),'$4'}.
 record_expr -> record_expr '#' atom '.' atom :
-	{record_field,?line('$2'),'$1',element(3, '$3'),'$5'}.
+	{record_field,?anno('$2'),'$1',element(3, '$3'),'$5'}.
 record_expr -> record_expr '#' atom record_tuple :
-	{record,?line('$2'),'$1',element(3, '$3'),'$4'}.
+	{record,?anno('$2'),'$1',element(3, '$3'),'$4'}.
 
 record_tuple -> '{' '}' : [].
 record_tuple -> '{' record_fields '}' : '$2'.
@@ -384,47 +379,47 @@ record_tuple -> '{' record_fields '}' : '$2'.
 record_fields -> record_field : ['$1'].
 record_fields -> record_field ',' record_fields : ['$1' | '$3'].
 
-record_field -> var '=' expr : {record_field,?line('$1'),'$1','$3'}.
-record_field -> atom '=' expr : {record_field,?line('$1'),'$1','$3'}.
+record_field -> var '=' expr : {record_field,?anno('$1'),'$1','$3'}.
+record_field -> atom '=' expr : {record_field,?anno('$1'),'$1','$3'}.
 
 %% N.B. This is called from expr_700.
 
 function_call -> expr_800 argument_list :
-	{call,?line('$1'),'$1',element(1, '$2')}.
+	{call,?anno('$1'),'$1',element(1, '$2')}.
 
 
-if_expr -> 'if' if_clauses 'end' : {'if',?line('$1'),'$2'}.
+if_expr -> 'if' if_clauses 'end' : {'if',?anno('$1'),'$2'}.
 
 if_clauses -> if_clause : ['$1'].
 if_clauses -> if_clause ';' if_clauses : ['$1' | '$3'].
 
 if_clause -> guard clause_body :
-	{clause,?line(hd(hd('$1'))),[],'$1','$2'}.
+	{clause,?anno(hd(hd('$1'))),[],'$1','$2'}.
 
 
 case_expr -> 'case' expr 'of' cr_clauses 'end' :
-	{'case',?line('$1'),'$2','$4'}.
+	{'case',?anno('$1'),'$2','$4'}.
 
 cr_clauses -> cr_clause : ['$1'].
 cr_clauses -> cr_clause ';' cr_clauses : ['$1' | '$3'].
 
 cr_clause -> expr clause_guard clause_body :
-	{clause,?line('$1'),['$1'],'$2','$3'}.
+	{clause,?anno('$1'),['$1'],'$2','$3'}.
 
 receive_expr -> 'receive' cr_clauses 'end' :
-	{'receive',?line('$1'),'$2'}.
+	{'receive',?anno('$1'),'$2'}.
 receive_expr -> 'receive' 'after' expr clause_body 'end' :
-	{'receive',?line('$1'),[],'$3','$4'}.
+	{'receive',?anno('$1'),[],'$3','$4'}.
 receive_expr -> 'receive' cr_clauses 'after' expr clause_body 'end' :
-	{'receive',?line('$1'),'$2','$4','$5'}.
+	{'receive',?anno('$1'),'$2','$4','$5'}.
 
 
 fun_expr -> 'fun' atom '/' integer :
-	{'fun',?line('$1'),{function,element(3, '$2'),element(3, '$4')}}.
+	{'fun',?anno('$1'),{function,element(3, '$2'),element(3, '$4')}}.
 fun_expr -> 'fun' atom_or_var ':' atom_or_var '/' integer_or_var :
-	{'fun',?line('$1'),{function,'$2','$4','$6'}}.
+	{'fun',?anno('$1'),{function,'$2','$4','$6'}}.
 fun_expr -> 'fun' fun_clauses 'end' :
-	build_fun(?line('$1'), '$2').
+	build_fun(?anno('$1'), '$2').
 
 atom_or_var -> atom : '$1'.
 atom_or_var -> var : '$1'.
@@ -436,16 +431,16 @@ fun_clauses -> fun_clause : ['$1'].
 fun_clauses -> fun_clause ';' fun_clauses : ['$1' | '$3'].
 
 fun_clause -> argument_list clause_guard clause_body :
-	{Args,Pos} = '$1',
-	{clause,Pos,'fun',Args,'$2','$3'}.
+	{Args,Anno} = '$1',
+	{clause,Anno,'fun',Args,'$2','$3'}.
 
 fun_clause -> var argument_list clause_guard clause_body :
 	{clause,element(2, '$1'),element(3, '$1'),element(1, '$2'),'$3','$4'}.
 
 try_expr -> 'try' exprs 'of' cr_clauses try_catch :
-	build_try(?line('$1'),'$2','$4','$5').
+	build_try(?anno('$1'),'$2','$4','$5').
 try_expr -> 'try' exprs try_catch :
-	build_try(?line('$1'),'$2',[],'$3').
+	build_try(?anno('$1'),'$2',[],'$3').
 
 try_catch -> 'catch' try_clauses 'end' :
 	{'$2',[]}.
@@ -458,18 +453,18 @@ try_clauses -> try_clause : ['$1'].
 try_clauses -> try_clause ';' try_clauses : ['$1' | '$3'].
 
 try_clause -> expr clause_guard clause_body :
-	L = ?line('$1'),
-	{clause,L,[{tuple,L,[{atom,L,throw},'$1',{var,L,'_'}]}],'$2','$3'}.
+	A = ?anno('$1'),
+	{clause,A,[{tuple,A,[{atom,A,throw},'$1',{var,A,'_'}]}],'$2','$3'}.
 try_clause -> atom ':' expr clause_guard clause_body :
-	L = ?line('$1'),
-	{clause,L,[{tuple,L,['$1','$3',{var,L,'_'}]}],'$4','$5'}.
+	A = ?anno('$1'),
+	{clause,A,[{tuple,A,['$1','$3',{var,A,'_'}]}],'$4','$5'}.
 try_clause -> var ':' expr clause_guard clause_body :
-	L = ?line('$1'),
-	{clause,L,[{tuple,L,['$1','$3',{var,L,'_'}]}],'$4','$5'}.
+	A = ?anno('$1'),
+	{clause,A,[{tuple,A,['$1','$3',{var,A,'_'}]}],'$4','$5'}.
 
 
-argument_list -> '(' ')' : {[],?line('$1')}.
-argument_list -> '(' exprs ')' : {'$2',?line('$1')}.
+argument_list -> '(' ')' : {[],?anno('$1')}.
+argument_list -> '(' exprs ')' : {'$2',?anno('$1')}.
 
 
 exprs -> expr : ['$1'].
@@ -486,7 +481,7 @@ atomic -> strings : '$1'.
 
 strings -> string : '$1'.
 strings -> string strings :
-	{string,?line('$1'),element(3, '$1') ++ element(3, '$2')}.
+	{string,?anno('$1'),element(3, '$1') ++ element(3, '$2')}.
 
 prefix_op -> '+' : '$1'.
 prefix_op -> '-' : '$1'.
@@ -521,25 +516,21 @@ comp_op -> '>' : '$1'.
 comp_op -> '=:=' : '$1'.
 comp_op -> '=/=' : '$1'.
 
-rule -> rule_clauses : build_rule('$1').
-
-rule_clauses -> rule_clause : ['$1'].
-rule_clauses -> rule_clause ';' rule_clauses : ['$1'|'$3'].
-
-rule_clause -> atom clause_args clause_guard rule_body :
-	{clause,?line('$1'),element(3, '$1'),'$2','$3','$4'}.
-
-rule_body -> ':-' lc_exprs: '$2'.
-
-
 Erlang code.
 
 -export([parse_form/1,parse_exprs/1,parse_term/1]).
 -export([normalise/1,abstract/1,tokens/1,tokens/2]).
 -export([abstract/2]).
 -export([inop_prec/1,preop_prec/1,func_prec/0,max_prec/0]).
+-export([type_inop_prec/1,type_preop_prec/1]).
+-export([map_anno/2, fold_anno/3, mapfold_anno/3,
+         new_anno/1, anno_to_term/1, anno_from_term/1]).
 -export([set_line/2,get_attribute/2,get_attributes/1]).
 
+-deprecated([{set_line, 2, next_major_release},
+             {get_attribute, 2, next_major_release},
+             {get_attributes, 1, next_major_release}]).
+
 %% The following directive is needed for (significantly) faster compilation
 %% of the generated .erl file by the HiPE compiler.  Please do not remove.
 -compile([{hipe,[{regalloc,linear_scan}]}]).
@@ -547,30 +538,31 @@ Erlang code.
 -export_type([abstract_clause/0, abstract_expr/0, abstract_form/0,
               error_info/0]).
 
+%% XXX. To be refined.
 -type abstract_clause() :: term().
 -type abstract_expr() :: term().
 -type abstract_form() :: term().
 -type error_description() :: term().
--type error_info() :: {erl_scan:line(), module(), error_description()}.
+-type error_info() :: {erl_anno:line(), module(), error_description()}.
 -type token() :: erl_scan:token().
 
-%% mkop(Op, Arg) -> {op,Line,Op,Arg}.
-%% mkop(Left, Op, Right) -> {op,Line,Op,Left,Right}.
+%% mkop(Op, Arg) -> {op,Anno,Op,Arg}.
+%% mkop(Left, Op, Right) -> {op,Anno,Op,Left,Right}.
 
--define(mkop2(L, OpPos, R),
+-define(mkop2(L, OpAnno, R),
         begin
-            {Op,Pos} = OpPos,
-            {op,Pos,Op,L,R}
+            {Op,Anno} = OpAnno,
+            {op,Anno,Op,L,R}
         end).
 
--define(mkop1(OpPos, A),
+-define(mkop1(OpAnno, A),
         begin
-            {Op,Pos} = OpPos,
-            {op,Pos,Op,A}
+            {Op,Anno} = OpAnno,
+            {op,Anno,Op,A}
         end).
 
-%% keep track of line info in tokens
--define(line(Tup), element(2, Tup)).
+%% keep track of annotation info in tokens
+-define(anno(Tup), element(2, Tup)).
 
 %% Entry points compatible to old erl_parse.
 %% These really suck and are only here until Calle gets multiple
@@ -580,10 +572,10 @@ Erlang code.
       Tokens :: [token()],
       AbsForm :: abstract_form(),
       ErrorInfo :: error_info().
-parse_form([{'-',L1},{atom,L2,spec}|Tokens]) ->
-    parse([{'-',L1},{'spec',L2}|Tokens]);
-parse_form([{'-',L1},{atom,L2,callback}|Tokens]) ->
-    parse([{'-',L1},{'callback',L2}|Tokens]);
+parse_form([{'-',A1},{atom,A2,spec}|Tokens]) ->
+    parse([{'-',A1},{'spec',A2}|Tokens]);
+parse_form([{'-',A1},{atom,A2,callback}|Tokens]) ->
+    parse([{'-',A1},{'callback',A2}|Tokens]);
 parse_form(Tokens) ->
     parse(Tokens).
 
@@ -592,7 +584,8 @@ parse_form(Tokens) ->
       ExprList :: [abstract_expr()],
       ErrorInfo :: error_info().
 parse_exprs(Tokens) ->
-    case parse([{atom,0,f},{'(',0},{')',0},{'->',0}|Tokens]) of
+    A = erl_anno:new(0),
+    case parse([{atom,A,f},{'(',A},{')',A},{'->',A}|Tokens]) of
 	{ok,{function,_Lf,f,0,[{clause,_Lc,[],[],Exprs}]}} ->
 	    {ok,Exprs};
 	{error,_} = Err -> Err
@@ -603,42 +596,43 @@ parse_exprs(Tokens) ->
       Term :: term(),
       ErrorInfo :: error_info().
 parse_term(Tokens) ->
-    case parse([{atom,0,f},{'(',0},{')',0},{'->',0}|Tokens]) of
-	{ok,{function,_Lf,f,0,[{clause,_Lc,[],[],[Expr]}]}} ->
+    A = erl_anno:new(0),
+    case parse([{atom,A,f},{'(',A},{')',A},{'->',A}|Tokens]) of
+	{ok,{function,_Af,f,0,[{clause,_Ac,[],[],[Expr]}]}} ->
 	    try normalise(Expr) of
 		Term -> {ok,Term}
 	    catch
-		_:_R -> {error,{?line(Expr),?MODULE,"bad term"}}
+		_:_R -> {error,{location(?anno(Expr)),?MODULE,"bad term"}}
 	    end;
-	{ok,{function,_Lf,f,0,[{clause,_Lc,[],[],[_E1,E2|_Es]}]}} ->
-	    {error,{?line(E2),?MODULE,"bad term"}};
+	{ok,{function,_Af,f,A,[{clause,_Ac,[],[],[_E1,E2|_Es]}]}} ->
+	    {error,{location(?anno(E2)),?MODULE,"bad term"}};
 	{error,_} = Err -> Err
     end.
 
 -type attributes() :: 'export' | 'file' | 'import' | 'module'
 		    | 'opaque' | 'record' | 'type'.
 
-build_typed_attribute({atom,La,record},
-		      {typed_record, {atom,_Ln,RecordName}, RecTuple}) ->
-    {attribute,La,record,{RecordName,record_tuple(RecTuple)}};
-build_typed_attribute({atom,La,Attr},
+build_typed_attribute({atom,Aa,record},
+		      {typed_record, {atom,_An,RecordName}, RecTuple}) ->
+    {attribute,Aa,record,{RecordName,record_tuple(RecTuple)}};
+build_typed_attribute({atom,Aa,Attr},
                       {type_def, {call,_,{atom,_,TypeName},Args}, Type})
   when Attr =:= 'type' ; Attr =:= 'opaque' ->
     case lists:all(fun({var, _, _}) -> true;
                       (_)           -> false
                    end, Args) of
-        true -> {attribute,La,Attr,{TypeName,Type,Args}};
-        false -> error_bad_decl(La, Attr)
+        true -> {attribute,Aa,Attr,{TypeName,Type,Args}};
+        false -> error_bad_decl(Aa, Attr)
     end;
-build_typed_attribute({atom,La,Attr},_) ->
+build_typed_attribute({atom,Aa,Attr},_) ->
     case Attr of
-        record -> error_bad_decl(La, record);
-        type   -> error_bad_decl(La, type);
-	opaque -> error_bad_decl(La, opaque);
-        _      -> ret_err(La, "bad attribute")
+        record -> error_bad_decl(Aa, record);
+        type   -> error_bad_decl(Aa, type);
+	opaque -> error_bad_decl(Aa, opaque);
+        _      -> ret_err(Aa, "bad attribute")
     end.
 
-build_type_spec({Kind,La}, {SpecFun, TypeSpecs})
+build_type_spec({Kind,Aa}, {SpecFun, TypeSpecs})
   when (Kind =:= spec) or (Kind =:= callback) ->
     NewSpecFun =
 	case SpecFun of
@@ -653,7 +647,7 @@ build_type_spec({Kind,La}, {SpecFun, TypeSpecs})
 		%% Old style spec. Allow this for now.
 		{Mod,Fun,Arity}
 	    end,
-    {attribute,La,Kind,{NewSpecFun, TypeSpecs}}.
+    {attribute,Aa,Kind,{NewSpecFun, TypeSpecs}}.
 
 find_arity_from_specs([Spec|_]) ->
     %% Use the first spec to find the arity. If all are not the same,
@@ -665,99 +659,111 @@ find_arity_from_specs([Spec|_]) ->
     {type, _, 'fun', [{type, _, product, Args},_]} = Fun,
     length(Args).
 
+build_def({var, A, '_'}, _Types) ->
+    ret_err(A, "bad type variable");
 build_def(LHS, Types) ->
-    IsSubType = {atom, ?line(LHS), is_subtype},
-    {type, ?line(LHS), constraint, [IsSubType, [LHS, Types]]}.
+    IsSubType = {atom, ?anno(LHS), is_subtype},
+    {type, ?anno(LHS), constraint, [IsSubType, [LHS, Types]]}.
 
-lift_unions(T1, {type, _La, union, List}) ->
-    {type, ?line(T1), union, [T1|List]};
+lift_unions(T1, {type, _Aa, union, List}) ->
+    {type, ?anno(T1), union, [T1|List]};
 lift_unions(T1, T2) ->
-    {type, ?line(T1), union, [T1, T2]}.
-
-skip_paren({paren_type,_L,[Type]}) ->
-    skip_paren(Type);
-skip_paren(Type) ->
-    Type.
+    {type, ?anno(T1), union, [T1, T2]}.
 
-build_gen_type({atom, La, tuple}) ->
-    {type, La, tuple, any};
-build_gen_type({atom, La, map}) ->
-    {type, La, map, any};
-build_gen_type({atom, La, Name}) ->
-    {type, La, Name, []}.
+build_gen_type({atom, Aa, tuple}) ->
+    {type, Aa, tuple, any};
+build_gen_type({atom, Aa, map}) ->
+    {type, Aa, map, any};
+build_gen_type({atom, Aa, Name}) ->
+    Tag = type_tag(Name, 0),
+    {Tag, Aa, Name, []}.
 
 build_bin_type([{var, _, '_'}|Left], Int) ->
     build_bin_type(Left, Int);
 build_bin_type([], Int) ->
-    skip_paren(Int);
-build_bin_type([{var, La, _}|_], _) ->
-    ret_err(La, "Bad binary type").
+    Int;
+build_bin_type([{var, Aa, _}|_], _) ->
+    ret_err(Aa, "Bad binary type").
+
+build_type({atom, A, Name}, Types) ->
+    Tag = type_tag(Name, length(Types)),
+    {Tag, A, Name, Types}.
+
+type_tag(TypeName, NumberOfTypeVariables) ->
+    case erl_internal:is_type(TypeName, NumberOfTypeVariables) of
+        true -> type;
+        false -> user_type
+    end.
+
+abstract2(Term, Anno) ->
+    Line = erl_anno:line(Anno),
+    abstract(Term, Line).
 
 %% build_attribute(AttrName, AttrValue) ->
-%%	{attribute,Line,module,Module}
-%%	{attribute,Line,export,Exports}
-%%	{attribute,Line,import,Imports}
-%%	{attribute,Line,record,{Name,Inits}}
-%%	{attribute,Line,file,{Name,Line}}
-%%	{attribute,Line,Name,Val}
-
-build_attribute({atom,La,module}, Val) ->
+%%	{attribute,Anno,module,Module}
+%%	{attribute,Anno,export,Exports}
+%%	{attribute,Anno,import,Imports}
+%%	{attribute,Anno,record,{Name,Inits}}
+%%	{attribute,Anno,file,{Name,Line}}
+%%	{attribute,Anno,Name,Val}
+
+build_attribute({atom,Aa,module}, Val) ->
     case Val of
-	[{atom,_Lm,Module}] ->
-	    {attribute,La,module,Module};
-	[{atom,_Lm,Module},ExpList] ->
-	    {attribute,La,module,{Module,var_list(ExpList)}};
+	[{atom,_Am,Module}] ->
+	    {attribute,Aa,module,Module};
+	[{atom,_Am,Module},ExpList] ->
+	    {attribute,Aa,module,{Module,var_list(ExpList)}};
 	_Other ->
-	    error_bad_decl(La, module)
+	    error_bad_decl(Aa, module)
     end;
-build_attribute({atom,La,export}, Val) ->
+build_attribute({atom,Aa,export}, Val) ->
     case Val of
 	[ExpList] ->
-	    {attribute,La,export,farity_list(ExpList)};
-	_Other -> error_bad_decl(La, export)
+	    {attribute,Aa,export,farity_list(ExpList)};
+	_Other -> error_bad_decl(Aa, export)
     end;
-build_attribute({atom,La,import}, Val) ->
+build_attribute({atom,Aa,import}, Val) ->
     case Val of
-	[{atom,_Lm,Mod},ImpList] ->
-	    {attribute,La,import,{Mod,farity_list(ImpList)}};
-	_Other -> error_bad_decl(La, import)
+	[{atom,_Am,Mod},ImpList] ->
+	    {attribute,Aa,import,{Mod,farity_list(ImpList)}};
+	_Other -> error_bad_decl(Aa, import)
     end;
-build_attribute({atom,La,record}, Val) ->
+build_attribute({atom,Aa,record}, Val) ->
     case Val of
-	[{atom,_Ln,Record},RecTuple] ->
-	    {attribute,La,record,{Record,record_tuple(RecTuple)}};
-	_Other -> error_bad_decl(La, record)
+	[{atom,_An,Record},RecTuple] ->
+	    {attribute,Aa,record,{Record,record_tuple(RecTuple)}};
+	_Other -> error_bad_decl(Aa, record)
     end;
-build_attribute({atom,La,file}, Val) ->
+build_attribute({atom,Aa,file}, Val) ->
     case Val of
-	[{string,_Ln,Name},{integer,_Ll,Line}] ->
-	    {attribute,La,file,{Name,Line}};
-	_Other -> error_bad_decl(La, file)
+	[{string,_An,Name},{integer,_Al,Line}] ->
+	    {attribute,Aa,file,{Name,Line}};
+	_Other -> error_bad_decl(Aa, file)
     end;
-build_attribute({atom,La,Attr}, Val) ->
+build_attribute({atom,Aa,Attr}, Val) ->
     case Val of
 	[Expr0] ->
 	    Expr = attribute_farity(Expr0),
-	    {attribute,La,Attr,term(Expr)};
-	_Other -> ret_err(La, "bad attribute")
+	    {attribute,Aa,Attr,term(Expr)};
+	_Other -> ret_err(Aa, "bad attribute")
     end.
 
-var_list({cons,_Lc,{var,_,V},Tail}) ->
+var_list({cons,_Ac,{var,_,V},Tail}) ->
     [V|var_list(Tail)];
-var_list({nil,_Ln}) -> [];
+var_list({nil,_An}) -> [];
 var_list(Other) ->
-    ret_err(?line(Other), "bad variable list").
+    ret_err(?anno(Other), "bad variable list").
 
-attribute_farity({cons,L,H,T}) ->
-    {cons,L,attribute_farity(H),attribute_farity(T)};
-attribute_farity({tuple,L,Args0}) ->
+attribute_farity({cons,A,H,T}) ->
+    {cons,A,attribute_farity(H),attribute_farity(T)};
+attribute_farity({tuple,A,Args0}) ->
     Args = attribute_farity_list(Args0),
-    {tuple,L,Args};
-attribute_farity({map,L,Args0}) ->
+    {tuple,A,Args};
+attribute_farity({map,A,Args0}) ->
     Args = attribute_farity_map(Args0),
-    {map,L,Args};
-attribute_farity({op,L,'/',{atom,_,_}=Name,{integer,_,_}=Arity}) ->
-    {tuple,L,[Name,Arity]};
+    {map,A,Args};
+attribute_farity({op,A,'/',{atom,_,_}=Name,{integer,_,_}=Arity}) ->
+    {tuple,A,[Name,Arity]};
 attribute_farity(Other) -> Other.
 
 attribute_farity_list(Args) ->
@@ -765,111 +771,97 @@ attribute_farity_list(Args) ->
 
 %% It is not meaningful to have farity keys.
 attribute_farity_map(Args) ->
-    [{Op,L,K,attribute_farity(V)} || {Op,L,K,V} <- Args].
+    [{Op,A,K,attribute_farity(V)} || {Op,A,K,V} <- Args].
 
--spec error_bad_decl(integer(), attributes()) -> no_return().
+-spec error_bad_decl(erl_anno:anno(), attributes()) -> no_return().
 
-error_bad_decl(L, S) ->
-    ret_err(L, io_lib:format("bad ~w declaration", [S])).
+error_bad_decl(Anno, S) ->
+    ret_err(Anno, io_lib:format("bad ~w declaration", [S])).
 
-farity_list({cons,_Lc,{op,_Lo,'/',{atom,_La,A},{integer,_Li,I}},Tail}) ->
+farity_list({cons,_Ac,{op,_Ao,'/',{atom,_Aa,A},{integer,_Ai,I}},Tail}) ->
     [{A,I}|farity_list(Tail)];
-farity_list({nil,_Ln}) -> [];
+farity_list({nil,_An}) -> [];
 farity_list(Other) ->
-    ret_err(?line(Other), "bad function arity").
+    ret_err(?anno(Other), "bad function arity").
 
-record_tuple({tuple,_Lt,Fields}) ->
+record_tuple({tuple,_At,Fields}) ->
     record_fields(Fields);
 record_tuple(Other) ->
-    ret_err(?line(Other), "bad record declaration").
+    ret_err(?anno(Other), "bad record declaration").
 
-record_fields([{atom,La,A}|Fields]) ->
-    [{record_field,La,{atom,La,A}}|record_fields(Fields)];
-record_fields([{match,_Lm,{atom,La,A},Expr}|Fields]) ->
-    [{record_field,La,{atom,La,A},Expr}|record_fields(Fields)];
+record_fields([{atom,Aa,A}|Fields]) ->
+    [{record_field,Aa,{atom,Aa,A}}|record_fields(Fields)];
+record_fields([{match,_Am,{atom,Aa,A},Expr}|Fields]) ->
+    [{record_field,Aa,{atom,Aa,A},Expr}|record_fields(Fields)];
 record_fields([{typed,Expr,TypeInfo}|Fields]) ->
     [Field] = record_fields([Expr]),
     TypeInfo1 =
 	case Expr of
 	    {match, _, _, _} -> TypeInfo; %% If we have an initializer.
-	    {atom, La, _} ->
+	    {atom, Aa, _} ->
                 case has_undefined(TypeInfo) of
                     false ->
-                        TypeInfo2 = maybe_add_paren(TypeInfo),
-                        lift_unions(abstract(undefined, La), TypeInfo2);
+                        lift_unions(abstract2(undefined, Aa), TypeInfo);
                     true ->
                         TypeInfo
                 end
 	end,
     [{typed_record_field,Field,TypeInfo1}|record_fields(Fields)];
 record_fields([Other|_Fields]) ->
-    ret_err(?line(Other), "bad record field");
+    ret_err(?anno(Other), "bad record field");
 record_fields([]) -> [].
 
 has_undefined({atom,_,undefined}) ->
     true;
 has_undefined({ann_type,_,[_,T]}) ->
     has_undefined(T);
-has_undefined({paren_type,_,[T]}) ->
-    has_undefined(T);
 has_undefined({type,_,union,Ts}) ->
     lists:any(fun has_undefined/1, Ts);
 has_undefined(_) ->
     false.
 
-maybe_add_paren({ann_type,L,T}) ->
-    {paren_type,L,[{ann_type,L,T}]};
-maybe_add_paren(T) ->
-    T.
-
 term(Expr) ->
     try normalise(Expr)
-    catch _:_R -> ret_err(?line(Expr), "bad attribute")
+    catch _:_R -> ret_err(?anno(Expr), "bad attribute")
     end.
 
-%% build_function([Clause]) -> {function,Line,Name,Arity,[Clause]}
+%% build_function([Clause]) -> {function,Anno,Name,Arity,[Clause]}
 
 build_function(Cs) ->
     Name = element(3, hd(Cs)),
     Arity = length(element(4, hd(Cs))),
-    {function,?line(hd(Cs)),Name,Arity,check_clauses(Cs, Name, Arity)}.
+    {function,?anno(hd(Cs)),Name,Arity,check_clauses(Cs, Name, Arity)}.
 
-%% build_rule([Clause]) -> {rule,Line,Name,Arity,[Clause]'}
+%% build_fun(Anno, [Clause]) -> {'fun',Anno,{clauses,[Clause]}}.
 
-build_rule(Cs) ->
-    Name = element(3, hd(Cs)),
-    Arity = length(element(4, hd(Cs))),
-    {rule,?line(hd(Cs)),Name,Arity,check_clauses(Cs, Name, Arity)}.
-
-%% build_fun(Line, [Clause]) -> {'fun',Line,{clauses,[Clause]}}.
-
-build_fun(Line, Cs) ->
+build_fun(Anno, Cs) ->
     Name = element(3, hd(Cs)),
     Arity = length(element(4, hd(Cs))),
     CheckedCs = check_clauses(Cs, Name, Arity),
     case Name of
         'fun' ->
-            {'fun',Line,{clauses,CheckedCs}};
+            {'fun',Anno,{clauses,CheckedCs}};
         Name ->
-            {named_fun,Line,Name,CheckedCs}
+            {named_fun,Anno,Name,CheckedCs}
     end.
 
 check_clauses(Cs, Name, Arity) ->
     [case C of
-         {clause,L,N,As,G,B} when N =:= Name, length(As) =:= Arity ->
-             {clause,L,As,G,B};
-         {clause,L,_N,_As,_G,_B} ->
-             ret_err(L, "head mismatch")
+         {clause,A,N,As,G,B} when N =:= Name, length(As) =:= Arity ->
+             {clause,A,As,G,B};
+         {clause,A,_N,_As,_G,_B} ->
+             ret_err(A, "head mismatch")
      end || C <- Cs].
 
-build_try(L,Es,Scs,{Ccs,As}) ->
-    {'try',L,Es,Scs,Ccs,As}.
+build_try(A,Es,Scs,{Ccs,As}) ->
+    {'try',A,Es,Scs,Ccs,As}.
 
 -spec ret_err(_, _) -> no_return().
-ret_err(L, S) ->
-    {location,Location} = get_attribute(L, location),
-    return_error(Location, S).
+ret_err(Anno, S) ->
+    return_error(location(Anno), S).
 
+location(Anno) ->
+    erl_anno:location(Anno).
 
 %%  Convert between the abstract form of a term and a term.
 
@@ -917,7 +909,8 @@ normalise_list([]) ->
       Data :: term(),
       AbsTerm :: abstract_expr().
 abstract(T) ->
-    abstract(T, 0, enc_func(epp:default_encoding())).
+    Anno = erl_anno:new(0),
+    abstract(T, Anno, enc_func(epp:default_encoding())).
 
 -type encoding_func() :: fun((non_neg_integer()) -> boolean()).
 
@@ -927,16 +920,18 @@ abstract(T) ->
       Options :: Line | [Option],
       Option :: {line, Line} | {encoding, Encoding},
       Encoding :: 'latin1' | 'unicode' | 'utf8' | 'none' | encoding_func(),
-      Line :: erl_scan:line(),
+      Line :: erl_anno:line(),
       AbsTerm :: abstract_expr().
 
 abstract(T, Line) when is_integer(Line) ->
-    abstract(T, Line, enc_func(epp:default_encoding()));
+    Anno = erl_anno:new(Line),
+    abstract(T, Anno, enc_func(epp:default_encoding()));
 abstract(T, Options) when is_list(Options) ->
     Line = proplists:get_value(line, Options, 0),
     Encoding = proplists:get_value(encoding, Options,epp:default_encoding()),
     EncFunc = enc_func(Encoding),
-    abstract(T, Line, EncFunc).
+    Anno = erl_anno:new(Line),
+    abstract(T, Anno, EncFunc).
 
 -define(UNICODE(C),
          (C < 16#D800 orelse
@@ -950,53 +945,53 @@ enc_func(none) -> none;
 enc_func(Fun) when is_function(Fun, 1) -> Fun;
 enc_func(Term) -> erlang:error({badarg, Term}).
 
-abstract(T, L, _E) when is_integer(T) -> {integer,L,T};
-abstract(T, L, _E) when is_float(T) -> {float,L,T};
-abstract(T, L, _E) when is_atom(T) -> {atom,L,T};
-abstract([], L, _E) -> {nil,L};
-abstract(B, L, _E) when is_bitstring(B) ->
-    {bin, L, [abstract_byte(Byte, L) || Byte <- bitstring_to_list(B)]};
-abstract([H|T], L, none=E) ->
-    {cons,L,abstract(H, L, E),abstract(T, L, E)};
-abstract(List, L, E) when is_list(List) ->
-    abstract_list(List, [], L, E);
-abstract(Tuple, L, E) when is_tuple(Tuple) ->
-    {tuple,L,abstract_tuple_list(tuple_to_list(Tuple), L, E)};
-abstract(Map, L, E) when is_map(Map) ->
-    {map,L,abstract_map_fields(maps:to_list(Map),L,E)}.
-
-abstract_list([H|T], String, L, E) ->
+abstract(T, A, _E) when is_integer(T) -> {integer,A,T};
+abstract(T, A, _E) when is_float(T) -> {float,A,T};
+abstract(T, A, _E) when is_atom(T) -> {atom,A,T};
+abstract([], A, _E) -> {nil,A};
+abstract(B, A, _E) when is_bitstring(B) ->
+    {bin, A, [abstract_byte(Byte, A) || Byte <- bitstring_to_list(B)]};
+abstract([H|T], A, none=E) ->
+    {cons,A,abstract(H, A, E),abstract(T, A, E)};
+abstract(List, A, E) when is_list(List) ->
+    abstract_list(List, [], A, E);
+abstract(Tuple, A, E) when is_tuple(Tuple) ->
+    {tuple,A,abstract_tuple_list(tuple_to_list(Tuple), A, E)};
+abstract(Map, A, E) when is_map(Map) ->
+    {map,A,abstract_map_fields(maps:to_list(Map),A,E)}.
+
+abstract_list([H|T], String, A, E) ->
     case is_integer(H) andalso H >= 0 andalso E(H) of
         true ->
-            abstract_list(T, [H|String], L, E);
+            abstract_list(T, [H|String], A, E);
         false ->
-            AbstrList = {cons,L,abstract(H, L, E),abstract(T, L, E)},
-            not_string(String, AbstrList, L, E)
+            AbstrList = {cons,A,abstract(H, A, E),abstract(T, A, E)},
+            not_string(String, AbstrList, A, E)
     end;
-abstract_list([], String, L, _E) ->
-    {string, L, lists:reverse(String)};
-abstract_list(T, String, L, E) ->
-    not_string(String, abstract(T, L, E), L, E).
-
-not_string([C|T], Result, L, E) ->
-    not_string(T, {cons, L, {integer, L, C}, Result}, L, E);
-not_string([], Result, _L, _E) ->
+abstract_list([], String, A, _E) ->
+    {string, A, lists:reverse(String)};
+abstract_list(T, String, A, E) ->
+    not_string(String, abstract(T, A, E), A, E).
+
+not_string([C|T], Result, A, E) ->
+    not_string(T, {cons, A, {integer, A, C}, Result}, A, E);
+not_string([], Result, _A, _E) ->
     Result.
 
-abstract_tuple_list([H|T], L, E) ->
-    [abstract(H, L, E)|abstract_tuple_list(T, L, E)];
-abstract_tuple_list([], _L, _E) ->
+abstract_tuple_list([H|T], A, E) ->
+    [abstract(H, A, E)|abstract_tuple_list(T, A, E)];
+abstract_tuple_list([], _A, _E) ->
     [].
 
-abstract_map_fields(Fs,L,E) ->
-    [{map_field_assoc,L,abstract(K,L,E),abstract(V,L,E)}||{K,V}<-Fs].
+abstract_map_fields(Fs,A,E) ->
+    [{map_field_assoc,A,abstract(K,A,E),abstract(V,A,E)}||{K,V}<-Fs].
 
-abstract_byte(Byte, L) when is_integer(Byte) ->
-    {bin_element, L, {integer, L, Byte}, default, default};
-abstract_byte(Bits, L) ->
+abstract_byte(Byte, A) when is_integer(Byte) ->
+    {bin_element, A, {integer, A, Byte}, default, default};
+abstract_byte(Bits, A) ->
     Sz = bit_size(Bits),
     <<Val:Sz>> = Bits,
-    {bin_element, L, {integer, L, Val}, {integer, L, Sz}, default}.
+    {bin_element, A, {integer, A, Val}, {integer, A, Sz}, default}.
 
 %%  Generate a list of tokens representing the abstract term.
 
@@ -1010,32 +1005,32 @@ tokens(Abs) ->
       AbsTerm :: abstract_expr(),
       MoreTokens :: [token()],
       Tokens :: [token()].
-tokens({char,L,C}, More) -> [{char,L,C}|More];
-tokens({integer,L,N}, More) -> [{integer,L,N}|More];
-tokens({float,L,F}, More) -> [{float,L,F}|More];
-tokens({atom,L,A}, More) -> [{atom,L,A}|More];
-tokens({var,L,V}, More) -> [{var,L,V}|More];
-tokens({string,L,S}, More) -> [{string,L,S}|More];
-tokens({nil,L}, More) -> [{'[',L},{']',L}|More];
-tokens({cons,L,Head,Tail}, More) ->
-    [{'[',L}|tokens(Head, tokens_tail(Tail, More))];
-tokens({tuple,L,[]}, More) ->
-    [{'{',L},{'}',L}|More];
-tokens({tuple,L,[E|Es]}, More) ->
-    [{'{',L}|tokens(E, tokens_tuple(Es, ?line(E), More))].
-
-tokens_tail({cons,L,Head,Tail}, More) ->
-    [{',',L}|tokens(Head, tokens_tail(Tail, More))];
-tokens_tail({nil,L}, More) ->
-    [{']',L}|More];
+tokens({char,A,C}, More) -> [{char,A,C}|More];
+tokens({integer,A,N}, More) -> [{integer,A,N}|More];
+tokens({float,A,F}, More) -> [{float,A,F}|More];
+tokens({atom,Aa,A}, More) -> [{atom,Aa,A}|More];
+tokens({var,A,V}, More) -> [{var,A,V}|More];
+tokens({string,A,S}, More) -> [{string,A,S}|More];
+tokens({nil,A}, More) -> [{'[',A},{']',A}|More];
+tokens({cons,A,Head,Tail}, More) ->
+    [{'[',A}|tokens(Head, tokens_tail(Tail, More))];
+tokens({tuple,A,[]}, More) ->
+    [{'{',A},{'}',A}|More];
+tokens({tuple,A,[E|Es]}, More) ->
+    [{'{',A}|tokens(E, tokens_tuple(Es, ?anno(E), More))].
+
+tokens_tail({cons,A,Head,Tail}, More) ->
+    [{',',A}|tokens(Head, tokens_tail(Tail, More))];
+tokens_tail({nil,A}, More) ->
+    [{']',A}|More];
 tokens_tail(Other, More) ->
-    L = ?line(Other),
-    [{'|',L}|tokens(Other, [{']',L}|More])].
+    A = ?anno(Other),
+    [{'|',A}|tokens(Other, [{']',A}|More])].
 
-tokens_tuple([E|Es], Line, More) ->
-    [{',',Line}|tokens(E, tokens_tuple(Es, ?line(E), More))];
-tokens_tuple([], Line, More) ->
-    [{'}',Line}|More].
+tokens_tuple([E|Es], Anno, More) ->
+    [{',',Anno}|tokens(E, tokens_tuple(Es, ?anno(E), More))];
+tokens_tuple([], Anno, More) ->
+    [{'}',Anno}|More].
 
 %% Give the relative precedences of operators.
 
@@ -1090,6 +1085,39 @@ func_prec() -> {800,700}.
 
 max_prec() -> 900.
 
+-type prec() :: non_neg_integer().
+
+-type type_inop() :: '::' | '|' | '..' | '+' | '-' | 'bor' | 'bxor'
+                   | 'bsl' | 'bsr' | '*' | '/' | 'div' | 'rem' | 'band'.
+
+-type type_preop() :: '+' | '-' | 'bnot' | '#'.
+
+-spec type_inop_prec(type_inop()) -> {prec(), prec(), prec()}.
+
+type_inop_prec('=') -> {150,100,100};
+type_inop_prec('::') -> {160,150,150};
+type_inop_prec('|') -> {180,170,170};
+type_inop_prec('..') -> {300,200,300};
+type_inop_prec('+') -> {400,400,500};
+type_inop_prec('-') -> {400,400,500};
+type_inop_prec('bor') -> {400,400,500};
+type_inop_prec('bxor') -> {400,400,500};
+type_inop_prec('bsl') -> {400,400,500};
+type_inop_prec('bsr') -> {400,400,500};
+type_inop_prec('*') -> {500,500,600};
+type_inop_prec('/') -> {500,500,600};
+type_inop_prec('div') -> {500,500,600};
+type_inop_prec('rem') -> {500,500,600};
+type_inop_prec('band') -> {500,500,600};
+type_inop_prec('#') -> {800,700,800}.
+
+-spec type_preop_prec(type_preop()) -> {prec(), prec()}.
+
+type_preop_prec('+') -> {600,700};
+type_preop_prec('-') -> {600,700};
+type_preop_prec('bnot') -> {600,700};
+type_preop_prec('#') -> {700,800}.
+
 %%% [Experimental]. The parser just copies the attributes of the
 %%% scanner tokens to the abstract format. This design decision has
 %%% been hidden to some extent: use set_line() and get_attribute() to
@@ -1100,13 +1128,168 @@ max_prec() -> 900.
 %%% longer apply. To get all present attributes as a property list
 %%% get_attributes() should be used.
 
+-compile({nowarn_deprecated_function,{erl_scan,set_attribute,3}}).
 set_line(L, F) ->
     erl_scan:set_attribute(line, L, F).
 
+-compile({nowarn_deprecated_function,{erl_scan,attributes_info,2}}).
 get_attribute(L, Name) ->
     erl_scan:attributes_info(L, Name).
 
+-compile({nowarn_deprecated_function,{erl_scan,attributes_info,1}}).
 get_attributes(L) ->
     erl_scan:attributes_info(L).
 
+-spec map_anno(Fun, Abstr) -> NewAbstr when
+      Fun :: fun((Anno) -> Anno),
+      Anno :: erl_anno:anno(),
+      Abstr :: abstract_form() | abstract_expr(),
+      NewAbstr :: abstract_form() | abstract_expr().
+
+map_anno(F0, Abstr) ->
+    F = fun(A, Acc) -> {F0(A), Acc} end,
+    {NewAbstr, []} = modify_anno1(Abstr, [], F),
+    NewAbstr.
+
+-spec fold_anno(Fun, Acc0, Abstr) -> NewAbstr when
+      Fun :: fun((Anno, AccIn) -> AccOut),
+      Anno :: erl_anno:anno(),
+      Acc0 :: term(),
+      AccIn :: term(),
+      AccOut :: term(),
+      Abstr :: abstract_form() | abstract_expr(),
+      NewAbstr :: abstract_form() | abstract_expr().
+
+fold_anno(F0, Acc0, Abstr) ->
+    F = fun(A, Acc) -> {A, F0(A, Acc)} end,
+    {_, NewAcc} = modify_anno1(Abstr, Acc0, F),
+    NewAcc.
+
+-spec mapfold_anno(Fun, Acc0, Abstr) -> {NewAbstr, Acc1} when
+      Fun :: fun((Anno, AccIn) -> {Anno, AccOut}),
+      Anno :: erl_anno:anno(),
+      Acc0 :: term(),
+      Acc1 :: term(),
+      AccIn :: term(),
+      AccOut :: term(),
+      Abstr :: abstract_form() | abstract_expr(),
+      NewAbstr :: abstract_form() | abstract_expr().
+
+mapfold_anno(F, Acc0, Abstr) ->
+    modify_anno1(Abstr, Acc0, F).
+
+-spec new_anno(Term) -> Abstr when
+      Term :: term(),
+      Abstr :: abstract_form() | abstract_expr().
+
+new_anno(Term) ->
+    map_anno(fun erl_anno:new/1, Term).
+
+-spec anno_to_term(Abstr) -> term() when
+      Abstr :: abstract_form() | abstract_expr().
+
+anno_to_term(Abstract) ->
+    map_anno(fun erl_anno:to_term/1, Abstract).
+
+-spec anno_from_term(Term) -> abstract_form() | abstract_expr() when
+      Term :: term().
+
+anno_from_term(Term) ->
+    map_anno(fun erl_anno:from_term/1, Term).
+
+%% Forms.
+%% Recognize what sys_pre_expand does:
+modify_anno1({'fun',A,F,{_,_,_}=Id}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {F1,Ac2} = modify_anno1(F, Ac1, Mf),
+    {{'fun',A1,F1,Id},Ac2};
+modify_anno1({named_fun,A,N,F,{_,_,_}=Id}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {F1,Ac2} = modify_anno1(F, Ac1, Mf),
+    {{named_fun,A1,N,F1,Id},Ac2};
+modify_anno1({attribute,A,N,[V]}, Ac, Mf) ->
+    {{attribute,A1,N1,V1},Ac1} = modify_anno1({attribute,A,N,V}, Ac, Mf),
+    {{attribute,A1,N1,[V1]},Ac1};
+%% End of sys_pre_expand special forms.
+modify_anno1({function,F,A}, Ac, _Mf) ->
+    {{function,F,A},Ac};
+modify_anno1({function,M,F,A}, Ac, Mf) ->
+    {M1,Ac1} = modify_anno1(M, Ac, Mf),
+    {F1,Ac2} = modify_anno1(F, Ac1, Mf),
+    {A1,Ac3} = modify_anno1(A, Ac2, Mf),
+    {{function,M1,F1,A1},Ac3};
+modify_anno1({attribute,A,record,{Name,Fields}}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {Fields1,Ac2} = modify_anno1(Fields, Ac1, Mf),
+    {{attribute,A1,record,{Name,Fields1}},Ac2};
+modify_anno1({attribute,A,spec,{Fun,Types}}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {Types1,Ac2} = modify_anno1(Types, Ac1, Mf),
+    {{attribute,A1,spec,{Fun,Types1}},Ac2};
+modify_anno1({attribute,A,callback,{Fun,Types}}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {Types1,Ac2} = modify_anno1(Types, Ac1, Mf),
+    {{attribute,A1,callback,{Fun,Types1}},Ac2};
+modify_anno1({attribute,A,type,{TypeName,TypeDef,Args}}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {TypeDef1,Ac2} = modify_anno1(TypeDef, Ac1, Mf),
+    {Args1,Ac3} = modify_anno1(Args, Ac2, Mf),
+    {{attribute,A1,type,{TypeName,TypeDef1,Args1}},Ac3};
+modify_anno1({attribute,A,opaque,{TypeName,TypeDef,Args}}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {TypeDef1,Ac2} = modify_anno1(TypeDef, Ac1, Mf),
+    {Args1,Ac3} = modify_anno1(Args, Ac2, Mf),
+    {{attribute,A1,opaque,{TypeName,TypeDef1,Args1}},Ac3};
+modify_anno1({attribute,A,Attr,Val}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {{attribute,A1,Attr,Val},Ac1};
+modify_anno1({warning,W}, Ac, _Mf) ->
+    {{warning,W},Ac};
+modify_anno1({error,W}, Ac, _Mf) ->
+    {{error,W},Ac};
+%% Expressions.
+modify_anno1({clauses,Cs}, Ac, Mf) ->
+    {Cs1,Ac1} = modify_anno1(Cs, Ac, Mf),
+    {{clauses,Cs1},Ac1};
+modify_anno1({typed_record_field,Field,Type}, Ac, Mf) ->
+    {Field1,Ac1} = modify_anno1(Field, Ac, Mf),
+    {Type1,Ac2} = modify_anno1(Type, Ac1, Mf),
+    {{typed_record_field,Field1,Type1},Ac2};
+modify_anno1({Tag,A}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {{Tag,A1},Ac1};
+modify_anno1({Tag,A,E1}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {E11,Ac2} = modify_anno1(E1, Ac1, Mf),
+    {{Tag,A1,E11},Ac2};
+modify_anno1({Tag,A,E1,E2}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {E11,Ac2} = modify_anno1(E1, Ac1, Mf),
+    {E21,Ac3} = modify_anno1(E2, Ac2, Mf),
+    {{Tag,A1,E11,E21},Ac3};
+modify_anno1({bin_element,A,E1,E2,TSL}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {E11,Ac2} = modify_anno1(E1, Ac1, Mf),
+    {E21,Ac3} = modify_anno1(E2, Ac2, Mf),
+    {{bin_element,A1,E11,E21, TSL},Ac3};
+modify_anno1({Tag,A,E1,E2,E3}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {E11,Ac2} = modify_anno1(E1, Ac1, Mf),
+    {E21,Ac3} = modify_anno1(E2, Ac2, Mf),
+    {E31,Ac4} = modify_anno1(E3, Ac3, Mf),
+    {{Tag,A1,E11,E21,E31},Ac4};
+modify_anno1({Tag,A,E1,E2,E3,E4}, Ac, Mf) ->
+    {A1,Ac1} = Mf(A, Ac),
+    {E11,Ac2} = modify_anno1(E1, Ac1, Mf),
+    {E21,Ac3} = modify_anno1(E2, Ac2, Mf),
+    {E31,Ac4} = modify_anno1(E3, Ac3, Mf),
+    {E41,Ac5} = modify_anno1(E4, Ac4, Mf),
+    {{Tag,A1,E11,E21,E31,E41},Ac5};
+modify_anno1([H|T], Ac, Mf) ->
+    {H1,Ac1} = modify_anno1(H, Ac, Mf),
+    {T1,Ac2} = modify_anno1(T, Ac1, Mf),
+    {[H1|T1],Ac2};
+modify_anno1([], Ac, _Mf) -> {[],Ac};
+modify_anno1(E, Ac, _Mf) when not is_tuple(E), not is_list(E) -> {E,Ac}.
+
 %% vim: ft=erlang