module Common
{
  MakeForEachBody(Pattern : Pattern, body : Expr)
  {
    if (body is MatchBody) // если тело цикла содержит паттерны...
    {
      assert(Pattern is Identifier); // паттерн должен быть простым именем
      <[  match (current)
            ..$body ]>
    }
    else 
      <[  match (current)
          {
            | $Pattern => $body
            | _ => ()
          } ]>;
  }
}

    <[
      def arr = $Collection;
      for (mutable i = 0; i < arr.Length; i++)
      {
        def current = arr[i];
        $(Common.MakeForEachBody(Pattern, Body));
      }
    ]>

    <[
      def arr = $Collection;
      for (mutable i = 0; i < arr.Length; i++)
      {
        def current = arr[i];
        $(Common.MakeForEachBody(Pattern, Body));
      }
    ]>

ForEachWith = "whith" VarName : Identifier;

using Nemerle.Compiler;
using System.Console;

macro TestMacro()
{
    <[ def current = 5; WriteLine(current) ]>
}

TestMacro();

public class Test
{
    public static void Main()
    {
        int value = 5;
        Console.WriteLine(value);
    }
}

using Nemerle.Compiler;
using System.Console;

macro TestMacro()
{
    <[ WriteLine(current) ]>
}

def current = 5;
TestMacro();

А>def current = 5;
А>TestMacro();
А>

error: unbound name `current'

macro TestMacro()
{
    <[ WriteLine($("current" : dyn)) ]>
}

def current = 5;
TestMacro(); // OK! Output: 5

module Common
{
  MakeForEachBody(Pattern : Pattern, body : Expr, current)
  {
    if (body is MatchBody) // если тело цикла содержит паттерны...
    {
      assert(Pattern is Identifier); // паттерн должен быть простым именем
      <[  match (current)
            ..$body ]>
    }
    else 
      <[  match (current)
          {
            | $Pattern => $body
            | _ => ()
          } ]>;
  }
}

А>module Common
А>{
А>  MakeForEachBody(Pattern : Pattern, body : Expr, current)
А>  {
А>      <[  match (current)
А>            ..$body ]>
...
А>    }
А>    else 
А>      <[  match (current)
...
А>

<[
      def arr = $Collection;
      for (mutable i = 0; i < arr.Length; i++)
      {
        def current = arr[i];
        $(Common.MakeForEachBody(Pattern, Body));
      }
    ]>