anchor.diff:  -export([test/0]).
   
   %%------------------------------------------------------------------------------
  -%% This transform0 module is responsible for transforming functions into the
  -%% appropriate abstractions (base / value / name) and in transforming where
  +%% This transformation module transforms functions into their corresponding
  +%% abstractions (. base / ! value / (space) name) and in transforming where
   %% clauses into wheredim / wherevar clauses.
  +%%
   %% We define the transformation pass over the entire parse tree for the sake of
   %% completeness, but clearly some transformations can result in illegal code.
   %% These cases could be specialized in the future if necessary to give us better
  
positive.code: %%------------------------------------------------------------------------------
  %% AST Transformation
  %%------------------------------------------------------------------------------
  -module(ttransform0).
  
  
negative.code: transform0_prime([], E) ->
    E;
  transform0_prime([{b_param, Param}|Ps], E) ->
    transform0_prime(Ps, {b_abs, [], [Param], E, undef});
  transform0_prime([{v_param, Param}|Ps], E) ->
    transform0_prime(Ps, {v_abs, [], [Param], E});
  transform0_prime([{n_param, Param}|Ps], E) ->
    %%------------------------------------------------------------------------------
    %% FIXME -- Here we need to replace Param in E with an intension application
    %%------------------------------------------------------------------------------
    transform0_prime(Ps, {v_abs, [], [Param], E}).
  
  %%------------------------------------------------------------------------------
  %% Transform0 where transforms a where clause into wherevar / wheredims.
  