Свертка для match
От: _NN_ www.nemerleweb.com
Дата: 26.07.12 07:28
Оценка: +1
Вот как выглядит свертка кода для сопоставления:

match (x)
{
[+] | case1 =>
    ...
[+] | case2 =>
    ...
    | _ =>
[+]  ...
}


Почему нельзя свернуть сопоставление по умолчанию в месте "| _", а остальные можно ?
Видимо там неправильно подсчитывается номер строки.
http://rsdn.nemerleweb.com
http://nemerleweb.com
Re: Свертка для match
От: VladD2 Российская Империя www.nemerle.org
Дата: 12.08.12 18:00
Оценка:
Здравствуйте, _NN_, Вы писали:

_NN>Почему нельзя свернуть сопоставление по умолчанию в месте "| _", а остальные можно ?

_NN>Видимо там неправильно подсчитывается номер строки.

Что-то у меня не воспроизводится. Покажи минимальный пример воспроизводящий это.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[2]: Свертка для match
От: _NN_ www.nemerleweb.com
Дата: 12.08.12 18:29
Оценка:
Здравствуйте, VladD2, Вы писали:

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


_NN>>Почему нельзя свернуть сопоставление по умолчанию в месте "| _", а остальные можно ?

_NN>>Видимо там неправильно подсчитывается номер строки.

VD>Что-то у меня не воспроизводится. Покажи минимальный пример воспроизводящий это.


Вот свернуто и развернуто.
Обрати внимание у "| _ => " сворачивается не так как другие.
http://rsdn.nemerleweb.com
http://nemerleweb.com
Re[3]: Свертка для match
От: VladD2 Российская Империя www.nemerle.org
Дата: 12.08.12 19:10
Оценка:
Здравствуйте, _NN_, Вы писали:

_NN>Вот свернуто и развернуто.

_NN>Обрати внимание у "| _ => " сворачивается не так как другие.
_NN>http://s13.postimage.org/xmwxbhcpx/fold.png[/img]

Твои картинки у меня не отображаются. Лучше код приведи.
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
Re[4]: Свертка для match
От: _NN_ www.nemerleweb.com
Дата: 26.10.13 12:14
Оценка:
Здравствуйте, VladD2, Вы писали:

VD>Твои картинки у меня не отображаются. Лучше код приведи.

Сейчас отображается ?


screencapture
http://rsdn.nemerleweb.com
http://nemerleweb.com
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.