terrible-buggy-code.mill

use std.io;

proc f(x: Unit, y: Anything) {
    if x(x) { } else { };
}

proc g(x: io, y: f, z: Z32) {
    if z { } else { };
}

proc main() {
    if f("x", "y") { } else { };
    f({ "x"; {}; }, f);
    f({ "x"; }, "x");
    f();
}

zdiagnostics.txt

warning: callee is of type 'std.Unit', should be subroutine type
        if x(x) { } else { };
           ^
warning: 'io' is a module, not a type
    proc g(x: io, y: f, z: Z32) {
              ^
warning: 'f' is a subroutine, not a type
    proc g(x: io, y: f, z: Z32) {
                     ^
warning: condition is of type 'std.Z32', should be 'std.Boolean'
        if z { } else { };
           ^
warning: argument is of type 'std.String', should be 'std.Unit'
        if f("x", "y") { } else { };
             ^
warning: argument is of type 'std.String', should be 'std.Unit'
        f({ "x"; }, "x");
          ^
warning: argument count is 0, should be 2
        f();
        ^