Matthew Lutze
Matthew Lutze
Yes, needs a rebase.
> Ok this is close to done. The only thing I'm not sure how to approach is that `formatType` doesn't prepend `##` to native types. This means that `NewObjectCompleter` has...
Magnus: > We should add an Effect Verifier. 3 months later > This effect verifier is annoying, do we have to keep it? Let's keep it around until after the...
Used in Deriver but other than that it only appears in typechecking and verification, etc.
On list and similar collections.
E.g., at least `Nel` and `MutList`, but perhaps also `*Map`
``` pub def unfold(r: Region[r], f: Unit -> Option[a]): Iterator[a, r] ```
Rust appears to have issued IDs in order (E0001, E0002, ...). It's hard to find where errors are emitted but they have this registry thing mapping IDs to errors: https://github.com/rust-lang/rust/blob/master/compiler/rustc_errors/src/registry.rs...
https://github.com/rust-lang/rust/blob/master/compiler/rustc_error_codes/src/lib.rs ``` //! This library is used to gather all error codes into one place, to make //! their maintenance easier. ```
I agree that random numbers are fine, but centralizing them just seems like it will help organization. Some day someone will ask "what are all the error codes in Flix"...