From d9c7ebccb6df67de84bb6f80c16c3f73f8906c18 Mon Sep 17 00:00:00 2001 From: edg-l Date: Mon, 4 Mar 2024 08:08:35 +0000 Subject: [PATCH] deploy: 8329affbf8563d5440b4864e7860fc426959ddfe --- edlang_check/fn.lowering_error_to_report.html | 2 +- edlang_check/index.html | 2 +- .../errors/enum.LoweringError.html | 10 ++++++--- edlang_lowering/errors/index.html | 2 +- edlang_lowering/fn.lower_type.html | 2 +- edlang_lowering/index.html | 2 +- search-index.js | 2 +- src/edlang_check/lib.rs.html | 20 +++++++++++++++++ src/edlang_lowering/errors.rs.html | 4 ++++ src/edlang_lowering/lib.rs.html | 22 +++++++++++-------- 10 files changed, 50 insertions(+), 18 deletions(-) diff --git a/edlang_check/fn.lowering_error_to_report.html b/edlang_check/fn.lowering_error_to_report.html index f3530fe70..22612c275 100644 --- a/edlang_check/fn.lowering_error_to_report.html +++ b/edlang_check/fn.lowering_error_to_report.html @@ -1,5 +1,5 @@ lowering_error_to_report in edlang_check - Rust
-

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

\ No newline at end of file
+    
Crate edlang_check
source · 
Functions

\ No newline at end of file
diff --git a/edlang_lowering/errors/enum.LoweringError.html b/edlang_lowering/errors/enum.LoweringError.html
index 770940f61..9d14d490c 100644
--- a/edlang_lowering/errors/enum.LoweringError.html
+++ b/edlang_lowering/errors/enum.LoweringError.html
@@ -1,5 +1,5 @@
-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
Fields
§span: Span
§module: String
§
FunctionNotFound
Fields
§span: Span
§function: String
§
ImportNotFound
Fields
§module_span: Span
§import_span: Span
§symbol: Ident
§
BorrowNotMutable
Fields
§span: Span
§type_span: Option<Span>
§name: String
§
UnrecognizedType
Fields
§span: Span
§name: String
§
IdNotFound
Fields
§span: Span
§id: DefId
§
NotYetImplemented
Fields
§span: Span
§message: &'static str
§
UnexpectedType
Fields
§span: Span
§found: TypeKind
§expected: TypeInfo
Trait Implementations§
source§
impl Clone for LoweringError
source§
fn clone(&self) -> LoweringError
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl Debug for LoweringError
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
source§
impl Display for LoweringError
source§
fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
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 more
1.0.0 · source§
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
 Read more
1.0.0 · source§
fn cause(&self) -> Option<&dyn Error>
👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§
fn provide<'a>(&'a self, request: &mut Request<'a>)
🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
Auto Trait Implementations§
Blanket Implementations§
source§
impl<T> Any for T
where
+    UseOfUndeclaredVariable {
+        span: Span,
+        name: String,
+    },
+}
Variants§
§
ModuleNotFound
Fields
§span: Span
§module: String
§
FunctionNotFound
Fields
§span: Span
§function: String
§
ImportNotFound
Fields
§module_span: Span
§import_span: Span
§symbol: Ident
§
BorrowNotMutable
Fields
§span: Span
§type_span: Option<Span>
§name: String
§
UnrecognizedType
Fields
§span: Span
§name: String
§
IdNotFound
Fields
§span: Span
§id: DefId
§
NotYetImplemented
Fields
§span: Span
§message: &'static str
§
UnexpectedType
Fields
§span: Span
§found: TypeKind
§expected: TypeInfo
§
UseOfUndeclaredVariable
Fields
§span: Span
§name: String
Trait Implementations§
source§
impl Clone for LoweringError
source§
fn clone(&self) -> LoweringError
Returns a copy of the value. Read more
1.0.0 · source§
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source. Read more
source§
impl Debug for LoweringError
source§
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
source§
impl Display for LoweringError
source§
fn fmt(&self, __formatter: &mut Formatter<'_>) -> Result
Formats the value using the given formatter. Read more
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 more
1.0.0 · source§
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
 Read more
1.0.0 · source§
fn cause(&self) -> Option<&dyn Error>
👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§
fn provide<'a>(&'a self, request: &mut Request<'a>)
🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type based access to context intended for error reports. Read more
Auto Trait Implementations§
Blanket Implementations§
source§
impl<T> Any for T
where
     T: 'static + ?Sized,
source§
fn type_id(&self) -> TypeId
Gets the TypeId of self. Read more
source§
impl<T> Borrow<T> for T
where
     T: ?Sized,
source§
fn borrow(&self) -> &T
Immutably borrows from an owned value. Read more
source§
impl<T> BorrowMut<T> for T
where
     T: ?Sized,
source§
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§
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

\ No newline at end of file
+    
Module edlang_lowering::errors
source · 
Enums

\ No newline at end of file
diff --git a/edlang_lowering/fn.lower_type.html b/edlang_lowering/fn.lower_type.html
index df1a578d9..9260a99b1 100644
--- a/edlang_lowering/fn.lower_type.html
+++ b/edlang_lowering/fn.lower_type.html
@@ -1,5 +1,5 @@
 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

-    
Crate edlang_lowering
source · 
Modules
Functions

\ No newline at end of file
+    
Crate edlang_lowering
source · 
Modules
Functions

\ No newline at end of file
diff --git a/search-index.js b/search-index.js
index 605ba499b..14b0e3d42 100644
--- a/search-index.js
+++ b/search-index.js
@@ -26,7 +26,7 @@ var searchIndex = new Map(JSON.parse('[\
 ["edlang_codegen_llvm",{"doc":"","t":"CHCHHH","n":["codegen","compile","linker","compile","link_binary","link_shared_lib"],"q":[[0,"edlang_codegen_llvm"],[3,"edlang_codegen_llvm::codegen"],[4,"edlang_codegen_llvm::linker"],[6,"edlang_session"],[7,"edlang_ir"],[8,"std::path"],[9,"core::error"],[10,"alloc::boxed"],[11,"core::result"],[12,"std::path"]],"d":["","","","","",""],"i":[0,0,0,0,0,0],"f":[0,[[1,2],[[6,[3,[5,[4]]]]]],0,[[1,2],[[6,[3,[5,[4]]]]]],[[7,7],[[6,[8,[5,[4]]]]]],[[7,7],[[6,[8,[5,[4]]]]]]],"c":[],"p":[[5,"Session",6],[5,"ProgramBody",7],[5,"PathBuf",8],[10,"Error",9],[5,"Box",10],[6,"Result",11],[5,"Path",8],[1,"tuple"]],"b":[]}],\
 ["edlang_driver",{"doc":"","t":"FNNNNNNNNNNNNHNNNNN","n":["CompilerArgs","augment_args","augment_args_for_update","borrow","borrow_mut","command","command_for_update","fmt","from","from_arg_matches","from_arg_matches_mut","group_id","into","main","try_from","try_into","type_id","update_from_arg_matches","update_from_arg_matches_mut"],"q":[[0,"edlang_driver"],[19,"clap_builder::builder::command"],[20,"core::fmt"],[21,"core::fmt"],[22,"clap_builder"],[23,"core::result"],[24,"clap_builder::util::id"],[25,"core::option"],[26,"core::error"],[27,"alloc::boxed"],[28,"core::any"]],"d":["","","","","","","","","Returns the argument unchanged.","","","","Calls 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()
+        },
     }
 }
 

