anchor.diff:  %% @copyright 2006 Richard Carlsson
   %% @private
   %% @see triq
  -%% @doc Parse transform for automatic exporting of test functions.
  +%% @doc Parse transform for automatic exporting of prop_ functions.
   
   -module(triq_autoexport).
   
  
positive.code: t_rewrite([], _Exports) ->
      [].    %% fail-safe, in case there is no module declaration
  
  rewrite([{function,_,quickcheck,0,_}=F | Fs], As, Module, _GenQC) ->
      rewrite(Fs, [F | As], Module, false);
  rewrite([F | Fs], As, Module, GenQC) ->
      rewrite(Fs, [F | As], Module, GenQC);
  rewrite([], As, Module, GenQC) ->
      {if GenQC ->
  	     Triq = {record_field,0,{atom,0,''},{atom,0,triq}},
  	     [{function,0,quickcheck,0,
  	       [{clause,0,[],[],
  		 [{call,0,{remote,0,Triq,{atom,0,module}},
  		   [{atom,0,Module}]}]}]}
  
negative.code: 		true -> list_to_atom(packages:concat(Name))
  	     end,
      {Fs1, GenQC} = rewrite(Fs, [], Module, true),
      Es = if GenQC -> [{?CHECK,0} | Exports];
  	    true -> Exports
  	 end,
      [M, {attribute,0,export,Es} | lists:reverse(Fs1)].
  