umka-lang

umka-lang copied to clipboard

fn main() {
  var x: int32 = "a"; // Error: Incompatible types int32 and str
  var y: int32 = "b"; // not reported
}

Reporting more than a single type error per compiler invocation (see this godbolt/compiler-explorer page) is good because it saves time.

Yes, the compiler (not only the type checker) always stops on the first error and does not try to recover.

I'm personally like it this way. A lot of compilers that report multiple errors can report errors that only exist because of other errors.