No well error message, copy of closed #55

[fdsc]

see closed #55 (I does not reopen)

---

1. "if" expression can not be int_int_int type in sample function, but compiler error message requires this.
2. Compiler error message must be easy to understand and must have well location. if compiler can not inference of type "if" expression, it must say about this with correct form.

therefore, #55 is a bug.

[VladD2]

Что не понятного в "expected (int * int * int)-, got void in computation branch" и куда должно указывать это сообщение, если не на само выражение if?

[rampelstinskin]

Ты просто привык.
Он говорит ровно то же что говорил я во время флейма про типизацию Н2.
Типизация раскрытых макросов порождает, и будет порождать страшные сообщения об ошибках.

[VladD2]

Вообще-то - это не форум. Хочешь вернуться к обсуждению, давай, но на форуме.

Здесь вопрос о том, что человек хочет увидеть. Может мой взгляд и правда замылен и я привык к чему-то не тому, но по-моему очевидно, что компилятор вычислил одну из веток как int * int * int, а другую как void, и говорит об этом.

Возможно, я уже думаю как компилятор и для меня это очевидно. Вот и хочу услышать от тех кто с незамещенным взглядом, что он хочет "услышать" от компилятора.

Похоже что человеку совершенно все равно будут ли в сообщении слова про if. Он, скорее всего, хочет услышать, что-то другое. Его реальная ошибка - это забытое возвращаемое значение функции. Вот только компилятор то не телепат. У него есть алгоритм и он ему следует. Раз не может быть у if-а разных типов в разных ветках, то не может. ИИ еще не изобрели и алгоритм не может понять, что человек сделал другую ошибку которая привела к этой. Причем ошибка сделанная по привычке выработанной другим языком (шарпом).

ЗЫ

На, раз уж ты превратил ветку в форум, то можно тебя спросить? Как дела с твоим прототипом?

[fdsc]

see http://rsdn.ru/forum/nemerle/4389789.1.aspx