public compareFiles(f1: string, f2: string):  int * int * int
{
  (0, 0, 0)
}

private RetryCompareButton_Click (sender : object,  e : System.EventArgs) : void
{
  if (!String.IsNullOrEmpty(fileNameBox1.Text) && !String.IsNullOrEmpty(fileNameBox2.Text))
    compareFiles(fileNameBox1.Text, fileNameBox2.Text);
  else
    _ = MessageBox.Show("Извините, в текстовых полях отсутствуют имена файлов для сравнения:\r\n нажмите кнопку \"Сравнить\" или введите их вручную"): void;
}

"abc".Remove("b");

Detected incompatible types (int * int * int)- and void in computation branchs

VD>Дык он просто не знает где у тебя ошибка! Он же автомат, тупая машина!

RetryCompareButton_Click (sender : object, e : System.EventArgs) : void

void f()
{
  if (true) {
    return 42;
  }
  else {
    printf("Hello, world");
  }
}

bool condition() { return true; }

int intF() { return 0; }

void voidF() { }

void f()
{
    return condition() ? intF() : voidF();
}

int main()
{
    f();
}

g++

In function 'void f()':
Line 9: error: 'voidF()' has type 'void' and is not a throw-expression
compilation terminated due to -Wfatal-errors.

А>>Вот честно, я не понимаю как это может быть не понятно

А>>void f()
А>>{
А>>  if (true) {
А>>    return 42;
А>>  }
А>>  else {
А>>    printf("Hello, world");
А>>  }
А>>}
А>>

f() : void
{
  if (true) {
    42;
  }
  else {
    printf("Hello, world");
  }
}

В Nemerle if и else обязанны возвращать один и тот же тип.
Соответственно ошибка должна быть совсем другой.

Разве я говорил где-то, что мне что-то непонятно. Я сказал, что сообщение низкого качества, а должно быть лёгким для понимания — высокого качества. Ошибка состоит в том, что возвращаемое значение if не void, а мне компилятор говорит, что ожидается (int * int * int). Если это невозможно или трудно исправить, это не значит, что это не дефект.

VD>Дык он просто не знает где у тебя ошибка! Он же автомат, тупая машина!

def a: int = "2";

def a: int = if (true) "2" else 1;

VD>Ошибись во второй ветке и услышишь именно это .

Detected incompatible types in computation branchs: (int * int * int), void

def f() : string
{
  if (cond)
    WriteLine("..."); // void
  else
    ReadLine(); // возвращает строку

  "a"
}

FDS>def a: int = "2";
FDS>

class Program
{
  static void Main(string[] args)
  {
    return args.Length < 0 
      ? args 
      : 1; // error CS0173: Type of conditional expression cannot be determined because there is no implicit conversion between 'string[]' and 'int'
  }
}

VD>Это, вообще-то, цитата другого человека.

using Nemerle.Collections;
using Nemerle.Text;
using Nemerle.Utility;
using Nemerle.Compiler;
using Nemerle.Compiler.Parsetree;
using Nemerle.Compiler.Typedtree;

using System;
using System.Collections.Generic;
using System.Linq;

using System.IO;
using System.Text;

using Nemerle.Imperative;

namespace TabFile
{
    macro forToMacro(v, index1, index2, body)
    syntax ("for", v, "from", index1, "to", index2, "do", body)
    {
        Console.WriteLine(v.GetType().ToString());
        def id = (v:> PExpr.Ref).name.Id;
        <[ 
            mutable $(id: dyn): int = $index1;
            def     e = $index2;
            for (; $(id: dyn) <= e; $(id: dyn)++)
            {
                $body
            }
        ]>
    }

    macro for0Macro(v, index2, body)
    syntax ("for0", v, "to", index2, "do", body)
    {
        Console.WriteLine(v.GetType().ToString());
        def id = (v:> PExpr.Ref).name.Id;
        <[ 
            mutable $(id: dyn): int = 0;
            def     e = $index2;
            for (; $(id: dyn) <= e; $(id: dyn)++)
            {
                $body
            }
        ]>
    }

    macro forDowntoMacro(v, index1, index2, body)
    syntax ("for", v, "from", index1, "downto", index2, "do", body)
    {
        Console.WriteLine(v.GetType().ToString());
        def id = (v:> PExpr.Ref).name.Id;
        <[ 
            mutable $(id: dyn): int = $index1;
            def     e = $index2;
            for (; $(id: dyn) >= e; $(id: dyn)--)
            {
                $body
            }
        ]>
    }

    public class TabFileReader
    {
        public class TabTreeElement
        {
            public Name:    string;
            public parent:  TabTreeElement;

            public childs: List[TabTreeElement];

            public this(Name: string, parent: TabTreeElement)
            {
                this.Name   = Name;
                this.parent = parent;

                childs = List(4);
            }

            public write(): string
            {
                def sb = StringBuilder();
                write("", sb);
                sb.ToString();
            }


            public write(tab: string, sb: StringBuilder): void
            {
                def newTab = 
                    if (parent != null)
                    {
                        _ = sb.AppendLine(tab + Name);
                        tab + "\t"
                    }
                    else tab;

                foreach (child in childs)
                    child.write(newTab, sb);
            }
        }

        public tabFileName: string;
        public this(tabFileName: string)
        {
            def fi = FileInfo(tabFileName);
            unless (fi.Exists)
                throw FileNotFoundException($"Файл '$tabFileName' не найден.\r\n[полный путь '$(fi.FullName)']\r\nОбъект TabFileReader принимает имя только существующего файла.");

            this.tabFileName = fi.FullName;
        }

        public parse(): TabTreeElement
        {
            def root = TabTreeElement("", null);
            _ = parse(File.ReadAllLines(tabFileName), 0, "", root);
            root;
        }

        public parse(lines: array[string], curLine: int, curTab: string, curTreeTabParent: TabTreeElement): bool * int
        {
            when (lines.Length <= curLine)
                return (false, curLine);

            def line = lines[curLine];
            def subtreeContinue(): bool
            {
                line.StartsWith(curTab)
            }

            def getCurName()
            {
                line.Substring(curTab.Length)
            }

            def emptyLine()
            {
                line.Length <= curTab.Length && line.Trim().Length == 0;
            }

            when (emptyLine())
                return parse(lines, curLine + 1, curTab, curTreeTabParent);

            when (!subtreeContinue())
                return (false, curLine);

            def current = TabTreeElement(getCurName(), curTreeTabParent);
            curTreeTabParent.childs.Add(current);

            def childParse = parse(lines, curLine + 1, curTab + "\t", current);
            if (childParse[0])
                throw Exception("Фатальная ошибка алгоритма TabFileReader.parse: распарсены все потомки, но childParse - истинный")
            else
                parse(lines, childParse[1], curTab, curTreeTabParent);
        }
    }
}

(if (...) ... else ...) : X

public c(a: int): int
{
    if (a == 1)
        ()
    else
        (1);
}

public c(a: int): int
{
    def b()
    {
        if (a == 2)
            1
        else
           ();
    }

    if (a == 1)
        b()
    else
        (1);
}

public c2(a: int): void
{
    def b()
    {
        if (a == 2)
            1
        else
           ();
    }

    if (a == 1)
        b()
    else
        (1);
}

public c2(a: int): void
{
    def b()
    {
        if (a == 2)
            1
        else
           ();
    }

    if (a == 1)
        b()
    else
        ();
}