Remove some warnings

This commit is contained in:
microproofs 2024-10-10 12:14:04 -04:00
parent 43e859f1ba
commit 9369cbc1a3
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 4 additions and 4 deletions

View File

@ -14,7 +14,7 @@ struct Occurrence {
} }
#[derive(Clone, Debug, Eq, PartialEq)] #[derive(Clone, Debug, Eq, PartialEq)]
enum Path { pub enum Path {
Pair(usize), Pair(usize),
Tuple(usize), Tuple(usize),
} }
@ -34,7 +34,7 @@ struct RowItem<'a> {
} }
#[derive(Clone, Debug)] #[derive(Clone, Debug)]
struct Assign { pub struct Assign {
path: Vec<Path>, path: Vec<Path>,
assigned: String, assigned: String,
} }
@ -80,7 +80,7 @@ impl Ord for CaseTest {
} }
} }
enum DecisionTree<'a> { pub enum DecisionTree<'a> {
Switch { Switch {
subject_name: String, subject_name: String,
subject_tipo: Rc<Type>, subject_tipo: Rc<Type>,
@ -228,7 +228,7 @@ pub fn build_tree<'a>(
do_build_tree(subject_name, &subject_tipo, PatternMatrix { rows }) do_build_tree(subject_name, &subject_tipo, PatternMatrix { rows })
} }
pub fn do_build_tree<'a>( fn do_build_tree<'a>(
subject_name: &String, subject_name: &String,
subject_tipo: &Rc<Type>, subject_tipo: &Rc<Type>,
matrix: PatternMatrix<'a>, matrix: PatternMatrix<'a>,