From 6cfb25a1a76c51bcdc0cbb9b24c3de6fb5b97883 Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Sat, 15 Mar 2025 19:48:02 +0100
Subject: [PATCH] fix warnings
---
src/main.rs | 9 ++++-----
src/morphism.rs | 4 +---
src/parser.rs | 4 ++--
3 files changed, 7 insertions(+), 10 deletions(-)
diff --git a/src/main.rs b/src/main.rs
index 0e5c87d..70ec53d 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,4 @@
+#![allow(mixed_script_confusables)]
mod morphism;
mod parser;
@@ -5,13 +6,11 @@ mod c_gen;
use {
ariadne::{Color, Label, Report, ReportKind, Source},
- chumsky::{
- prelude::*, text::*
- },
+ chumsky::prelude::*,
laddertypes::{
- dict::TypeDict, parser::ParseLadderType, subtype_unify, unparser::UnparseLadderType, BimapTypeDict, Morphism, MorphismType
+ parser::ParseLadderType, BimapTypeDict, MorphismType
},
- std::{any::Any, sync::{Arc, RwLock}},
+ std::sync::{Arc, RwLock},
tiny_ansi::TinyAnsi,
diff --git a/src/morphism.rs b/src/morphism.rs
index da573dc..a1f2aab 100644
--- a/src/morphism.rs
+++ b/src/morphism.rs
@@ -1,7 +1,5 @@
-use {
- laddertypes::{TypeDict, morphism::Morphism},
-};
+use laddertypes::morphism::Morphism;
#[derive(Clone, Debug)]
pub struct LdmcPrimCMorphism {
diff --git a/src/parser.rs b/src/parser.rs
index 76b497c..f45fddf 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -63,8 +63,8 @@ pub fn morphism_base_parser(
ty_args.push((var_id, kind));
}
- let mut src_type = type_dict.parse(&src_type.iter().collect::<String>()).expect("couldnt parse src type");
- let mut dst_type = type_dict.parse(&dst_type.iter().collect::<String>()).expect("couldnt parse dst type");
+ let src_type = type_dict.parse(&src_type.iter().collect::<String>()).expect("couldnt parse src type");
+ let dst_type = type_dict.parse(&dst_type.iter().collect::<String>()).expect("couldnt parse dst type");
LdmcPrimCMorphism {
symbol,