From dfc03ad2a8e00558122e236de4f1ddb44cb652c5 Mon Sep 17 00:00:00 2001 From: bing Date: Mon, 10 Jun 2024 11:06:50 +0800 Subject: [PATCH] use `educe` for `PartialEq` --- Cargo.toml | 2 +- book/book.toml | 2 +- src/parser/types.rs | 9 ++------- 3 files changed, 4 insertions(+), 9 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index b683adde7..e0807f744 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,7 +12,7 @@ ark-ff = "0.3.0" ark-bls12-381 = "0.3.0" # bls12-381 curve for r1cs backend ark-bn254 = "0.3.0" # bn128 curve for r1cs backend ark-serialize = "0.3.0" # serialization of arkworks types -educe = { version = "0.6", default-features = false, features = ["Hash"] } +educe = { version = "0.6", default-features = false, features = ["Hash", "PartialEq"] } ena = "0.14.0" # union-find implementation for the wiring num-bigint = "0.4.3" # big int library camino = "1.1.1" # to replace Path and PathBuf diff --git a/book/book.toml b/book/book.toml index a6b5728f0..861e81f81 100644 --- a/book/book.toml +++ b/book/book.toml @@ -16,4 +16,4 @@ additional-css = ["./mdbook-admonish.css"] [preprocessor.admonish] command = "mdbook-admonish" -assets_version = "3.0.2" # do not edit: managed by `mdbook-admonish install` +assets_version = "3.0.2" # do not edit: managed by `mdbook-admonish install` diff --git a/src/parser/types.rs b/src/parser/types.rs index 39eb9e125..559250e47 100644 --- a/src/parser/types.rs +++ b/src/parser/types.rs @@ -394,19 +394,14 @@ impl FnSig { /// Any kind of text that can represent a type, a variable, a function name, etc. #[derive(Debug, Default, Clone, Eq, Serialize, Deserialize, Educe)] -#[educe(Hash)] +#[educe(Hash, PartialEq)] pub struct Ident { pub value: String, #[educe(Hash(ignore))] + #[educe(PartialEq(ignore))] pub span: Span, } -impl PartialEq for Ident { - fn eq(&self, other: &Self) -> bool { - self.value == other.value - } -} - impl Ident { pub fn new(value: String, span: Span) -> Self { Self { value, span }