Macro

namespace MacroLibrary1
{   
  public macro Test()
  {
      <[ $("_myProp" : usesite) ]>
  }
}

Main:

class MyTest
{
  public this()
  {
    _myProp = 1; // OK
    def t = Test(); // OK
    Test() = t; // Error: needed a writable location for assignment target, got a reference to field '_myProp', which is read-only
  }
  
  private _myProp : int;
}

Как получить переменную для записи ?

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

__>Как получить переменную для записи ?
Может так:
__>

__>  private mutable _myProp : int;
__>

А это сработало ибо инициализация в конструкторе.

_myProp = 1; // OK

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

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

__>>Как получить переменную для записи ?
WH>Может так:
__>>

__>>  private mutable _myProp : int;
__>>

WH>А это сработало ибо инициализация в конструкторе.
WH>

WH>_myProp = 1; // OK 
WH>

Ну так Test() и должен подставлять переменную которую я инициализирую в конструкторе.

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

здесь обламывается т.к. тип получается другим.

В первом случае имеем TExpr.FieldMember
А в случае макроса имеем тип Nemerle.Compiler.Typedtree.TExpr {Nemerle.Compiler.Typedtree.TExpr.MacroEnvelope}.

Как в макросе типизировать чтобы получился тип TExpr.FieldMember ?

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

__>здесь обламывается т.к. тип получается другим.

__>В первом случае имеем TExpr.FieldMember
__>А в случае макроса имеем тип Nemerle.Compiler.Typedtree.TExpr {Nemerle.Compiler.Typedtree.TExpr.MacroEnvelope}.

__>Как в макросе типизировать чтобы получился тип TExpr.FieldMember ?

Лучше в указанном тобой месте дополнительную проверку сделать (на MacroEnvelope). И распаковывать этот самый MacroEnvelope. Только еще нужно учесть, что есть еще одно место где проверяется л-вэлью — это отложенная типизация доступа к членам. Так что если проверку сделать только тут, то может оказаться, что в случае когда тип сразу не вывелся, код работать по прежнему не будет.

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

VD>Лучше в указанном тобой месте дополнительную проверку сделать (на MacroEnvelope). И распаковывать этот самый MacroEnvelope. Только еще нужно учесть, что есть еще одно место где проверяется л-вэлью — это отложенная типизация доступа к членам. Так что если проверку сделать только тут, то может оказаться, что в случае когда тип сразу не вывелся, код работать по прежнему не будет.

А где именно в коде компилятора "еще одно место" ?

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

__>А где именно в коде компилятора "еще одно место" ?

Я не давно такой баг правил. Там не работал += для события, если событие тип объекта к чьему событию подключение идет не был известен сразу (шла отложенная типизация).

Вообще, конечно это бардак, что в компиляторе есть по два места где одно и то же проверяется. Во второй версии вывод типов нужно к чертям переписывать.

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

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

__>>А где именно в коде компилятора "еще одно место" ?

VD>Я не давно такой баг правил. Там не работал += для события, если событие тип объекта к чьему событию подключение идет не был известен сразу (шла отложенная типизация).

VD>Вообще, конечно это бардак, что в компиляторе есть по два места где одно и то же проверяется. Во второй версии вывод типов нужно к чертям переписывать.

Решение понятно, но не совсем ясно что мне туда нужно вписать.
Я не думаю, что | _ is IMacro => true это правильное решение там .

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

__>Решение понятно, но не совсем ясно что мне туда нужно вписать.
__>Я не думаю, что | _ is IMacro => true это правильное решение там .

Это нужно думать по месту.