Function edlang_check::lowering_error_to_report
source · pub fn lowering_error_to_report(
+ Function edlang_check::lowering_error_to_report
source · pub fn lowering_error_to_report(
error: LoweringError,
session: &Session
) -> Report<'_, (String, Range<usize>)>
Expand description
Creates a report from a lowering error.
diff --git a/edlang_check/index.html b/edlang_check/index.html
index 5256bc827..5e576a309 100644
--- a/edlang_check/index.html
+++ b/edlang_check/index.html
@@ -1,3 +1,3 @@
edlang_check - Rust
- Crate edlang_check
source · Functions
- Creates a report from a lowering error.
Crate edlang_check
source · Functions
- Creates a report from a lowering error.
LoweringError in edlang_lowering::errors - Rust
- Enum edlang_lowering::errors::LoweringError
source · pub enum LoweringError {
+LoweringError in edlang_lowering::errors - Rust
+ Enum edlang_lowering::errors::LoweringError
source · pub enum LoweringError {
ModuleNotFound {
span: Span,
module: String,
@@ -35,7 +35,11 @@
found: TypeKind,
expected: TypeInfo,
},
-}
Variants§
§ModuleNotFound
§FunctionNotFound
§ImportNotFound
§BorrowNotMutable
§UnrecognizedType
§IdNotFound
§NotYetImplemented
§UnexpectedType
Trait Implementations§
source§impl Clone for LoweringError
source§fn clone(&self) -> LoweringError
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Debug for LoweringError
source§impl Display for LoweringError
source§impl Error for LoweringError
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
The lower-level source of this error, if any. Read more1.0.0 · source§fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()Auto Trait Implementations§
§impl RefUnwindSafe for LoweringError
§impl Send for LoweringError
§impl Sync for LoweringError
§impl Unpin for LoweringError
§impl UnwindSafe for LoweringError
Blanket Implementations§
source§impl<T> Any for Twhere
+ UseOfUndeclaredVariable {
+ span: Span,
+ name: String,
+ },
+}Variants§
§ModuleNotFound
§FunctionNotFound
§ImportNotFound
§BorrowNotMutable
§UnrecognizedType
§IdNotFound
§NotYetImplemented
§UnexpectedType
§UseOfUndeclaredVariable
Trait Implementations§
source§impl Clone for LoweringError
source§fn clone(&self) -> LoweringError
Returns a copy of the value. Read more1.0.0 · source§fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read moresource§impl Debug for LoweringError
source§impl Display for LoweringError
source§impl Error for LoweringError
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
The lower-level source of this error, if any. Read more1.0.0 · source§fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()Auto Trait Implementations§
§impl RefUnwindSafe for LoweringError
§impl Send for LoweringError
§impl Sync for LoweringError
§impl Unpin for LoweringError
§impl UnwindSafe for LoweringError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read moresource§impl<T> From<T> for T
source§fn from(t: T) -> T
Returns the argument unchanged.
diff --git a/edlang_lowering/errors/index.html b/edlang_lowering/errors/index.html
index 2ff37e4bb..746286d8c 100644
--- a/edlang_lowering/errors/index.html
+++ b/edlang_lowering/errors/index.html
@@ -1,2 +1,2 @@
edlang_lowering::errors - Rust
- Module edlang_lowering::errors
source · Enums
Module edlang_lowering::errors
source · Enums
lower_type in edlang_lowering - Rust
- Function edlang_lowering::lower_type
source · pub fn lower_type(
+ Function edlang_lowering::lower_type
source · pub fn lower_type(
ctx: &BuildCtx,
t: &Type,
module_id: DefId
diff --git a/edlang_lowering/index.html b/edlang_lowering/index.html
index 9eaa0466d..b864515a3 100644
--- a/edlang_lowering/index.html
+++ b/edlang_lowering/index.html
@@ -1,3 +1,3 @@
edlang_lowering - Rust
- U::from(self).","","","","","",""],"i":[0,2,2,2,2,2,2,2,2,2,2,2,2,0,2,2,2,2,2],"f":[0,[1,1],[1,1],[-1,-2,[],[]],[-1,-2,[],[]],[[],1],[[],1],[[2,3],4],[-1,-1,[]],[5,[[7,[2,6]]]],[5,[[7,[2,6]]]],[[],[[9,[8]]]],[-1,-2,[],[]],[[],[[7,[10,[12,[11]]]]]],[-1,[[7,[-2]]],[],[]],[-1,[[7,[-2]]],[],[]],[-1,13,[]],[[2,5],[[7,[10,6]]]],[[2,5],[[7,[10,6]]]]],"c":[],"p":[[5,"Command",19],[5,"CompilerArgs",0],[5,"Formatter",20],[8,"Result",20],[5,"ArgMatches",21],[8,"Error",22],[6,"Result",23],[5,"Id",24],[6,"Option",25],[1,"tuple"],[10,"Error",26],[5,"Box",27],[5,"TypeId",28]],"b":[]}],\
["edlang_ir",{"doc":"","t":"PFFPPPFGPPPPFPPPPPPPFGGPPFFPPPPPPPPPGPPPPPPPPPPPPPPPGPPPPFGPGPFPPPPPPGPFGFPGPPPPPPPFGPPPPPPFFPPGFGPPPPPPPPPPPGGPPPPPPGPONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNOOOOOONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNOOOONNNNNNNNNNNNNNNNNNNNOOONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNONNOONNOOOOOOOOOOOOOOOONONNNNNNOOCOOOOOOOOOOOOOONOONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNOONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNOONNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNOOOOOOOOOOOOOFNNNNNONNNNNNHNONHNNNN","n":["Add","AdtBody","AdtVariant","And","Arg","Assign","BasicBlock","BinOp","BinOp","BitAnd","BitOr","BitXor","Body","Bool","Bool","Branch","Call","Cast","Char","Char","ConstData","ConstKind","ConstValue","Constant","Copy","DebugInfo","DefId","Deref","Div","Eq","F32","F32","F64","F64","Field","Float","FloatTy","FnDef","Ge","Gt","I128","I128","I16","I16","I32","I32","I64","I64","I8","I8","Index","Int","IntTy","Isize","Isize","Le","Leaf","Local","LocalKind","LogicOp","LogicalOp","Lt","ModuleBody","Move","Mul","Ne","Neg","Not","Offset","Operand","Or","Place","PlaceElem","ProgramBody","Ptr","RValue","Ref","Ref","Rem","Return","ReturnPointer","Shl","Shr","Statement","StatementKind","StorageDead","StorageLive","Str","Struct","Sub","SwitchInt","SwitchTarget","SymbolTable","Target","Temp","Terminator","TypeInfo","TypeKind","U128","U128","U16","U16","U32","U32","U64","U64","U8","U8","Uint","UintTy","UnOp","UnOp","Unit","Unreachable","Use","Usize","Value","ValueTree","ZeroSized","blocks","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","clone_into","cmp","cmp","cmp","cmp","cmp","cmp","constants","constants","debug_name","def_id","def_id","def_id","default","default","default","eq","eq","eq","eq","eq","eq","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fmt","fn_span","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","from","function_signatures","functions","functions","functions","get_args","get_bool","get_char","get_f32","get_f64","get_falsy_value","get_i128","get_i16","get_i32","get_i64","get_i8","get_mangled_name","get_return_local","get_type","get_u128","get_u16","get_u32","get_u64","get_u8","hash","id","id","imports","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","into","is_extern","is_float","is_integer","is_pub","is_pub","is_signed_integer","is_unit","kind","kind","kind","kind","local","locals","module_id","modules","modules","modules","mutable","name","name","name","name","name_to_idx","new","parent_ids","partial_cmp","partial_cmp","partial_cmp","partial_cmp","partial_cmp","partial_cmp","program_id","projection","scalar_int","span","span","span","span","span","span","span","statements","structs","structs","structs","symbols","symbols","targets","temp","terminator","terminator_span","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_owned","to_string","top_level_module_names","top_level_modules","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","try_into","ty","ty","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_id","type_info","types","types","values","variants","field_idx","local","args","destination","discriminator","func","target","targets","ScalarInt","borrow","borrow_mut","clone","clone_into","cmp","data","eq","fmt","from","hash","into","partial_cmp","sign_extend","size","size","to_owned","truncate","try_from","try_from_int","try_into","type_id"],"q":[[0,"edlang_ir"],[572,"edlang_ir::PlaceElem"],[574,"edlang_ir::Terminator"],[580,"edlang_ir::scalar_int"],[602,"core::cmp"],[603,"core::fmt"],[604,"core::fmt"],[605,"alloc::string"],[606,"core::hash"],[607,"edlang_span"],[608,"core::option"],[609,"core::result"],[610,"core::any"],[611,"core::convert"]],"d":["","","struct field or enum variant","","","","","","","","","","","","","","","","","","","","","","","","Definition id.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Used for ifs, match","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Constants defined in this module.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","The function signatures.","","This stores all the functions from all modules","Functions defined in this module.","","","","","","","","","","","","","","","","","","","","","","","Imported items. symbol -> id","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","All the modules in a flat map.","Submodules defined in this module.","","","","","","","","","","","","","","","","","","","","","","","","","","","","Structs defined in this module.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","The top level modules.","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Types defined in this module.","","","","","The arguments.","The place in memory to store the return value of the …","","The function to call.","What basic block to jump to after the function call, if …","","","","","","","","","","","Returns the argument unchanged.","","Calls U::from(self).","","","Size in bytes","Size in bytes","","Truncates value to self bits.","","","",""],"i":[28,0,0,29,11,13,0,0,24,28,28,28,0,17,31,23,14,24,17,31,0,0,0,25,25,0,0,27,28,28,20,31,20,31,27,17,0,17,28,28,18,31,18,31,18,31,18,31,18,31,27,17,0,18,31,28,23,0,0,24,0,28,0,25,28,28,30,30,28,0,29,0,0,0,17,0,17,24,28,14,11,28,28,0,0,13,13,17,17,28,14,0,0,14,11,0,0,0,19,31,19,31,19,31,19,31,19,31,17,0,0,24,17,14,24,19,22,0,22,5,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,4,16,17,18,19,20,1,3,10,5,6,7,1,2,4,4,16,17,18,19,20,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,5,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,2,1,2,3,5,17,17,17,17,17,17,17,17,17,17,5,5,23,17,17,17,17,17,4,4,8,3,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,5,17,17,5,6,17,17,10,12,16,21,26,5,3,1,2,3,10,3,5,6,7,6,10,3,4,16,17,18,19,20,4,26,0,3,6,8,10,12,16,21,9,1,2,3,1,3,15,10,9,9,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,17,2,2,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,7,10,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,21,1,3,15,6,50,51,52,52,53,52,52,53,0,45,45,45,45,45,45,45,45,45,45,45,45,0,45,45,45,0,45,45,45,45],"f":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[1,1],[2,2],[3,3],[4,4],[5,5],[6,6],[7,7],[8,8],[9,9],[10,10],[11,11],[12,12],[13,13],[14,14],[15,15],[16,16],[17,17],[18,18],[19,19],[20,20],[21,21],[22,22],[23,23],[24,24],[25,25],[26,26],[27,27],[28,28],[29,29],[30,30],[31,31],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[-1,-2],32,[],[]],[[4,4],33],[[16,16],33],[[17,17],33],[[18,18],33],[[19,19],33],[[20,20],33],0,0,0,0,0,0,[[],1],[[],2],[[],4],[[4,4],34],[[16,16],34],[[17,17],34],[[18,18],34],[[19,19],34],[[20,20],34],[[1,35],36],[[2,35],36],[[3,35],36],[[4,35],36],[[5,35],36],[[6,35],36],[[7,35],36],[[8,35],36],[[9,35],36],[[10,35],36],[[11,35],36],[[12,35],36],[[13,35],36],[[14,35],36],[[15,35],36],[[16,35],36],[[17,35],36],[[17,35],36],[[18,35],36],[[19,35],36],[[20,35],36],[[21,35],36],[[22,35],36],[[23,35],36],[[24,35],36],[[25,35],36],[[26,35],36],[[27,35],36],[[28,35],36],[[29,35],36],[[30,35],36],[[31,35],36],0,[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],0,0,0,0,[5,[[38,[[37,[10]]]]]],[[],17],[[],17],[[],17],[[],17],[17,23],[[],17],[[],17],[[],17],[[],17],[[],17],[5,39],[5,10],[23,17],[[],17],[[],17],[[],17],[[],17],[[],17],[[4,-1],32,40],0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],0,[17,34],[17,34],0,0,[17,34],[17,34],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[[[42,[41]],11,16,[42,[39]],34],10],0,[[4,4],[[42,[33]]]],[[16,16],[[42,[33]]]],[[17,17],[[42,[33]]]],[[18,18],[[42,[33]]]],[[19,19],[[42,[33]]]],[[20,20],[[42,[33]]]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[17,10],0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,39,[]],0,0,[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],[-1,[[43,[-2]]],[],[]],0,0,[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],[-1,44,[]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[45,45],[[-1,-2],32,[],[]],[[45,45],33],0,[[45,45],34],[[45,35],36],[-1,-1,[]],[[45,-1],32,40],[-1,-2,[],[]],[[45,45],[[42,[33]]]],[[46,47],47],[45,46],0,[-1,-2,[],[]],[[46,47],47],[-1,[[43,[-2]]],[],[]],[[-1,46],[[42,[45]]],[[49,[48]]]],[-1,[[43,[-2]]],[],[]],[-1,44,[]]],"c":[],"p":[[5,"SymbolTable",0],[5,"ProgramBody",0],[5,"ModuleBody",0],[5,"DefId",0],[5,"Body",0],[5,"AdtBody",0],[5,"AdtVariant",0],[5,"DebugInfo",0],[5,"BasicBlock",0],[5,"Local",0],[6,"LocalKind",0],[5,"Statement",0],[6,"StatementKind",0],[6,"Terminator",0],[5,"SwitchTarget",0],[5,"TypeInfo",0],[6,"TypeKind",0],[6,"IntTy",0],[6,"UintTy",0],[6,"FloatTy",0],[5,"ConstData",0],[6,"ConstKind",0],[6,"ValueTree",0],[6,"RValue",0],[6,"Operand",0],[5,"Place",0],[6,"PlaceElem",0],[6,"BinOp",0],[6,"LogicalOp",0],[6,"UnOp",0],[6,"ConstValue",0],[1,"tuple"],[6,"Ordering",602],[1,"bool"],[5,"Formatter",603],[8,"Result",603],[1,"array"],[5,"SmallVec",604],[5,"String",605],[10,"Hasher",606],[5,"Span",607],[6,"Option",608],[6,"Result",609],[5,"TypeId",610],[5,"ScalarInt",580],[1,"u64"],[1,"u128"],[1,"i128"],[10,"Into",611],[15,"Field",572],[15,"Index",572],[15,"Call",574],[15,"SwitchInt",574]],"b":[[281,"impl-Display-for-TypeKind"],[282,"impl-Debug-for-TypeKind"]]}],\
-["edlang_lowering",{"doc":"","t":"CHHPPPPGPPPPNNNNNNNNNNNNNOOOOOOOOOOOOOOOOOOO","n":["errors","lower_modules","lower_type","BorrowNotMutable","FunctionNotFound","IdNotFound","ImportNotFound","LoweringError","ModuleNotFound","NotYetImplemented","UnexpectedType","UnrecognizedType","borrow","borrow_mut","clone","clone_into","fmt","fmt","from","into","to_owned","to_string","try_from","try_into","type_id","expected","found","function","id","import_span","message","module","module_span","name","name","span","span","span","span","span","span","span","symbol","type_span"],"q":[[0,"edlang_lowering"],[3,"edlang_lowering::errors"],[25,"edlang_lowering::errors::LoweringError"],[44,"edlang_ast"],[45,"edlang_ir"],[46,"core::result"],[47,"edlang_ast"],[48,"core::fmt"],[49,"core::any"]],"d":["","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,4,4,4,4,0,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,14,14,15,16,17,18,19,17,20,21,19,15,20,21,16,18,14,17,20],"f":[0,[[[2,[1]]],[[5,[3,4]]]],0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[4,4],[[-1,-2],9,[],[]],[[4,10],11],[[4,10],11],[-1,-1,[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,12,[]],[-1,[[5,[-2]]],[],[]],[-1,[[5,[-2]]],[],[]],[-1,13,[]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"c":[],"p":[[5,"Module",44],[1,"slice"],[5,"ProgramBody",45],[6,"LoweringError",3],[6,"Result",46],[5,"Type",44],[5,"DefId",45],[5,"TypeInfo",45],[1,"tuple"],[5,"Formatter",47],[8,"Result",47],[5,"String",48],[5,"TypeId",49],[15,"UnexpectedType",25],[15,"FunctionNotFound",25],[15,"IdNotFound",25],[15,"ImportNotFound",25],[15,"NotYetImplemented",25],[15,"ModuleNotFound",25],[15,"BorrowNotMutable",25],[15,"UnrecognizedType",25]],"b":[[16,"impl-Debug-for-LoweringError"],[17,"impl-Display-for-LoweringError"]]}],\
+["edlang_lowering",{"doc":"","t":"CHHPPPPGPPPPPNNNNNNNNNNNNNOOOOOOOOOOOOOOOOOOOOO","n":["errors","lower_modules","lower_type","BorrowNotMutable","FunctionNotFound","IdNotFound","ImportNotFound","LoweringError","ModuleNotFound","NotYetImplemented","UnexpectedType","UnrecognizedType","UseOfUndeclaredVariable","borrow","borrow_mut","clone","clone_into","fmt","fmt","from","into","to_owned","to_string","try_from","try_into","type_id","expected","found","function","id","import_span","message","module","module_span","name","name","name","span","span","span","span","span","span","span","span","symbol","type_span"],"q":[[0,"edlang_lowering"],[3,"edlang_lowering::errors"],[26,"edlang_lowering::errors::LoweringError"],[47,"edlang_ast"],[48,"edlang_ir"],[49,"core::result"],[50,"edlang_ast"],[51,"core::fmt"],[52,"core::any"]],"d":["","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","",""],"i":[0,0,0,4,4,4,4,0,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,14,14,15,16,17,18,19,17,20,21,22,19,15,20,21,16,18,14,22,17,20],"f":[0,[[[2,[1]]],[[5,[3,4]]]],0,0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[4,4],[[-1,-2],9,[],[]],[[4,10],11],[[4,10],11],[-1,-1,[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,12,[]],[-1,[[5,[-2]]],[],[]],[-1,[[5,[-2]]],[],[]],[-1,13,[]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"c":[],"p":[[5,"Module",47],[1,"slice"],[5,"ProgramBody",48],[6,"LoweringError",3],[6,"Result",49],[5,"Type",47],[5,"DefId",48],[5,"TypeInfo",48],[1,"tuple"],[5,"Formatter",50],[8,"Result",50],[5,"String",51],[5,"TypeId",52],[15,"UnexpectedType",26],[15,"FunctionNotFound",26],[15,"IdNotFound",26],[15,"ImportNotFound",26],[15,"NotYetImplemented",26],[15,"ModuleNotFound",26],[15,"BorrowNotMutable",26],[15,"UnrecognizedType",26],[15,"UseOfUndeclaredVariable",26]],"b":[[17,"impl-Debug-for-LoweringError"],[18,"impl-Display-for-LoweringError"]]}],\
["edlang_parser",{"doc":"","t":"CHCCHHCIPPPPPOOOOOOOCFFFFFFFKNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNNMNNNNNNNNNNNNNNNNNNNNNPPFGPINNNNNNNNNNNNNNNNNNNNNNNPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPPGPPPPPPPPPPPPPPPPPPPPPPPGPNNNNNNNNNNNNNNNNNNNNNNNNNNNN","n":["error","error_to_report","grammar","lexer","parse_ast","print_report","tokens","Error","ExtraToken","InvalidToken","UnrecognizedEof","UnrecognizedToken","User","error","expected","expected","location","location","token","token","grammar","BinaryFirstLvlOpParser","BinarySecondLvlOpParser","BinaryThirdLvlOpParser","ModuleParser","ModulesParser","PathSegmentsParser","UnaryOpParser","__ToTriple","borrow","borrow","borrow","borrow","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","borrow_mut","default","default","default","default","default","default","default","from","from","from","from","from","from","from","into","into","into","into","into","into","into","new","new","new","new","new","new","new","parse","parse","parse","parse","parse","parse","parse","to_triple","try_from","try_from","try_from","try_from","try_from","try_from","try_from","try_into","try_into","try_into","try_into","try_into","try_into","try_into","type_id","type_id","type_id","type_id","type_id","type_id","type_id","Err","InvalidToken","Lexer","LexicalError","Ok","Spanned","borrow","borrow","borrow_mut","borrow_mut","clone","clone_into","fmt","fmt","from","from","into","into","into_iter","new","next","to_owned","to_string","try_from","try_from","try_into","try_into","type_id","type_id","Arrow","Assign","Boolean","Colon","Coma","Dot","DoubleColon","Identifier","Integer","KeywordAs","KeywordConst","KeywordElse","KeywordExtern","KeywordFn","KeywordFor","KeywordIf","KeywordIn","KeywordLet","KeywordMatch","KeywordMod","KeywordMut","KeywordPub","KeywordReturn","KeywordStruct","KeywordUse","KeywordWhile","LeftBracket","LeftParen","LeftSquareBracket","LessThanEqSign","LessThanSign","LexingError","MoreThanEqSign","MoreThanSign","NumberParseError","OperatorAdd","OperatorAnd","OperatorBitwiseAnd","OperatorBitwiseNot","OperatorBitwiseOr","OperatorBitwiseXor","OperatorDiv","OperatorEq","OperatorMul","OperatorNe","OperatorNot","OperatorOr","OperatorRem","OperatorSub","Other","RightBracket","RightParen","RightSquareBracket","Semicolon","String","Token","TwoDots","borrow","borrow","borrow_mut","borrow_mut","clone","clone","clone_into","clone_into","default","eq","eq","fmt","fmt","from","from","from","from","into","into","lex","to_owned","to_owned","try_from","try_from","try_into","try_into","type_id","type_id"],"q":[[0,"edlang_parser"],[7,"edlang_parser::error"],[13,"edlang_parser::error::Error"],[20,"edlang_parser::grammar"],[21,"edlang_parser::grammar::grammar"],[100,"edlang_parser::lexer"],[129,"edlang_parser::tokens"],[214,"core::ops::range"],[215,"ariadne"],[216,"std::io::error"],[217,"core::result"],[218,"edlang_ast"],[219,"alloc::vec"],[220,"lalrpop_util"],[221,"edlang_ast"],[222,"edlang_ast"],[223,"core::fmt"],[224,"core::fmt"],[225,"alloc::string"],[226,"core::convert"],[227,"core::num::error"],[228,"logos::lexer"]],"d":["","","","","","","","","Generated by the parser when it encounters additional, …","Generated by the parser when it encounters a token (or …","Generated by the parser when it encounters an EOF it did …","Generated by the parser when it encounters a token it did …","Custom error type.","","The set of expected tokens: these names are taken from the …","The set of expected tokens: these names are taken from the …","","The end of the final token","The unexpected token of type T with a span given by the …","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Contains the error value","","","","Contains the success value","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Calls U::from(self).","Calls U::from(self).","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Calls U::from(self).","Calls U::from(self).","","","","","","","","",""],"i":[0,0,0,0,0,0,0,0,2,2,2,2,2,38,39,40,41,39,40,42,0,0,0,0,0,0,0,0,0,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,22,14,15,16,17,18,19,20,14,15,16,17,18,19,20,14,15,16,17,18,19,20,43,12,0,0,43,0,30,12,30,12,12,12,12,12,30,12,30,12,30,30,30,12,12,30,12,30,12,30,12,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,0,11,11,33,11,11,11,11,11,11,11,11,11,11,11,11,11,11,33,11,11,11,11,11,0,11,33,11,33,11,33,11,33,11,33,33,11,33,11,33,33,33,11,33,11,11,33,11,33,11,33,11,33,11],"f":[0,[[1,2],[[8,[[6,[[5,[1,[4,[3]]]]]],7]]]],0,0,[1,[[8,[[10,[9]],[13,[3,11,12]]]]]],[[1,1,[6,[[5,[1,[4,[3]]]]]]],[[8,[5,7]]]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[[],14],[[],15],[[],16],[[],17],[[],18],[[],19],[[],20],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[[],14],[[],15],[[],16],[[],17],[[],18],[[],19],[[],20],[[14,-2],[[8,[21,[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[15,-2],[[8,[21,[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[16,-2],[[8,[21,[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[17,-2],[[8,[9,[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[18,-2],[[8,[[10,[9]],[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[19,-2],[[8,[[10,[25]],[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[[20,-2],[[8,[26,[13,[3,11,12]]]]],22,[[24,[],[[23,[-1]]]]]],[22,[[8,[[5,[3,11,3]],[13,[3,11,12]]]]]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,27,[]],[-1,27,[]],[-1,27,[]],[-1,27,[]],[-1,27,[]],[-1,27,[]],[-1,27,[]],0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[12,12],[[-1,-2],5,[],[]],[[12,28],29],[[12,28],29],[-1,-1,[]],[-1,-1,[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[1,30],[30,[[31,[-1]]],[]],[-1,-2,[],[]],[-1,32,[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,27,[]],[-1,27,[]],0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[33,33],[11,11],[[-1,-2],5,[],[]],[[-1,-2],5,[],[]],[[],33],[[33,33],34],[[11,11],34],[[33,28],29],[[11,28],29],[35,33],[36,33],[-1,-1,[]],[-1,-1,[]],[-1,-2,[],[]],[-1,-2,[],[]],[[[37,[11]]],5],[-1,-2,[],[]],[-1,-2,[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,[[8,[-2]]],[],[]],[-1,27,[]],[-1,27,[]]],"c":[],"p":[[1,"str"],[8,"Error",7],[1,"usize"],[5,"Range",214],[1,"tuple"],[5,"Report",215],[5,"Error",216],[6,"Result",217],[5,"Module",218],[5,"Vec",219],[6,"Token",129],[6,"LexicalError",100],[6,"ParseError",220],[5,"BinaryFirstLvlOpParser",21],[5,"BinarySecondLvlOpParser",21],[5,"BinaryThirdLvlOpParser",21],[5,"ModuleParser",21],[5,"ModulesParser",21],[5,"PathSegmentsParser",21],[5,"UnaryOpParser",21],[6,"BinaryOp",218],[10,"__ToTriple",21],[17,"Item"],[10,"IntoIterator",221],[6,"PathSegment",218],[6,"UnaryOp",218],[5,"TypeId",222],[5,"Formatter",223],[8,"Result",223],[5,"Lexer",100],[6,"Option",224],[5,"String",225],[6,"LexingError",129],[1,"bool"],[6,"Infallible",226],[5,"ParseIntError",227],[5,"Lexer",228],[15,"User",13],[15,"UnrecognizedEof",13],[15,"UnrecognizedToken",13],[15,"InvalidToken",13],[15,"ExtraToken",13],[8,"Spanned",100]],"b":[[112,"impl-Debug-for-LexicalError"],[113,"impl-Display-for-LexicalError"],[199,"impl-From%3CInfallible%3E-for-LexingError"],[200,"impl-From%3CParseIntError%3E-for-LexingError"]]}],\
["edlang_session",{"doc":"","t":"PGPPPPPGFNNNNNNNNNNNNONNONNNNNNNNNNNNOOOOOOONNNNNNNNNNNN","n":["Aggressive","DebugInfo","Default","Full","Less","None","None","OptLevel","Session","borrow","borrow","borrow","borrow_mut","borrow_mut","borrow_mut","clone","clone","clone","clone_into","clone_into","clone_into","debug_info","eq","eq","file_path","fmt","fmt","fmt","from","from","from","get_platform_library_ext","hash","hash","into","into","into","library","optlevel","output_asm","output_file","output_llvm","source","target_dir","to_owned","to_owned","to_owned","try_from","try_from","try_from","try_into","try_into","try_into","type_id","type_id","type_id"],"q":[[0,"edlang_session"],[56,"core::fmt"],[57,"core::fmt"],[58,"core::result"],[59,"core::any"]],"d":["","","","","","","","","","","","","","","","","","","","","","","","","","","","","Returns the argument unchanged.","Returns the argument unchanged.","Returns the argument unchanged.","","","","Calls U::from(self).","Calls U::from(self).","Calls U::from(self).","","","","","","","The directory where to store artifacts and intermediate …","","","","","","","","","","","",""],"i":[2,0,2,3,2,2,3,0,0,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,1,2,3,1,2,3,1,2,3,1,2,3,1,1,1,1,1,1,1,1,2,3,1,2,3,1,2,3,1,2,3],"f":[0,0,0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[1,1],[2,2],[3,3],[[-1,-2],4,[],[]],[[-1,-2],4,[],[]],[[-1,-2],4,[],[]],0,[[2,2],5],[[3,3],5],0,[[1,6],7],[[2,6],7],[[3,6],7],[-1,-1,[]],[-1,-1,[]],[-1,-1,[]],[[],8],[[2,-1],4,9],[[3,-1],4,9],[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],0,0,0,0,0,0,0,[-1,-2,[],[]],[-1,-2,[],[]],[-1,-2,[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,11,[]],[-1,11,[]],[-1,11,[]]],"c":[],"p":[[5,"Session",0],[6,"OptLevel",0],[6,"DebugInfo",0],[1,"tuple"],[1,"bool"],[5,"Formatter",56],[8,"Result",56],[1,"str"],[10,"Hasher",57],[6,"Result",58],[5,"TypeId",59]],"b":[]}],\
["edlang_span",{"doc":"","t":"FNNNNNNNNNNONONNNNNN","n":["Span","borrow","borrow_mut","clone","clone_into","cmp","default","eq","fmt","from","hash","hi","into","lo","new","partial_cmp","to_owned","try_from","try_into","type_id"],"q":[[0,"edlang_span"],[20,"core::cmp"],[21,"core::fmt"],[22,"core::fmt"],[23,"core::option"],[24,"core::result"],[25,"core::any"]],"d":["","","","","","","","","","Returns the argument unchanged.","","","Calls U::from(self).","","","","","","",""],"i":[0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],"f":[0,[-1,-2,[],[]],[-1,-2,[],[]],[1,1],[[-1,-2],2,[],[]],[[1,1],3],[[],1],[[1,1],4],[[1,5],6],[-1,-1,[]],[[1,-1],2,7],0,[-1,-2,[],[]],0,[[8,8],1],[[1,1],[[9,[3]]]],[-1,-2,[],[]],[-1,[[10,[-2]]],[],[]],[-1,[[10,[-2]]],[],[]],[-1,11,[]]],"c":[],"p":[[5,"Span",0],[1,"tuple"],[6,"Ordering",20],[1,"bool"],[5,"Formatter",21],[8,"Result",21],[10,"Hasher",22],[1,"usize"],[6,"Option",23],[6,"Result",24],[5,"TypeId",25]],"b":[]}],\
diff --git a/src/edlang_check/lib.rs.html b/src/edlang_check/lib.rs.html
index eff77671c..97ab6eb57 100644
--- a/src/edlang_check/lib.rs.html
+++ b/src/edlang_check/lib.rs.html
@@ -129,6 +129,16 @@
128
129
130
+131
+132
+133
+134
+135
+136
+137
+138
+139
+140
use std::ops::Range;
use ariadne::{ColorGenerator, Label, Report, ReportKind};
@@ -257,6 +267,16 @@
)
.finish()
},
+ LoweringError::UseOfUndeclaredVariable { span, name } => {
+ Report::build(ReportKind::Error, path.clone(), span.lo)
+ .with_code("UseOfUndeclaredVariable")
+ .with_label(
+ Label::new((path, span.into()))
+ .with_message(format!("use of undeclared variable {:?}", name))
+ .with_color(colors.next()),
+ )
+ .finish()
+ },
}
}
use edlang_ast::{Ident, Span};
use edlang_ir::{TypeInfo, TypeKind};
use thiserror::Error;
@@ -72,5 +74,7 @@
found: TypeKind,
expected: TypeInfo,
},
+ #[error("use of underclared variable {name:?}")]
+ UseOfUndeclaredVariable { span: Span, name: String },
}