iacore

Disclaimer: I don't know much about Windows. The information is not enough. How the program exited is important. This is likely due to UBSan being on by default in Zig...

That's weird. I would recommend not using Zig to build this on Windows then.

trying to predictably produce race condition is hard. maybe verifying the implementation manually is good enough.

> I borrowed from [Rust compiler](https://github.com/rust-lang/rust/blob/03994e498df79aa1f97f7bbcfd52d57c8e865049/compiler/rustc_span/src/edit_distance.rs) but had to adjust to fit for some cases I felt the current solution made more sense. For example, `unknown_record_field` ([test here](https://github.com/gleam-lang/gleam/blob/efc519c65fcf23dd1c0d9e890efe0a5f9260c021/compiler-core/src/type_/tests/errors.rs#L861-L869)) should indeed...

> As for the special case. I tend to agree on not having it, but the example in the test is so compelling (it suggests `inner` – which is correct...

Hello @lpil, I have two other questions. 1. Is it good (depending on your interpretation) to add `Int : Type` to Gleam, in order to unify the two namespaces (type...

> 1. Could you expand a little on your proposal? Thanks My proposal is more complex than what Gleam need. This is how Rust shows error message when a type...

If Gleam's type system supports using types as terms, it would look like this: ``` error: Type mismatch ┌─ /src/main.gleam:4:14 │ 4 │ io.println(Int) │ ^^^ Expected type: String Found...

> complicated parsing rules I thought of a rule, which states, *** Any group of elements with an empty line before and after, if it's only one element, it's not...

 the bar is high enough, but with the border it's not high enough. the rightmost icon is clipping is there a way to remove the up/down margin?