anchor.diff:  -type warnings() :: [{file:filename(), [err_info()]}].
   -type mod_ret()  :: {'ok', module()}
                     | {'ok', module(), cerl:c_module()} %% with option 'to_core'
  +                  | {'ok',                            %% with option 'to_pp'
  +                     module() | [],                   %% module() if 'to_exp'
  +                     abstract_code()}
                     | {'ok', module(), warnings()}.
   -type bin_ret()  :: {'ok', module(), binary()}
                     | {'ok', module(), binary(), warnings()}.
  
positive.code: 		map/2,flatmap/2,foreach/2,foldr/3,any/2]).
  
  %%----------------------------------------------------------------------
  
  -type option() :: atom() | {atom(), term()} | {'d', atom(), term()}.
  
  
negative.code:     do_compile({file,File}, Opts);
  noenv_file(File, Opt) ->
      noenv_file(File, [Opt|?DEFAULT_OPTIONS]).
  
  -spec noenv_forms(abstract_code(), [option()] | option()) -> comp_ret().
  
  noenv_forms(Forms, Opts) when is_list(Opts) ->
      do_compile({forms,Forms}, [binary|Opts]);
  