using Nemerle.Extensions;
module Program
{
  [StructuralEquality]  
  public variant V  
  {
    | V1  
    | V2{ x: double }
  }

  Main() : void
  {    
    def a = V.V2(1);
    def b = V.V2(2);
    
    def r = a.Equals(b); // true !!! т/е. (a :> V).Equals(b :> V) == true
  }
}

понятно что это решается

  [StructuralEquality]  
  public variant V  
  {
    | V1  
    [StructuralEquality]
    | V2{ x: double }
  }

это недостаток макроса?
или на такое использование варианты не расчитаны?

Здравствуйте, para, Вы писали:

P>это недостаток макроса?
P>или на такое использование варианты не расчитаны?

Мне кажется, на такое использование не рассчитаны ни макрос, ни варианты. Правильно ли это, сказать не берусь.

Я бы на вашем месте сделал макрос, допустим, StructuralVariant, который бы приставлял StructuralEquality ко внутренним классам варианта.

Здравствуйте, para, Вы писали:

P>это недостаток макроса?

Да. Можешь допилить до возможности использования на вариантах.

Здравствуйте, hardcase, Вы писали:

P>>это недостаток макроса?

H>Да. Можешь допилить до возможности использования на вариантах.

ок попробую)