anchor.diff:      erl_types:t_from_form(Spec).
   -else.
   t_from_form(Spec) ->
  -    erl_types:t_from_form(Spec, sets:new(), mod, dict:new()).
  +    erl_types:t_from_form(Spec, sets:new(), {spec, foo}, dict:new()).
   -endif.
   
   t_remote(Mod, Type) ->
  
positive.code:       fun(F, Acc) ->
  	      case erl_syntax_lib:analyze_attribute(F) of
  		  {record, {RecName, RecAttrs}} ->
  		      dict:store(RecName, RecAttrs, Acc);
  		  _ ->
  		      Acc
  	      end
  
negative.code: 		RecName = erl_syntax:atom_value(H),
  		RecFields = dict:fetch(RecName, PredefRecords),
  		Vars = lists:map(
  			 fun({T, {_, Default}}) ->
  				 AbsDefault = if Default == none ->
  						      ?AST(undefined);
  						 true ->
  