From 420841cf4fb9af2eb87f68d0a22d40cfe361bf75 Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Fri, 7 Oct 2022 21:55:29 +0900 Subject: [PATCH] Update mod.rs --- compiler/erg_compiler/context/initialize/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/erg_compiler/context/initialize/mod.rs b/compiler/erg_compiler/context/initialize/mod.rs index b2fec139..589a7596 100644 --- a/compiler/erg_compiler/context/initialize/mod.rs +++ b/compiler/erg_compiler/context/initialize/mod.rs @@ -1504,7 +1504,7 @@ impl Context { array_mut_t.clone(), Some(builtin_poly( "Array!", - vec![ty_tp(mono_q("T")), mono_q_tp("N") + value(1)], + vec![ty_tp(mono_q("T")), mono_q_tp("N") + value(1usize)], )), ), vec![kw("elem", mono_q("T"))],