Merge remote-tracking branch 'upstream/trunk' into fix-panic-on-unimported-module

This commit is contained in:
Emi Simpson 2022-02-25 09:18:19 -05:00
commit 40375adbb0
No known key found for this signature in database
GPG key ID: A12F2C2FFDC3D847
213 changed files with 6993 additions and 3601 deletions

View file

@ -39,7 +39,7 @@ pub enum Problem {
CyclicAlias(Symbol, Region, Vec<Symbol>),
BadRecursion(Vec<CycleEntry>),
PhantomTypeArgument {
alias: Symbol,
typ: Symbol,
variable_region: Region,
variable_name: Lowercase,
},
@ -155,6 +155,16 @@ pub enum RuntimeError {
ErroneousType,
LookupNotInScope(Loc<Ident>, MutSet<Box<str>>),
OpaqueNotDefined {
usage: Loc<Ident>,
opaques_in_scope: MutSet<Box<str>>,
opt_defined_alias: Option<Region>,
},
OpaqueOutsideScope {
opaque: Ident,
referenced_region: Region,
imported_region: Region,
},
ValueNotExposed {
module_name: ModuleName,
ident: Ident,