From 57b5a5cce499fa7d09b84e846dd7c71e2166d9a0 Mon Sep 17 00:00:00 2001 From: sofia Date: Mon, 28 Jul 2025 01:13:30 +0300 Subject: [PATCH] Increment versions --- Cargo.lock | 4 ++-- reid-llvm-lib/Cargo.toml | 2 +- reid/Cargo.toml | 4 ++-- reid/src/mir/implement.rs | 2 +- reid/src/mir/typecheck/typeinference.rs | 2 +- 5 files changed, 7 insertions(+), 7 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index b7af70d..6f029b5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -78,7 +78,7 @@ checksum = "53a49587ad06b26609c52e423de037e7f57f20d53535d66e08c695f347df952a" [[package]] name = "reid" -version = "0.1.0" +version = "1.0.0-beta.1" dependencies = [ "colored", "reid-lib", @@ -87,7 +87,7 @@ dependencies = [ [[package]] name = "reid-lib" -version = "0.1.0" +version = "1.0.0-beta.1" dependencies = [ "llvm-sys", "thiserror", diff --git a/reid-llvm-lib/Cargo.toml b/reid-llvm-lib/Cargo.toml index dc31a3b..46a4ab6 100644 --- a/reid-llvm-lib/Cargo.toml +++ b/reid-llvm-lib/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "reid-lib" -version = "0.1.0" +version = "1.0.0-beta.1" edition = "2024" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html diff --git a/reid/Cargo.toml b/reid/Cargo.toml index b242321..9d201e8 100644 --- a/reid/Cargo.toml +++ b/reid/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "reid" -version = "0.1.0" +version = "1.0.0-beta.1" edition = "2021" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html @@ -14,6 +14,6 @@ color = ["colored"] [dependencies] ## Make it easier to generate errors thiserror = "1.0.44" -reid-lib = { path = "../reid-llvm-lib", version = "0.1.0" } +reid-lib = { path = "../reid-llvm-lib", version = "1.0.0-beta.1", registry="gitea-teascade" } colored = {version = "3.0.0", optional = true} \ No newline at end of file diff --git a/reid/src/mir/implement.rs b/reid/src/mir/implement.rs index 619e537..a004fba 100644 --- a/reid/src/mir/implement.rs +++ b/reid/src/mir/implement.rs @@ -209,7 +209,7 @@ impl TypeKind { } } - pub fn unroll_borrows(&self) -> TypeKind { + pub fn unroll_borrow(&self) -> TypeKind { match self { TypeKind::Borrow(type_kind, mut1) => match *type_kind.clone() { TypeKind::Borrow(type_kind, mut2) => match (mut1, mut2) { diff --git a/reid/src/mir/typecheck/typeinference.rs b/reid/src/mir/typecheck/typeinference.rs index 93db1f6..698b1d5 100644 --- a/reid/src/mir/typecheck/typeinference.rs +++ b/reid/src/mir/typecheck/typeinference.rs @@ -614,7 +614,7 @@ impl Expression { if let TypeKind::Borrow(inner, _) = type_kind { if let TypeKind::Borrow(..) = *inner.clone() { - *type_kind = type_kind.unroll_borrows(); + *type_kind = type_kind.unroll_borrow(); let ExprKind::Borrow(val, _) = &first_param.0 else { panic!() };