From f8abae63b303bd44b04751f52608caa5a4817a50 Mon Sep 17 00:00:00 2001 From: Masashi Date: Fri, 19 Dec 2025 21:16:38 +0530 Subject: [PATCH] fixed arrays --- src/ast.rs | 3 + src/c_ir.rs | 2 + src/c_lowerer/declaration_transpiler.rs | 4 ++ src/c_lowerer/statements_transpiler.rs | 13 +++++ src/codegen/transpiler.rs | 18 +++++- src/lambda_lower.rs | 7 +++ src/monomorphize.rs | 20 +++++-- src/parser.rs | 72 +++++++++++++++++------- src/typechecker.rs | 17 +++++- tests/fixed_arrays.c | 47 ++++++++++++++++ tests/fixed_arrays.o | Bin 0 -> 75696 bytes tests/fixed_arrays.sui | 6 ++ 12 files changed, 183 insertions(+), 26 deletions(-) create mode 100644 tests/fixed_arrays.c create mode 100755 tests/fixed_arrays.o create mode 100644 tests/fixed_arrays.sui diff --git a/src/ast.rs b/src/ast.rs index c4008c5..6e694f2 100644 --- a/src/ast.rs +++ b/src/ast.rs @@ -11,6 +11,7 @@ pub enum TypeAnnot { Function(Vec, Box), Tuple(Vec), Array(Box), + FixedArray(Box, i64), Ptr(Box), } @@ -208,6 +209,7 @@ pub enum ExprKind { Bool(bool), String(String), Array(Vec), + FixedArray(Box, i64), Tuple(Vec), StructLit(String, Vec<(String, Expr)>), // Name { a: expr, b: expr } @@ -402,6 +404,7 @@ pub enum TypedExprKind { Bool(bool), String(String), Array(Vec), + FixedArray(Box, usize), Tuple(Vec), StructLit(String, Vec<(String, TypedExpr)>), EnumLit(String, String, Vec), diff --git a/src/c_ir.rs b/src/c_ir.rs index 15e5ea0..44c0638 100644 --- a/src/c_ir.rs +++ b/src/c_ir.rs @@ -9,6 +9,7 @@ pub enum CType { Struct(String), UnnamedStruct(Vec), Array(Box), // heap-allocated array wrapper with data pointer, len, capacity + FixedArray(Box, usize), // fixed-size array like int[10] Func(Vec, Box), // args and return } @@ -48,6 +49,7 @@ impl CType { "struct sui_array_{}", inner.to_string().replace(" ", "_").replace("*", "ptr") ), + CType::FixedArray(inner, size) => format!("{}*", inner.to_string()), // For now, treat as pointer in type strings CType::Func(args, ret) => { let arg_strs: Vec = args.iter().map(|t| t.to_string()).collect(); format!("{} (*)({})", ret.to_string(), arg_strs.join(", ")) diff --git a/src/c_lowerer/declaration_transpiler.rs b/src/c_lowerer/declaration_transpiler.rs index 5cb7dae..7d8a0bb 100644 --- a/src/c_lowerer/declaration_transpiler.rs +++ b/src/c_lowerer/declaration_transpiler.rs @@ -148,6 +148,10 @@ impl DeclarationTranspiler { // Arrays are pointers to the element type Ok(CType::Ptr(Box::new(inner_type))) } + Some(TypeAnnot::FixedArray(inner, size)) => { + let inner_type = self.type_annot_to_c_type(&Some(*inner.clone()))?; + Ok(CType::FixedArray(Box::new(inner_type), *size as usize)) + } Some(TypeAnnot::Tuple(fields)) => { let mut c_fields = Vec::new(); for (i, field_annot) in fields.iter().enumerate() { diff --git a/src/c_lowerer/statements_transpiler.rs b/src/c_lowerer/statements_transpiler.rs index fdf35c5..6d27754 100644 --- a/src/c_lowerer/statements_transpiler.rs +++ b/src/c_lowerer/statements_transpiler.rs @@ -117,6 +117,11 @@ impl StatementsTranspiler { .collect::, _>>()?; Ok(CExpr::ArrayLit(c_exprs)) } + TypedExprKind::FixedArray(expr, size) => { + let c_expr = self.transpile_expr(expr)?; + let c_exprs = vec![c_expr; *size]; + Ok(CExpr::ArrayLit(c_exprs)) + } TypedExprKind::Cast(expr, type_annot) => { let c_expr = self.transpile_expr(expr)?; // Simplified: assuming we can map type annotations to C types @@ -482,6 +487,10 @@ impl StatementsTranspiler { // Arrays are pointers to the element type Ok(CType::Ptr(Box::new(inner_type))) } + Type::FixedArray(inner, size) => { + let inner_type = self.type_to_ctype(inner)?; + Ok(CType::FixedArray(Box::new(inner_type), *size)) + } Type::Struct(name, _) => Ok(CType::Ptr(Box::new(CType::Struct(name.clone())))), Type::Enum(name, _) => Ok(CType::Ptr(Box::new(CType::Struct(name.clone())))), Type::Tuple(types) => { @@ -536,6 +545,10 @@ impl StatementsTranspiler { // Arrays are pointers to the element type Ok(CType::Ptr(Box::new(inner_type))) } + TypeAnnot::FixedArray(inner, size) => { + let inner_type = self.type_annot_to_ctype(inner)?; + Ok(CType::FixedArray(Box::new(inner_type), *size as usize)) + } TypeAnnot::Tuple(fields) => { let mut c_fields = Vec::new(); for (i, field_annot) in fields.iter().enumerate() { diff --git a/src/codegen/transpiler.rs b/src/codegen/transpiler.rs index d3ab12b..e830f36 100644 --- a/src/codegen/transpiler.rs +++ b/src/codegen/transpiler.rs @@ -404,9 +404,23 @@ impl Transpiler { } fn generate_var_decl(&self, var: &CVarDecl) -> String { - let mut output = format!("{} {}", var.ty.to_string(), var.name); + let mut output = match &var.ty { + CType::FixedArray(elem_ty, size) => format!("{} {}[{}]", elem_ty.to_string(), var.name, size), + _ => format!("{} {}", var.ty.to_string(), var.name), + }; if let Some(init) = &var.initializer { - output.push_str(&format!(" = {}", self.generate_expr(init))); + match (&var.ty, init) { + (CType::FixedArray(_, _), CExpr::ArrayLit(elements)) => { + let vec: Vec = elements + .iter() + .map(|expr| self.generate_expr(expr)) + .collect(); + output.push_str(&format!(" = {{{}}}", vec.join(", "))); + } + _ => { + output.push_str(&format!(" = {}", self.generate_expr(init))); + } + } } output } diff --git a/src/lambda_lower.rs b/src/lambda_lower.rs index b9996b1..97e25c7 100644 --- a/src/lambda_lower.rs +++ b/src/lambda_lower.rs @@ -126,6 +126,9 @@ impl LambdaLowerer { self.collect_free_vars_expr(expr, lambda_params, free_vars, local_scope); } } + ExprKind::FixedArray(expr, _) => { + self.collect_free_vars_expr(expr, lambda_params, free_vars, local_scope); + } ExprKind::Tuple(exprs) => { for expr in exprs { self.collect_free_vars_expr(expr, lambda_params, free_vars, local_scope); @@ -340,6 +343,10 @@ impl LambdaLowerer { .collect::, _>>()?; ExprKind::Array(lowered_exprs) } + ExprKind::FixedArray(expr, size) => { + let lowered_expr = self.lower_expr(expr)?; + ExprKind::FixedArray(Box::new(lowered_expr), *size) + } ExprKind::Tuple(exprs) => { let lowered_exprs = exprs .iter() diff --git a/src/monomorphize.rs b/src/monomorphize.rs index fb6c6ac..dd47187 100644 --- a/src/monomorphize.rs +++ b/src/monomorphize.rs @@ -342,6 +342,11 @@ impl Monomorphizer { } TypedExprKind::Array(new_elems) } + TypedExprKind::FixedArray(expr, size) => { + let (new_expr, expr_needs) = self.monomorphize_expr(expr)?; + needs.extend(expr_needs); + TypedExprKind::FixedArray(Box::new(new_expr), *size) + } TypedExprKind::Tuple(elems) => { let mut new_elems = Vec::new(); @@ -767,6 +772,10 @@ impl Monomorphizer { let new_inner = self.substitute_in_type_annot(inner, subst_map)?; Ok(TypeAnnot::Array(Box::new(new_inner))) } + TypeAnnot::FixedArray(inner, size) => { + let new_inner = self.substitute_in_type_annot(inner, subst_map)?; + Ok(TypeAnnot::FixedArray(Box::new(new_inner), *size)) + } TypeAnnot::Ptr(inner) => { let new_inner = self.substitute_in_type_annot(inner, subst_map)?; Ok(TypeAnnot::Ptr(Box::new(new_inner))) @@ -782,6 +791,7 @@ impl Monomorphizer { Type::String => TypeAnnot::Var("string".to_string()), Type::Unit => TypeAnnot::Tuple(Vec::new()), Type::Array(inner) => TypeAnnot::Array(Box::new(self.type_to_type_annot(inner))), + Type::FixedArray(inner, size) => TypeAnnot::FixedArray(Box::new(self.type_to_type_annot(inner)), *size as i64), Type::Ptr(inner) => TypeAnnot::Ptr(Box::new(self.type_to_type_annot(inner))), Type::Tuple(types) => { let annots = types.iter().map(|t| self.type_to_type_annot(t)).collect(); @@ -901,6 +911,9 @@ impl Monomorphizer { TypeAnnot::Array(inner) => { self.collect_needs_from_type(inner, needs); } + TypeAnnot::FixedArray(inner, _) => { + self.collect_needs_from_type(inner, needs); + } TypeAnnot::Ptr(inner) => { self.collect_needs_from_type(inner, needs); } @@ -932,10 +945,8 @@ impl Monomorphizer { let tys = types.iter().map(|t| self.type_annot_to_type(t)).collect(); Type::Tuple(tys) } - TypeAnnot::Array(inner) => { - let inner_type = self.type_annot_to_type(inner); - Type::Array(Box::new(inner_type)) - } + TypeAnnot::Array(inner) => Type::Array(Box::new(self.type_annot_to_type(inner))), + TypeAnnot::FixedArray(inner, size) => Type::FixedArray(Box::new(self.type_annot_to_type(inner)), *size as usize), TypeAnnot::Ptr(inner) => { let inner_type = self.type_annot_to_type(inner); Type::Ptr(Box::new(inner_type)) @@ -1216,6 +1227,7 @@ fn has_typevars_in_type_annot(ty: &TypeAnnot) -> bool { } TypeAnnot::Tuple(types) => types.iter().any(has_typevars_in_type_annot), TypeAnnot::Array(inner) => has_typevars_in_type_annot(inner), + TypeAnnot::FixedArray(inner, _) => has_typevars_in_type_annot(inner), TypeAnnot::Ptr(inner) => has_typevars_in_type_annot(inner), } } diff --git a/src/parser.rs b/src/parser.rs index 0f87e82..9d9e9c2 100644 --- a/src/parser.rs +++ b/src/parser.rs @@ -912,8 +912,23 @@ impl Parser { } Some((Token::LBracket, _)) => { let inner = self.parse_type_annot()?; - self.expect(Token::RBracket)?; - TypeAnnot::Array(Box::new(inner)) + if matches!(self.peek(), Some(Token::Semicolon)) { + self.next(); + let size = match self.next() { + Some((Token::Int(n), _)) => n, + Some((_, span)) => { + return self.error("Expected integer size for fixed array".to_string(), span); + } + None => { + return self.error("Expected integer size for fixed array".to_string(), start..start); + } + }; + self.expect(Token::RBracket)?; + TypeAnnot::FixedArray(Box::new(inner), size) + } else { + self.expect(Token::RBracket)?; + TypeAnnot::Array(Box::new(inner)) + } } Some((Token::Bang, _)) => TypeAnnot::Cons("never".to_string(), vec![]), Some((_, span)) => { @@ -1607,25 +1622,44 @@ impl Parser { } Some(Token::LBracket) => { self.next(); - let mut elements = Vec::new(); - loop { - if matches!(self.peek(), Some(Token::RBracket)) { - self.next(); - break; - } - elements.push(self.parse_expr()?); - - if matches!(self.peek(), Some(Token::Comma)) { - self.next(); + let first_expr = self.parse_expr()?; + if matches!(self.peek(), Some(Token::Semicolon)) { + self.next(); + let size = match self.next() { + Some((Token::Int(n), _)) => n, + Some((_, span)) => { + return self.error("Expected integer size for fixed array".to_string(), span); + } + None => { + return self.error("Expected integer size for fixed array".to_string(), start..start); + } + }; + self.expect(Token::RBracket)?; + let end = self.peek_span().unwrap_or(start..start).end; + Ok(Expr { + kind: ExprKind::FixedArray(Box::new(first_expr), size), + span: Span::new(&(start..end), self.file.clone()), + attributes: Vec::new(), + }) + } else { + let mut elements = vec![first_expr]; + loop { + if matches!(self.peek(), Some(Token::RBracket)) { + self.next(); + break; + } + if matches!(self.peek(), Some(Token::Comma)) { + self.next(); + } + elements.push(self.parse_expr()?); } + let end = self.peek_span().unwrap_or(start..start).end; + Ok(Expr { + kind: ExprKind::Array(elements), + span: Span::new(&(start..end), self.file.clone()), + attributes: Vec::new(), + }) } - - let end = self.peek_span().unwrap_or(start..start).end; - Ok(Expr { - kind: ExprKind::Array(elements), - span: Span::new(&(start..end), self.file.clone()), - attributes: Vec::new(), - }) } Some(Token::KeywordLet) => { self.next(); diff --git a/src/typechecker.rs b/src/typechecker.rs index e1c21fe..9b07ae4 100644 --- a/src/typechecker.rs +++ b/src/typechecker.rs @@ -12,6 +12,7 @@ pub enum Type { Unit, Never, Array(Box), + FixedArray(Box, usize), Ptr(Box), Tuple(Vec), Function(Vec, Box), @@ -32,6 +33,7 @@ impl Type { Type::Unit => "()".to_string(), Type::Never => "!".to_string(), Type::Array(inner) => format!("[{}]", inner.to_string()), + Type::FixedArray(inner, size) => format!("[{}; {}]", inner.to_string(), size), Type::Ptr(inner) => format!("*{}", inner.to_string()), Type::Tuple(types) => { let type_strs: Vec = types.iter().map(|t| t.to_string()).collect(); @@ -1814,6 +1816,14 @@ impl TypeChecker { ) } + ExprKind::FixedArray(expr, size) => { + let typed_expr = self.typecheck_expr(expr)?; + ( + TypedExprKind::FixedArray(Box::new(typed_expr.clone()), *size as usize), + Type::FixedArray(Box::new(typed_expr.ty), *size as usize), + ) + } + ExprKind::Tuple(elements) => { let mut typed_elements = Vec::new(); let mut types = Vec::new(); @@ -2171,7 +2181,7 @@ impl TypeChecker { } let element_type = match &typed_array.ty { - Type::Array(elem_ty) => (**elem_ty).clone(), + Type::Array(elem_ty) | Type::FixedArray(elem_ty, _) => (**elem_ty).clone(), ty => { return Err(TypeError { kind: TypeErrorKind::NotAnArray(ty.clone()), @@ -2850,6 +2860,9 @@ impl TypeChecker { TypeAnnot::Array(inner) => { Type::Array(Box::new(self.substitute_type(inner, subst_map))) } + TypeAnnot::FixedArray(inner, size) => { + Type::FixedArray(Box::new(self.substitute_type(inner, subst_map)), *size as usize) + } TypeAnnot::Ptr(inner) => Type::Ptr(Box::new(self.substitute_type(inner, subst_map))), TypeAnnot::Tuple(types) => { let substituted_types: Vec = types @@ -2923,6 +2936,7 @@ impl TypeChecker { Type::Tuple(tuple_types) } TypeAnnot::Array(inner) => Type::Array(Box::new(self.type_annot_to_type(inner))), + TypeAnnot::FixedArray(inner, size) => Type::FixedArray(Box::new(self.type_annot_to_type(inner)), *size as usize), TypeAnnot::Ptr(inner) => Type::Ptr(Box::new(self.type_annot_to_type(inner))), } } @@ -2937,6 +2951,7 @@ impl TypeChecker { (Type::Unit, Type::Unit) => true, (Type::Never, _) | (_, Type::Never) => true, (Type::Array(a), Type::Array(b)) => self.types_compatible(a, b), + (Type::FixedArray(a, s1), Type::FixedArray(b, s2)) => s1 == s2 && self.types_compatible(a, b), (Type::Ptr(a), Type::Ptr(b)) => self.types_compatible(a, b), (Type::Tuple(a), Type::Tuple(b)) => { a.len() == b.len() diff --git a/tests/fixed_arrays.c b/tests/fixed_arrays.c new file mode 100644 index 0000000..9d22d90 --- /dev/null +++ b/tests/fixed_arrays.c @@ -0,0 +1,47 @@ +#include "libsuicmez/libsuicmez.h" +#include +#include +#include +#include + +void* gc_alloc(const TypeInfo* type, size_t size); +void gc_init(void); +void gc_shutdown(void); + +// Helper for allocating arrays +static void* suic_alloc_array(const TypeInfo* type, size_t elem_size, size_t len, void* init_data) { + void* ptr = gc_alloc(type, elem_size * len); + if (init_data) memcpy(ptr, init_data, elem_size * len); + return ptr; +} + +// Helper for allocating structs +static void* suic_alloc_struct(const TypeInfo* type, size_t size, void* init_data) { + void* ptr = gc_alloc(type, size); + if (init_data) memcpy(ptr, init_data, size); + return ptr; +} + + + + +int suic_main(void); + + +int suic_main(void) { + int arr[5] = {42, 42, 42, 42, 42}; + int x = arr[2]; + return x; +} + +int main(int argc, char* argv[]) { + // Initialize GC + gc_init(); + // init globals + // init event loop + int result = suic_main(); + // Shutdown GC + gc_shutdown(); + return result; +} + diff --git a/tests/fixed_arrays.o b/tests/fixed_arrays.o new file mode 100755 index 0000000000000000000000000000000000000000..61598b3548e4eed5ae685009456cda67141f4f5b GIT binary patch literal 75696 zcmeFa3w%`7)i!<-5(p|zK+vdEM@1ViU_hjRsKaIOs6- zK89aro%O7>*Is+=`#$FkH+g5xOioHNtj_@B0)x1&?R3C4Gf zfsm)*&(cez=>s6d$D(P9H3+73&x$;ejubtMTDcRYbWWcoqm;y=M!MoDT`FB>DL#?j zvrgd_)zfi)&5|yG-tAVnMfG$PoBBT~dHpBxw2FlIr0uiE`^|UqIK1 z{#m?7(pl8ef{95tLj(odTCP2-(QTL zU0ihSgz;w=7mO}0DydvOdiBH!qbH0XQ&Bo*9PAm!&G;jGTyABUy(N6o=RvDWfjjuq z4#$Tb3>#0tvA*z?u-_N{5pwJc{~87B3!m(e?{tTJ+u>thcJdwUk9M#ha=?QQc9uE# z)8SBF>Zg7AxxvBz`40X(>0oD@gP#)|^otzu)eiog;!wZq9rAtK!T(hb_%jaqHaOTn z!2#dwP_9QD^nVF|PDb8|p8^LzcRS!mJH+R8hjy~j!OwCB`?osSne2dHtN?{hj!cPP_B0!{HOJ_8-IzP=N$BJaPV`#1Ae@N|GORHknDh8>EI9G zKK(z-0pICh$8f;+!cJe~yw@TAw5ab(f3icl_Bh06orC=cp+D3()^P7vHD>L8T;b0v_b*;-EWUVd_TmCxxo>Gvh2K{`H+y<_S+$<_6@RfkoQqA_|6|6C`eR&m?<-WPT)qaSxODijU(<=S`(vsP}Vu)bx;*ui2 zmdqfJrdM9;yRrxw8s)_~rDfT9{_>*L#zj6q8<^oM_U9Sik^=Epc{HcAvZO$jgG>~a zEJfnkrT#p>uTU8+D$hqOxG;9^md%{fiXwkeX^C-VQAt7RsyWL_D~k&_5XKyze{Np+ zQlFpV#HnYLt|~ER*-`M8P>@w5Z1>|!YXy%yo9)Z@=anplD>I5J5>j%U$TD3ZZZpeE zSEx|Ki|M5$g+)te7UwOk;A}*PBdFY_pjd?`D=H>j3{ij?2IrL)SFZ3GImLNvloA46 zS+Oh@>6ztuD|~Z{po0+2$uIZ$O6HbcSz2CPFgtGzXK$BdR#6FRO7j{m$d^|>EiZrh z(sHg9RYR7)DiR0B%=f!Sr$;%#syR^Z73-&s$mKM>;Yx!&l)iFSU%=+?=w!e4ovcA|j@8 zqi-LXpLbasHDpBk_v7A{g;wBrZ45l>KB9t-Jsp=daFNTv$|+S6p-h zY)hF6{XXQKuPo)|=lf7Nc$&YW%qYyKk(f9X+{iC2DZ$Xe!m>3+;i~c?KfB1P6+Yi` zBk$VMazAptwmfeQzUct!+;g)Cz{pPAM7q9#uEx^U3c8v=SNZDdqFEPDo4$D5nDK^n zH8ys6PV92rm~&}1!daR8v#ydgEGh1qG!vyUzW?+CIF}UL9%;wYDj$+@!WW;TrJ=NA zo?3auZ0Po4(t|yY*-$xQ%0`|k#-&&TSm%_(i;9NOX=AQncmMEST%{O`g@2a$0mgO0 zR~}b{qsL^U5I<;os5p!y0~qhWBXri5lLk;U{Uh z@mIxATRU09(=_}P4NuqbQ5v41;iqc2TflQcUm8a`RWLmGabhPP|@6bLpZ zyh_98Xn3uL&(-jH4bRo^1`VI5;f)%8rG__Y_Y53I^2->dU z3pKn$!xw3Ir-omn;awWOSi{2_zC^=&G(1nkdo}!84L4++M(sae!_zdpK*Q5D+^69g z8eXX3ZVg|m;h7q~OvAG@yhy_*YWQ^;?$K~M!?ix9h8J5PXpV-j(D3;hUZUYkG`vj1 zmudL*8eXR1b}9!`EndqlVw0;Y}L;eGPBc@UuPy`M|;7|nq{}X{P zTqk^OR_{wQgQ>5)h~wp&kUu%vVOGDK_7Xc8J@-|>(NkZ;x9da?u88NIU8F0D&#Bvq zrz7@A2lJbWr=#^qi1}xTA3%IF^N$lxN9mD9<{u`Wj?g3Z%s)Up9i2z2n7@;F+Qvr8 zn7@tqG~$;qzn*wHB9G)Se*^J!G#>FVUrsz7iAS=Szm9l13Xiy%zm|A90*|CKzkql; z`i>aP&nBLZydyo|066s$;?s%mVtyL&Ly7NTelqdHhz~J8j`*X9Z)W}s;^`o{p3wRm|T>{C9~jWBxYcGl^fq z{CeU~Cq9Sy8;GYPlaKvDKHt}>6 z9O*g0^-nw<0Y|!+pGN#x;yak1O#C?FL(GpO{v6_)nLmSgI^vBqGJi7h=MrDf{Bgw7 zQE#M*`C-J<5pSf7`NN2(qut07=97u1Bi%?2^IvZTPe-{C5A&ZBPe-_sEapEZo{nxK zZstEE{(R!onSYn~3y3$Ef0OtNiSPLb*FW(d;=7pNPCOmSMmm_^OgtUMMncR#L;Q5& zo0)%{cshEGG&27%@pR-Gsb~HH;_0Y0QpNn8#9u^w8S}RhZxX+R`SrwKOneUWHxPdb z@gC;OiKipfNEY+g5l=^_5jXSK5>H2_k#y!45Kl*?5rg^J#M2RJq~~j{f8yzAG}6WV zG~($F6`k$o$E~(~)PSp84a5r=!kD74yT0rz6ft z8S{q`Pe+@PCCn!iPe+=O9Ol2?0-laCBOc~IC!UTlBU#LUO#DLP-OPVT{37DhnSYn~ zYlt_Pf0Ovd#P|H2>!0`~#CI{jop?HujC3%+nRq&ijD(nfhWLEqo0)%{cshEFG&27% z@pR-Esb~HH;_0X{QpNn8#M2RDq>TC7h^GlCvV{5d#1|2t!~6}zUq`%$`Eufy6Q9NW zb;Q%rVZ_b+wZzkrVI-aT1;o=)VZ>m5Hu0sz_w;i86HiBmkuK(^5l=^jkq+i36HiBk zkr4Cah_4{NnfWt_rz62gBl9N{Pe*}~dghNKo{j(`Rm=|~eiiX$%pXSlYT}nLpG-U* z4MuX9|M~^+bR-z@fT#I=>?aooc3xu!J~XTM^yJL-jtz}{#jHF3&zQ8MBVKymF!mRY zahih?h)~Gxu*Q`GO3}_l=;LrXc zX7KzAfJaAU01D?L_B&Gj0FoBH6!RB$JVs%RCwq~l(9MMnENrsOz`C#*sO&NWxt(Sp zyTc56yG++FykNHD8nRtxpe=kFMr1SK?KP{{br}8={J9!IV>Jf}@0ELv7wJn$6n0dlU&PvQLp7 zA}B_{yF2LJ4g0+X=9$Aexj!}hWB6+O=?<*hN0A6;p{(H_AVvZ2f$&F|N`l@4N~_Rx z-57FZwj$@QFI+>t;V)e2xwuNt-h(eD~jb%yuL#2`y4FLCD*@ z2jG~|Jr}mk{0=kFVJ3ylqz<#SYXC*QE_M5_QNmzKvN_2ct~}jQ?Fpzs3ym)oI^Dyo zy$6zlsj2xX#w727wLfV=F`|-f^*%S(cJ;cjQ8}oE^FLQr#ttl!P-qY4WvPx{qjChi zNI}mt1F2iDO)*r06s>w4?Ob};n;sBj-JgQ-8jb@w17e-|BDG}==AKaHYJ zIbrJmVkmq!^z34jO|sG!&PHphSL!di;Y#>+0+eES2{KTZg|1!R-W{pG%S$nmr~*-) zXN3Z(FM;R!RBQ`aNxLKUVK5dK9{8ng)wL9Kx=LGfxzEuvwH)7t~D4{(Z!db(wk6g>2N(egWF;FY%JZh#@s^9H3XfJq%%tC93HRp zGU>bqolMfnQaXRZ5=gVtK{}ljqVd7piO@y9*)3)uEtnk&nAk)y@Uj^&j|gVJ7BDgN zF@pAQW(2c41E!l0Sn-Uai$G2$5mjMxP?lws!4`aFlgqi!;%iYezI;#OYXv2&d<0+X z8UyP#k{hJz4bc@B5oJjCQX+3VT~SK!Yjj1)z3@JrGxxqlS7b;Prjf386P8X_)Zx7u zbhRhw-59_a$>S)-wQR(2Q9H_O2Iix*G%hacMA_28XMo25v}h0bk>E##8&UJvNoLgp zmEkgcAl8Oq)kB%=!&i0~U%7kmwFtQn^}(5;D>~!b%3IV{I;gF@R-4;?o0nQi2e*~i z;@V1ktgTQ%$h;b+C=Y7t>0ZjndjMC9I`NguMMv>yY)eO*Y;$FP4mDxe9V0(BF zHFs4>|Mxikd7RTU5B3Hs_hZ-zWbd01*fAsUMld@)n496Ltqcdg!S|lp?5^6}-M4we z2<#pXY*$=hcgF%7%-%)xUP3z1$8FrWzXL0=fGG**yuF?c>bCwb^@W zbGvTy?n7o_&TLOyX2{y=@xkmKR86q5H@NNq2w-A(9a89H@<4}Bu;Ar^Q2C5aEBRq32+Fj4tL;P#hZan9@}Gs5)Hf= z;Wv@_f6{7rr)3beCo7}yRtv-W*sbBY7Or7aEi7Ia&Zf)i>cuN*iVy6IMlt=SRA(PZ zdXYBb;Z-pt`9<1#hJ7(4+Z72nsc-#|iv3*fw^l7aftRsb^gszsz4a%tT4(n83Uxs%qC2w3>@_y%}Ts-cT| zkSdqHvbFRWwQUo>fIqQ8$%D>|xvMgiu)sF!yqL#wL$VXN1Vu&X?!a2l)^ zgS3B0G6Pr8G~Z9Y%C1eG4Aj^J zR3*)#5bet_1AEP2k{N{gz(6xF4+7*6n3*2_LpM*Ov~uX(;mI&!CCY+bI91tkaEWL( zL+j_gjfpM`m+kV<_JibMDNoSbqe|0>($JD6t~3jf8d#@Y8qPH#N7p8ACYGxx)G*R5 zbbS_b4K=XL^rUw$H0!YaqM~v!KY#*4mx~fx(R6b(17C$NLu0~Eo!U@e84hA|X2tkoX1uN*gG+Jt742^!Wr!71o_B#Svp&ZMECOhow4ld@)-0klM`tZA~WgwaKi z*cqY4<+#HiP(zGgPV&f2BLh|uY7Pwy zMEl7^0cLUmz=I+uR2Vue*2Jp5%piOZVo8izL;Ycd@Su%PbBE7Y^_NAKc6c(4`dE0T z&ZW|nA-h`Io>d)GUAfJW!{2`$uu@vh4$nnYI2vcGFe7e{O_Z}v>cYf$ zae(&@8?4!K28zU}S(jTM%eVg)k&W%sqPMJk3omw+U@P=aIPEVgvdDZzJ-&Q*<7-g^ zzH&F>D;wJn>_!lhT2v)9B%(`FZR%S(ZnHAY3R%GW}Iyn?sss@v0 zH@fhQ#6{f1FqJwCglb|4rvC7X6r(0o=?a^0t}XROuvkr4X9mI4>sju1gv}&&JbUn!9mW?9-gt`r?&m0X7rxLr zu}Puig;*5ej}NJ~ldW7d$(Sw9jcq9lIP#QqwEZLf5pX#{-*W3Xn6l@_zWlx)1&gKq z@A>`UNB=onzl@7#7UCJE<3anNl*hceC??>x@UN)F(E%yKiP##SyB36Sjg~gl;80YD z(li`x(Zf*431Op!(lEs2RNXA<6F{xf!e>FJv~X*^4++vGge|2O+R) zy03bK2mh+!twoNu4T^bU8%FULb;3|CeI0D=;4&Pid!^c6pt46bM+JuZ--(6t#qdWO|IR1pg^}1&b*AFhoP}=5wk}O8Phig=9XVCj3%BM1?qjl8-Q`g|;9a@ot3U$WRdHt$n zk;-}fs!Sx63}=-#Vp!vxDP80ZXDAH)t|^;0lUp@tqkD z0*0#YLTuWxs0=}?OGJPBQ#4xbeKHBQ&htL&x_v7iZ9r>*M%?nD1sUJOLPr>nmH=P8nF@ahb z_B(F`;X9(xi=rdH|IECBgJTpC(^71dB!S6P7t+)fB47$T+ZY@`d5Zlf_8l- zQ+FZSDS{zq5W7jLH*W;5nKP;b+Y(MeAsu1b@#AMIZDi`m-sDJ~dI%=f;Bu z+WF-6mD+o``&s$yfl)gv-0oLvAeCV)*9tp?Ekup95s&2>VbWe`17_<<+wo)w z=GvqhP7ZbstOS7CP;Jh4VgNO!+ME+&0JW;xoD&6T^SIHXsL5~}Nw~fJB6@gixQvZ@ zGq}5|YVgBt8ht37ZQ-rxDvIZOxi0G(qR+Y1P{s8(m{s?5zeyWalMfadq^vXMWW?6|Nn;O;fkvdFM9df$T zx`wACsR{nahu8n%5`PbkFBaZ^v&55k{l`m82QMb#-l7j@v_`F7*J8LfOyLenD-H_3 zYr|Q@*Ws|E4(p7%%9l|cE!1izV^KlZIP8I1O{yfriP6Yl_OrFEBm?uE+TY042{=-3 z?Me^4dNby4y3-xtl?`-GWJw0$e9xP4bi5_#TztMTpEl?%KyuRY<$al&C!GY)jo+c_ z{_bmZ)d@AiaqsyZv_hP#Pe$;6r5<*uZ3}dsN;wB!;)|$3&%w3_UJ~2==0*n%DmOZ9 zpxey2UyOu=XYUETuW~C!`=kjgZkaWxlLBSk6Q)H3B}T%b*|cxWeM{Y<_%3x;T0m9P z106Dh{GEpbzVE{+Fg7TLQhHJ>4hJGb(d8jiy>Y0A7E3lmgM!UaC~bxUY%_G`5k`4Z z&&6F7vgo#eOaVse>X|xomZh2`s#zAWA5RC8vGEr0kpL4dV3z<>2x#+o(2}^E_F#v> z?4U*9#TdY>US$nfJWRPZ)T{Iu#M1fjj4nJ=zHnVdL)v_5m_UZo2+#M&DQ>KCM4}3L z!B!~Htb*p3V8s&g@|<;sAEcAkon+k+!a@#t^DX&ow4|YQHy&GHeEFynS72X5hp+RH zAyow{dbpN|qZE8J#WG52*AYG2pq{f}8Mg?oAxeinG1PNb%nNyT2q+pcXShZ(^l;-m z5Z;Y72nOFHEqFZX9uUst)B(z&JJ0lijN=ru* z0lM>q%@9wa<0LV)tRAGbTA0<9V*s^Es&4DVkh%cHW-Zc)zQsE#BCc7 z5SW6_e@j~t@hnae|F)^`cw0+N({d;3sFR+h<4hMIt4G~C=1xK@$rc&Zv@FzQ2FZM7cZF;NM9Wd0>eyJ^!vJ4}TI`4=4kRpst zK?3O?!PE-@7ll?_wqt54>0v61-V{hZos?5g!MA;!oT2X4A!z4$!#55C#gYl`1-$#v zVll>QE9r68RA9@Y&5*m3XXfUs8vvvGA?H10gH{Rv*rjis?Ed)O{>H&A9Vp zJf&w2#&a52`2pUJt{*}(8!{9RmVe>8rq%WY!zDj?#CN~>!MlYtTA&q&8(^OLAKLSL z>xMk$Mt4E{^Ppxh^=$n5H|;Q{nRVVSJLW%8G4C>q+QWF?hQm*1O`G5NYR*SL`_ap8 z^Q#Z(In35@ikZ}I22#V5@O&TC;tn~Ncj#>(A@4A+!u3qg`ZqJB1xactGNuD8^K=}p zqY=kHv>JJ%KM(fOB1`w+an*!S?2u=gi|mH!Ff711rBY5sAr%j&3|HG3s;5L-ey87w zP|sE>8)$$*#3wdDr-#e`NvCu@;p>?04`0i)H@tu;+Ry$|qj-C$>NQWmyC1PWHF_a& zRonm%xSsC;)*4QCJ>L%18H#|%RR|p$XGeicP?vS*&zXpl;0EeEJO?%Jia_f&dS!+; zkl|XmgnL|Wj6|!jU*K zO3*?s)Yo@G)VCypAZUr~CsvQaNon6Ht{dtkSqF(`i`POlvBbN1`SAy9iJJ)`IAawP z&!C``C`rn9^xXT>80WS%Xl4th_Dnz(P4f1ZV?mkPElkCr78;zpQ@O5W98mgUUH_wh zt=~c_=q%E0>guDk!>9?FE^|Ac5gHt4{8#g!T$h8h?-5OOSsgmetUKa2JoeU&@UkhY zvy`FMBuFP}ZQfqe=&qn)L8TckX;O!B8hKzl8%4}vyL7ys>ZQwI>IIBYPIjt4o=Xy> zBFC$@lM`=?6Co18f$m{uwYN73>A%6xigN_3>;aP|F-#*k>67W?1q=XKbX)+wi<;c` z6+gz3|CR;_-VvuhMj4<&Du$ZD5qGj9C{Tf&B- zr4AzRIf592@whX@JyP1?9FGxyK8H)IM(EUc6xT!9Q&WX{VIYV04?Sj^Ck@%Cl2X4` z`S+-yf;Q}#ygpGSNk^{X!Zz<-G~FwZ9J%MDxt{m#MO0mz=;8D%*Ymk}zzT)Qe-q6R z&2dHtG#2fp0@YJtX+FyTty$fgYzAh$%Bis)C=9>|47#2-3MYB@mOoryAGdQYL$TAS z7=hHmMB2O!IYxWhUO%1L;0^^ zu#pT#HsK4+D;g9k( zQh81w)04c7uJw~J1p#<_Ea%n2d9)yp4y5bgrWDJA+D`{XXt2sd$&aquSgAlgWH`b{3=$bhJ`2k=*XxykWSx) zZ5~$OtAV5nomdBhKJCbIpgUqbdjZdRI66&n)^OC8dO865fmgFFbpl@+RK3TL8tTc_ zhLQwQ!)JpHrX~sc_Z^IWsL%m|ex%Sn3Vn`9Aa#@Co>yFp;#w8AU2!iFX$=pCc6&^2 zZ-8dK%$fa+L~W^$Urz2~8DLK*SqY;?4@Qko(O(xLCa5kRH9oaEm;XGB8lOTEH)^0_ zF_Y2pFC7n|p4-CT?d5TpHq^}1%})$JpQ-_bEMSbI0p!#2`?NNMVaqzjq4$(}F%AyI zx(|B^Ebd2HNOgOXs!WWH1FalJqaW!f1?di)o~zgEE0`K00dA;9_|-t3_SKlA$IG>$4yA`ln8iUBIv;BGJ;b9J zm{qgy*)@A9YW6+W*5(6tpKJCk@{MXX8_)kEHX~inXOlX*3eSUKGyfGeRm^Rtsp36V z)1)Fb{a*R4WM0bJh4Lk-@^!h^Peg$2aN==pyY8^vI;id*I18muth)*93;cTuuR_7U z)A~r5XD7t;9h{wJVla?ey?2&``VP&FEclp9Y1G!~5_Q=XS+C;S37o17Q(>%?`l;Vg z#9^JH%mv2C!z&#$2VUu9P@ha_9o1dmBs6MmJcWE;8}#GsnjO` z%BURfp-s+w45#6TF=K>(O;;yUtfl)0Q?tng!Zu<%xs-aDumcr)rLbSMvUG{CVX&5o zoA=dII09Q&!*1X?KfV+8$m$+w3Rw(z8>+XG3Qn)vYUtvwBXBlx4_%pcLykNjmgwPg z4wKr;P1#B!Z{ud1XT*+E2EK?V=Dd#p!b2cUSoI@aHXd@s>`o6825ZP0D%T3Qiso=M z!regpXz*+}LW2X)S~yi7!5w@U+Q5eJ%t??Rt*loMRMZDODf~X-P;v#2A7WVoYe78Q zw|Y@55dh@BVJiIxS%}BZ&17sFCKm(QZsK^7;dG>}$D22ho@^YM{ADLoH& z1KyXb*S&1qlos^99Ki~WoJA_c5cN+R&X2IE6(!v3K(V7-O?a@mV?(HNzB-!t&Ni-- z7CcOxw!_<%gd9JBsWxv|%B)OwDU%-T#xavnj5@JTN2yUr287hzU7W z5*XYfP){8o8#=v=Vkwef;BEN9`&tB#j*sj&j?aRikL`TWlR*w(AI3u{WrX;*McH{Gm*UP@X+xEMN9qG`bDw(xqMB zVPG1~*Eqy6QQ=}>|%ZY4mfacCs0jq8=@dhA#?J#!9swpGD12tL`8km`VV zL&fpfsi?+j3uW~Lx^}|?yPH^LYhY9B6Mr(ePe%L@gxM@Vd`~!OrKTm^HqZ((Pqb7{KV4L@4iguefL2zF%__kjhN(+%_=Keg zRd=k`d$9g!#4f#wW%T|)b~9LvW*FJ{MP+)~E5{u(=%&G`(B{pUC_YBwWcBL4g7)~9qy1V| zt$=5syu*3A82hafws}TTy+!_lZ_H8kQ<7XYKcG7NR=Ls>68>wyg>K!*B-J8MLGv^N z(@~ic{{BiOqh0q+wUWV{Z2LT~8SVkO;P0i3>_pYV?#@dIrK zyNm?|-F%6knZ9K&2z)Km|9j7Bz0P*V&P)(`yq+HU5%&f819o?%?3p#91ggJOMH=bs5_EEJ`EdKc5L#>T5LT>-1 zD8!cCbo$d4zKSam%D8?IO0k^{2aE1)S-+OF=wCzu`x5#EDW0wAC)F??(R#4I63aaO zZm6WP_(Q~~*Q88XCnj{Iv2 z7e2wqAacj70@(&Rqs?^hV^W9f^6i0|TBJfxB4_AOFUUTiJ*jIzst{ z<(JWolN`&(wwgxKfEPVvC{WV?f)~$-QJ$#>fc88InAO>b)3*oiSw=e5TRB*j7hp^$ zo+sP3U$7~X2#l>wT^;8T8AF3mD zJ27uLu7gcGS3IiEs_m9eQmb85tQ6h|Pl2{2L*TbQZ6!|Pl&Z*7_Z=8oZdUb-h*oc< z2&K4c3TVVpfuf3AgfPLJ2SV5L>4kxNs_1HyC%Lv}J+72HYL~tJ=XlILP;)b2#D?^O zHPk*g!JgdNpyZ;ImD?~y?TeWc758ZfBVw@XD@Y}*~ zq1;G46(+|1Y~&QcF|zLNr0ra2E7Wt)Qn&&lbk2i8 zCxk*!Hn{9#v}oi0E^=xtd|5Z74!6{w3@<~5K`vb4 zc%nub?pZ3GJ(#pP3>A{M{Sen~wCVs41$c7?ZYKMOsf&O52dj$%l?${Evlfm@oOtn! z_2J1nj|w^+j$4ql7Ohx^+r?Uig<8T8MV-bPgn|0ov&GgKieS-ZrYL?#JDp3O^Iuomo>fV$a z@vDrT-Ivf2>`i=mA>S=U_2ceL-S}h}jveyA*;zkhLot0AB(dv>ymM+;mO{w751L9OD z7d$2^XJ_5?vU2l)RcQp!f&$ujg6kLXqz*??_6yFOiDg}_Aq-RkjCJBJUZ>KmJR7OO zqqJ>QpJYr}`;LgkXV~((oG$1!(>(;zx1*cRx1*_zkwH|}XJ}d0YL!;~BnqVN^u=zd zThC_EkE>FR)63SU&{7wg(6*mQi#=I3*xb1SEr*`>s$LgPTGgZJ#ob)PI01P??n1-Bv;iQHvxKQS0H%=%{hKyOlyoWEr4}^J!&+_l zDHavI7EGvgNQy{W`C{7SQ)GH7Lz&Kq3HirNZB;y2Yw2Xgbnw8Bg`(Q{&SBary4y~f zxj8c|1K|_i3pIn;D3O$WrfCM}q0LV<@v~DoW^m?wT+fGL6_}if;?KlLJ9`X+)gf~; z)wDgK{Ptm#IXGfu0XGf`%*2-Tqs(4}4nK?L3#H4~3c8}NHgEghF)w@E zH0g6c`DyP>NY~yn^3z8i>c>C_m#Nj)K?d-p40M?1j{Q#K8A#V*22+Fia0tyF-I;>Z z!5uWUlF&A96&c_=_XvguHHj1Z)(;1%PTUKHT2`Q*)(c^+*_NX6toGJYyQ&?ua*wTr zNnEt5x1-mk;AvTeB&La0>#d?OnVSc-vq|2n@@iTlQk}Rqysl0#Bc(uBtWBy9aKmqe z;U-%9u|FzGc-ZS>{J4M>sW3#1)m?*Nu(|tEFaUC!CErSV@tY;<)PH%cgsr%0oR!)>BT| zG?_`>M!-#JV5m)`@lbP;w=wchOvkueOb^aguWK0Ox}|}(6xH5(s!~;F&{ox2?^-{H zq_82Qo;84}r%HOeM?uzWwubP0Q7bO-{xzNAJE7BMj%5hR zx`tt1q~Q~3$V_(ciHJD*T1V^#1>dI-DIU8cwXT6E9vU)Tw;!#{Ar+ZU>afR9G`dO* z+PO^-;2NE>rP5bX=37x(f$rG^q|W;<_Ba*2aVn_;0zln!iXRb}dT$|o({V;7XbyPs1WTk*t7j0;O1!WB8 z4JQ|ebW`Gtr5)*hWBBn#bFjo`Eav$(FL(BCdM6eULa|%DUFxCMu>e|W zcBK2CNvOV7Zx40YFoN16>I8PtJWe2~hb?t7)I)mx5sa^H{YG7- zx;Eg6V!~2gw|=ayQd}E&caMdZ>(*Tg8{pb-hjn%9c6F8P+Hj|Jbt^yAOIz+o6qKZl zsNSn8P+|^mvm~-qRj3?p~$G+LacAB{QV0 zm+1cQ*6hudVcHb_FSV{NbjC3Ldh90^(T-xjJHl-eD|Bj(I5lY`N72M3hV%f-K^+y4 zRvp|?35r!5UN^=|WN5}?=`E;zc4MWNB%Z+$l*jf-S> zIgLj+H%-u3DMV&-Ghc@%tZTB=nDXCsmG+xF1W*~QCaKDuFs6_~!k9vkfnM1eY1?V-Ix#lhCrla8?WX@GpdAx0O~9Qp z>G%F!+XiLvLS1{6au&w^8G-D#s@J_`+&F<+1}&}9)zYd{ElPW-a`=&ouzIW~-25Xt z$SQ z*Rc`an|W|7<+*A~a^(f+aJ>kt(R~V}UF3JK@|#~0z=?MN=eZB?luqx6zzemx!@%2H z{#pz`7Fhg}_Lckyfu#r>*eJ4KB?dnne7E)%NEzI3u_xF-b|XUCfRNseM9t<`s0Ou! zrvn{$NuEkMz=x~X-EG{6U$sD1#il?K;)kuOq^f1GNhJQCM1G zPV$E6o}(bL7`-^qIwR;siPtrt^}$P8YGBDh%MHAFHuVZ`p!MPaYNst+LB}4|FQ=nY z$5TcoKk!Z=qJ?}UNjklq9}bR=z#|c~@{a7GmSN4USg+Cl>_Ik^v$VSB>0QpX6P(6P z@BgyX+bGt`X*{x$=ydnxwrRC6$J;Z?N9zpX!v%{`{PE~?9ib2M)hVhhY&lqvn^%!g7Qcr{?`Uf}G9<%jpZKKi)Q4iNY zH6bjZx2Ksw-hiN=pm^GEDd!-V=#6;l6-Qh+0t(Ftc()|njDnk6%sLE5{3BpgcBrGm zV{Tqc>ouBB+d^Fwpfgdm+{3YIBp1Rs8pr_cK`G;&Z=7|HRK>NN{iP4z7w<7 zqpYbhm*3SbQ#$krYmXg!l3Qmy!O9-J^4r2`pRkV<8$`sacXeskI~?@(+V%e4omAP# zK(-UA3DT2#O;qjbsb%Y61$UsR=z+Q=ATt6r3yG7hfVCS&zg;ccDBU?}nT7i(z1la+ z_BqHuBxF03%?>FIs|Yd9Dup^;k=+`##yFFFULc72nWC@W^KVP80aY2>HEzpQ;0lZ)B2A32SNi z+jSRakE5!$QpgO~Lm_TDowYevK>>}EY%Ax~Q5(`sOBd}M(SO;miO^9Mz&Vxtm15~_ z=*GK+mYi$GR^$2NeLU|^YVfy_{l&f;PGDSH*P!N&2AVhE0G}Oz^1RU?^TtJ7W9ZSW z!dug^7sAx)+t5M|J69>HNe zpd_@o2;NUKY@0It<6%t%%AVL-)HvA``2ht52O!28JPVfKMs@EumAFmVN4jRrAuY6> zY{8V*q_&F^=P)X>1%)>v1Nw}&y1^Tt6VKKEe!O3x<|FaO4{l?om`Lw%cWblB4 z1C`Ndft$LQ{gG$w?oTA&|N>1=%rAew&cmI0n` z{jMcar?|1ZA2e``{|j|rl~hiZ?bsqynx*2hqGrnzAQgHEx}jrlrPHb|D4?egZ^yN2 zTht9;(4;tE#foW_&-pap>5PY-AIhOxtffUcb^~;W`5Jt=?sx~~$BV)0HPhxa% zVmRE7H8e9Tl9~zH>&X0uT$Q){P|s|z@GQA|tOdvAOq(6`v%#7JZ-jGir$a_7A2rla z7TRxEp`zA>@e492Nw|->ax#8B7d702DhflT$DSh32y*GMhCp4n85jZ7;r)v=yodMf z z5)kT0K*@gfx(!K{^kYc)A0K!_djhV*w2ejNsrzw6smZm4A5v8v#@N>G+K>XHkhjO_ z;+E+_>3IjP%;AZfSJ4zXQ*VM|t(x^ze(CWQl2{o7)oLTut)9D!d21V~o06SvBOHhmG32LyC>Pv?eb*Ua{R7P_MCgX1U=>;k^ zF=;p`Or5UN|RixRB79pIMLbnplO%kZQv{L(GZpf^jn&!h7K`;1cY@ey^{xLPNoE{_?6%V;*_>3L{&)gz=Kp#kDl1D2=lIp7I+$(;!3(O1|BTocI~A ziOP3)L^~b-Ny3iaiVYMZ5Iwli7}a!x|!lL$vG%RFD&LkEo~OY3@?4JXy;j z3@ejl8PS#us5x1eUFg$kR=#!CB_ehvS_W@;dzDn60JR;&n>49#*&*<~vTD9k)po3M z+%(oh0e=QnFdy&qD2D8EZU6FCRi&hWk*de2q@Mr{$KRektA=l}<42<8|6#ZP=XKP< zq0gZR{0~PUiJou8=c4KEyyD{0{5*eAX^Fcquc+8pU|d$}_LY~HmK){Q8mq1~@~$;b z&6>D+^r>0n%s@_r_Zl1#BW{Up`j|!Mh|{CV(LqO8`%oQ%P*Qf*p_E{&7e<#c7VPJ+5`F~XgXG1 zE=Tv zM1ualE*gCn^nK8`K=1xRG`b)3;ya?z;fEQ<^PuBFPpOYa=Yrk=>IeNL=-r?re~9#; zwV-c-J_NcSbQ9?C!wutg(D9&qK<9$~1Jn;X42LmygDwMY0o?|=8}v=k1E3#+j>Idp z-+)d5JsPJR3qi|4*Mio7ZUk)r-2(au=x)$v&;y_^fR4luh_!)E0sTGbLeRlDja&;l z3v?ss4$v*2C*Uk?H|X7<2SBIYi}ZM9xdC(v=xMmmump4hXcg!*&_>WVKwkzuxdAUH zfZhyxgv&5K1p-6c?E-xZ^no8EJ?ML&!}0cZ)mGje;%&J^z0GyaWBiE{u1eDSyOx2Rars9Y2%j+Kqk(y5dh5??7({ zEdzZRv>vn_v>CJqv;#E%L!<{i;v=L#0pk<)xLKe_N01)$anLf*qK}at^f&vE9(35J zNDumB&>m3pGo(M!FrN4l{SI`}SLk=3PkoJc5BfD|1L%DR(C$I$gXYSgq#I@%NvqS7 zjz3~hT0Pd!gri7CM^!X>8fnZJgr1GIfxq$i>s^hy#~fiCnLhK#j7waHuS%;jEX>{t zxg#0eZF{Q=qUmTNff&6C3oyxZx@)eMurKevSOMd|JHIUEI<;g0*BY};? zVbGJ1|29s(gAKTW(P7b*)fjtpxwm>i^1HD-mO$s24bDDRK|TQT=X4v%&1`^tXoS3> zA9)D!(bzMU#HBB?(|1AseaMUB=2e4g$QR%Y1d;W)BbaG>M=r?j!KxajwPJT>hH*_{ZX94Cp+s;L|52#KVa9I-6D6R(fnftKM_31hT zmXMg|FgN65u}^iAt`(E3RUVYy^DpE}MDEmXs~{f<`%dF)BjhJQK1BjAC`#W2`F_Yp>+)r>^ad&>=?Bj7cSAk^ za;NxtApa-q_f>yxJ{{r&9d?5RKApcuG@)UIFuOP=3ESA4oW^*4H1$j?D@)?jv`jHnv{vqT}ZD0fB z6MqXfc!>%48nLfz|X@F zm!SzdAKizwvaU1WEPI@4hkSp7a~lXl{w3s3#FgPuy9{YqWZ!&$GF$K#ypk~q27&c7XU zFXa9>d8sWALw-NxPJJW|=UzX8`~p4wnwWo?kpH?Lxe56@kUO>UWsr~F7>$n6?W<+F zDnI1sL7u70WiI3LLp~jHQGE|k|HF{iK|W5GuZYRhFzG)8`C46` ztSX4|&xHIRkgt!Es|-kPLcZw1X!QCxx!TN;d>Q0VLkQu@<$`+2eaGa)|_a;JH~l=L`8iupe; zmVO!J!;#);46lX!@P6z!L7ob^ll^wc4alAR4?{k%pY&-sgh+zCulTrOIur5%4swXO z4bKuASp-;XC2cKI4Ea#laFX8+`ALwE*3)Zq^^=f~fqbGauZYF?HOOZ|?lea2gM2gO zd3yTfg?1Y{0-KwEK>p)6`Te&1EXdd3%=*~4F?cwS!EU6P1$lX6GpDwi?+NO@==fVy&iWXO^3+)+NY68D&v0WOoxs3xH@>ru7lw?gYRx~?rY;Ar(Yy+ z>WgzB{{ZsQarQH9`+mqj{kikG7Ru>5BDni>L+fL?=8qnAn(Q6 z-|mMd))U=>?Kt*AXBy7^oyw4Lw7QSbR~aaeiICI%fxgxg5ObUtLT4v*a&QJ^`!V3s z0ptYL!&=CbHbB7)`YtD>-varukiUm(+kWyN>@x0#{2j=ziHqY^ zb{r2tJ_7d;_$b^OuNH7}_HQHx>*0_?EoNVBsaZY+^1~o^8gmyyo({RwoW2(F49F|u z%3l&IKjh0_jz)j3=b!wDUA`@l?}z-excGi-$9Fg6FSVnNlQsVb9Br?Q4?w={Rp;@N z?g5SaZ8Z8~T>hKw{OR7%PRJL=*}u}ZPxp+5{4N@$r>5=t!LQJg0j__@C%=JvDslF2 zwe4?&{87jskCXq5fkP2E6oEq#_w)QD?fvp>V>OWDG&r5KbrdWf|gK^y;a@yC@$CCf; zn`kNV9kjp12ajR!CzCdO_=p=uugGz`l0P?#0JrY=gKaE-aBLIzkz_{rGX>LDoIbUZ z5Jz47p)E3fu;u4Zrx>(wLwL*YPSK+yB>GtS|0Al(1Bg|>5x!XrM}@cQrAPS3`4Gi0 z@Utx(56f>h{=e|mDD{(!0$=^LQfMqLFi1O^Mn=(T`BYyq4x@XROlw5JB02Ms&d2gAYWKl zptUb~)O$IR3;(+8quS?s_gpYZ`sZm^P34|)(R93+lZjKg)7@jw9W!psSogTBap#U5 zJ677UW-acL#=jKfuhBRVOgjFOG0Xg6qLSo`!byTpnWTWr1*hiPmmLpqvUAvEr8rX& zBL_4Ihnk-K3aI+I8fgmz4?U<(6|J+yV@4?bcEPRjzf$x&1h>X>y0=C4-%7A^m*AZV z_(Q}ef*JqL*iz|ho%YgGc5jC`5pjHc77xkxE4Hp1|d+SZ~RzUI90(0y_4Ek zJ)SK39?_rgRtZi8PWGoRRlGDyV~pU}C*bD_{u9AROTHe#|FKK~d~Xw%^u83?zrRS~ zd`}aXrszL&ox-WU>2tNFmP#&}fl`vu=4`t+Zqk^k$iSAgZ`8-k~lEBs~A|0D3e;=jiM|HJ|R(gBYGr}mR3 z?Z;{-E-c8%&&fYfj+`d`j1qi_;F*G-EqJZqd~XOcui%eRN5hBj`G8&}_|x|@Y}~Dg zQ7m}Uj}*Z7XmELx;NB+`o-O)B`ijr((5F$Wp_ypx^APYPV}y~oj%s537<)ZxrPv01 zn8j$c!vX)31O68WoSyv}hB*J@PGy|$nc?zq41a`sXDQsRh;c0A!f50y2mAuDb8Dee zw$}YuJLs=)z}Gq8w~77Ze9AsQ$AZfS2YnjW`-nx1i^oGo&qeK&J`&BTcq8dCi?RP-)t&ivEapm-(R2rnXZg= zf}1h`pDg-!34TnD0<3X{-tVS-N6EZ^ZY*BtP7#LmW`QXVa7==}(?|Ah2+ z%b(Oi3h$zY96o%n9drca48?t&Ao|-bQgFIR$2jOu0dD1`8@kd#|2hYJ9pgic$E3cj zap?{R{f!RzBVy;xMamnQCXMY5`frN4BNsd1vmNjyV*g$-Y@PG068v`;DdSc=YXv{{Vui1eyc-yac0mXvT?;G^x|J4q7so0t5QwI3?R$SgXMEQBr z28Hu8RJg1W{a2*_zNf^-y@GF%f$+D2Kkkt4R?*)kaj@!rr-S~7qQ7*BGAzTBF%bI* zif6mDPq*YdLhxo;hukT6mf(SF6);Bdsf-Jwk=cYNA8A=FF+gn8$1IM7!=I+5`q#+^?n zJN(QQF2@M|s;n#cT@c`xIM~S*{bOWaUa!m$zrFZYPegz1GzD7g|HF>#yS-&N;8O-FKgUSJvEn((K|jj@ zKacSt#*~D9cbVWzrDCOf7}p3sR>pZW1O8m^V1K>ne$5&T2?_t|5OM4aSpiG0l$LrA;y&wx1+><0dQKMB<>%}M1P=+pVs>D zCI|bsJK%*fPJZE68Cvb_0kQwxe1%K1Hl7sxI}$g`&sM?DnyK`k7XSa?kndgx{0p(u zEbC;eoeV?Aqto z!J21p5q!O@dxwip4+@@iwF3B^JY4=t@b=3UK3eo&75p*@yfvP@&$uXQgx*7<_$-%& zs?~pc1@|S`88)=WPG{JXCJi+p3o`ap`qQ6S~vDV2q2!5NabFB47 zgM*zXME_YCH;N@+Uxq60JPEusJ7Y8ShvJ;vy*j_IHbYpNwN}(eHN9{{}dn z=Oms#9M1ELB-Y3Yj1Mv1mHkeg$i@Iqho24GFtBK!a~$k=9Pl|}|9c7byVODd2GM^> z23lG68FvZ3vRXMK%OK+^2RoZZf3b`MR(pG0@Nv?fMQrR9{P}B@{Y)wImk#z*Ft9*$ z&}S&)LyRwEzCKwrMmy+Fa=U0IIZB>H1>6k_>vFXNV0 zj6UXo|3d66l8qX_+kj--1%F1`rx4>$g4YXR<-1?-w-ffQDHw=oe7IQp(QrF^WUS?Hi&>3|0u@cSI_#~tu(j1MvX zBI6jQKmNQac#*7s<_I2ku=6+3e_Pt&38Fu2go@`WV&AHllLb${OetFP#rcAl6)M~s z=dThxI7#6$TpIa|OJ*9m-T}Ww?A)|aDf4^YxO_zLN~vGVPkIN;t=Y9MI~?r4=YV&M z{pqrg`+*qB#c;>%aJ>RXCn@?*2Rp;1eY#|zS|N7E37#s3PZWHr;28<^`=sEfSH|ai znc$yEg<5=BR7fuUDFh3)z^a#`j3hJc~ZZ}iLF+__s9TwgWx*_UoQ9r!T&7y ziL$@5>Wf|?qj;V)S1DTlXTUMSpO$rqRKIaH<6=}JlO6Es1C*V?vJSV_C$q%<`O;s` z5?hM|&yxAhs`paCeD>!f51e z2mE~pyj$##lLq*u*xK))|BVAal-DhqBXar2Ar$9>KPRyM5M#naO7^&@j1&C2Yz0{J zLbikbC8D1z?eKUjtHPqyzJkSh<>h&6D#qj+6_rK#i}@F76{Z6f{_@IvzfoLtEorUr z-C*haOBa_HFJ9@(KgaNw=jAUagZ7WyRv5AC#rdU`C4Qr@tYYyBpWj!$cx6#V(Y3`s z4Oy*SuQ3XXN_1OBeq}lSn@#`X;?kvyi+wA7#YSm?Z*fsck-sRf`2Uo4^)QknRoFVg zK>+9yh>%zz0+MSjcZVRn`Q01Xxm{+4TOopyyItMw-L~D>?wuJVL_$J#5&=g>f{2g^ z5DCd9Bt$2XT!KJ?0EvJL5E2>R_kODF?l}pGmZr-t*QzRVfZ3yT?MxR_;S7jD7$ zf(Lk+ZZ^x?0>nkU$<}RCHR!sV<#lMLPvfi)^D?fA4uqj9>jvC3s}<_ADsP|dwDBsv z);3MwWwWMQZ~7SKO?!=jN{qW%7vP^`hjmldkX+|=q}f)IHU|sB<*J0JsH528&A&Wo zpc|>_r=bva_tT;a%e-5LE<$>poMTech)z3*wW+NVB7e;etNdA1A{ByCb>&(*n%?%Y zvz8Fpvv?cg_cr;;s+JW51g&RetaaPn3-y*M~O32z-=Wa0QbZy%hW z9cAIc!$*e)55uF=)60{qaCLC_@FZmOKCV`8K6rR`cobg4Q&eBgia1|ERA;b=kezkk zjJL8?bI2n{zjMY35@8R3R5 zLf_3EHhFOg4=bRkqfOg2?OSD0M3^3DXhu{}ks-npa;Y1&nRxgh|Va#gE|p-$8hmhkjUM?S0a zMalI62mT=yg1lPW}!9VlA%LZgGeo{!pwvqy+y2nzu+ zgvWAT>s5YB%WG=L8NsFvPdC+CuWjXB#1%w0a)pbyih1gWrgY7jkIdj2rr2DEZrN;j zWz}?MJ4rTX_)TrLuLHv;=;oNrbCs{KN_HdwZxAC!_B*l?veK2+dW8ZJEhdg6KryOo zz$(u3u7e(Fdxg3g4-;#1wu4=zp@znuM${Cz+j-bKz5Xp`X z>@(eOUE%HTp)D6n1YHPZpO1YKs;(#*FldPI)o!`z#S7iL2Enm#sTATn$9KEDm|(C- zpn@G3lv>OjE|@`D7=FZMK5g1@4Fz>nwlf4X9=h)bGC52N7y`6;kC*m*`fYm0C;F-wFs!9PH zcp-mm5h%j*H%8VCkz8_6MZ_@3awpZgzs=|nC1dGn3)ZiIwRAf4=mqj!aIXsx*%U@4 zn5@dnt-HMb#z)z_Sg`@4>>QyBv7Tzz_6rQ?0E=Qt^AoN)V@*8c`hD5#(~1Fg0GOs4 z%`!nuRXZOH&4G}Cn^_5Q$kh~%G>Zg8N(2&Mv8=2GuV^!1@LAsVAxr0f z%8(sUJ&jMPhf-F!0Q_;2!Bgmj2}w~3jC~ivn4Z zn9-+@lH~yPq>IKGlv}IaDV>=v0S^w5u!SJ$$1>TfY1Uh>+$s&~Fezo6+E`R0wsiP} znYJ*54D8b-2GlHea#ors{S;V4*H+6ZVOBk6*Nf4rDIhVk?KNQfEdcjn{a9AS( z5&;NUPIy4Vhy^mDGmovN6$y)+aIA;+DLiNtr&pT0cIzI|0ZyyISBauVMoZh91-Yb)oTKxX{=SdLEW7 z+i^*#E4g{I-kGnAiL8s2w*GDn<6x2(C6eq}9g0Z%N^;cc<4YBhvrN#gH8f|nOhpN{ zm>7l|8j&_m*@U8|e`vKW6k5Kxzy?AM7F+XXG^IU# z3U4$2q^<-%*(~; zDqjrXwL+}oQt-4wSY74;DPc9GDHu!-V8aE#lF3y4S@Z;VN5((Yr4^AkxM=T0wWbIU zE*n|cj+hm34Cn6#xMMqE+QLMb7c+&H=GUqZEKwUQn019JRkREX{tTCd94c$`C4_#W zlXEUXk8MSSZGw@O5(^gkEt(5DKc@j5XE6DE9LU#LdF{`T?AQv1>ttCrOuNoxo;cPf zE&}H-r48D#xQ;L%Z34}^eV{vZU9VK%!xGz zc~FBBw*YNb)UF<5E8~1%C%Y(I)|0-VUJ-_AY)jLVEX=`@lbW1%wtv*MKwHMdo?C*=UAqxO&!l3vfYt#egT4VuWZx|m7KA%S*g)G2 z!zp?ffA`-<`meUv{Xj+8g7NubJ&DyM<7+O#~Fu|>YmAM3fu^)0za%?h7*%-lsINz-9 zg5Sv>$UrhaB6*8WN%W?;!n{12bhlNHpSznNjcB>_qZ+&FlSRFmU^99hTdbrescO0@ zSH-JkkxdZH8EK>;_j0pIaa*HPE&EolU{{v=lcSS>YcRB&1a`E>?9e0jBPY~XHj$O= zq-|u&aT1pnW|jqL{mj@pI6Ql`&lgH>w@!rKk1&Bn+_VP`u_rjl(@$(4|hV<{^J|I6{eo0T$_s7za9vqHR$zUf%zd626RrV>>-= zlga11_~wvK@9)*{(%++@t+fw7W;w$j-&x`G{+f`Uu|Hrsa`a^5y@AdG~-vdH=-0Iwu-%n6S zz9?V$+#i?e{-agz+7Is=59#k2y_YX&oP*CRcI@TPa6Y8}%h$Alm%p^<0K5yQ^K;&A z9n$;%33!RywWH52|GzN$B>!Jqb1Q#3qTb5StADja@Bb(3C4aMX_}Lx*cRTbS{#ILi z`6GW&z&dgLd!N6@!O;Kv_w|aG_q?H%yW{^6^`F6?xozg}xq0_bO0YYgpL_XdG{d8y ziQeCX^WOhR{}0eoL_WU%Kk?6v{+=nu#pvU@9sCQl)W6fe_$N;Ac|peT`LY)2+v&ah z53UU9{XIH=H~J5~W9z}`ynG47LwbMS@Pof9!PnEsdf;?k{YenB&WG{m)?WFWwz&C& zU(xe>TBPq!+xYiWjUG7tuK$u(euibTeZ3^#_ig;;7qyakfUfEMdziw%1ts3KrGCHn fvX1ZrZ)g{NTyKlVH1DMU>=(4<=XMBoPP6|4f$=V% literal 0 HcmV?d00001 diff --git a/tests/fixed_arrays.sui b/tests/fixed_arrays.sui new file mode 100644 index 0000000..c233d33 --- /dev/null +++ b/tests/fixed_arrays.sui @@ -0,0 +1,6 @@ +# Fixed array test +fn main() -> int do + let arr: [int; 5] = [42; 5]; + let x = arr[2]; + x +end \ No newline at end of file