\ No newline at end of file
diff --git a/src/edlang_lowering/errors.rs.html b/src/edlang_lowering/errors.rs.html
index 36fb61bba..0b8cebbc6 100644
--- a/src/edlang_lowering/errors.rs.html
+++ b/src/edlang_lowering/errors.rs.html
@@ -36,6 +36,8 @@
 35
 36
 37
+38
+39
 
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 },
 }
\ No newline at end of file diff --git a/src/edlang_lowering/lib.rs.html b/src/edlang_lowering/lib.rs.html index 0ba076223..f978035b3 100644 --- a/src/edlang_lowering/lib.rs.html +++ b/src/edlang_lowering/lib.rs.html @@ -1276,6 +1276,8 @@ 1275 1276 1277 +1278 +1279 
use std::collections::HashMap;
 
 use ast::{BinaryOp, ModuleStatement, Span, WhileStmt};
@@ -1752,31 +1754,31 @@
 
 fn lower_assign(builder: &mut BodyBuilder, info: &ast::AssignStmt) -> Result<(), LoweringError> {
     let (mut place, ty, _span) = lower_path(builder, &info.name)?;
-    let mut ty = TypeInfo {
+    let mut path_ty = TypeInfo {
         span: None,
         kind: ty,
     };
 
     for _ in 0..info.deref_times {
-        match &ty.kind {
+        match &path_ty.kind {
             TypeKind::Ptr(is_mut, inner) => {
                 if !is_mut {
                     panic!("trying to mutate non mut ptr");
                 }
-                ty = *inner.clone();
+                path_ty = *inner.clone();
             }
             TypeKind::Ref(is_mut, inner) => {
                 if !is_mut {
                     panic!("trying to mutate non mut ref");
                 }
-                ty = *inner.clone();
+                path_ty = *inner.clone();
             }
             _ => unreachable!(),
         }
         place.projection.push(PlaceElem::Deref);
     }
 
-    let (rvalue, _ty, _span) = lower_expr(builder, &info.value, Some(&ty))?;
+    let (rvalue, _ty, _span) = lower_expr(builder, &info.value, Some(&path_ty))?;
 
     builder.statements.push(Statement {
         span: Some(info.name.first.span),
@@ -2419,10 +2421,12 @@
     builder: &mut BodyBuilder,
     info: &ast::PathExpr,
 ) -> Result<(ir::Place, TypeKind, Span), LoweringError> {
-    let local = *builder
-        .name_to_local
-        .get(&info.first.name)
-        .expect("local not found");
+    let local = *builder.name_to_local.get(&info.first.name).ok_or(
+        LoweringError::UseOfUndeclaredVariable {
+            span: info.span,
+            name: info.first.name.clone(),
+        },
+    )?;
 
     let mut ty = builder.body.locals[local].ty.kind.clone();
     let mut projection = Vec::new();