[TO SQUASH] Remove dead code/comment

tweag · Feb 8, 2023 · 04309dd · 04309dd
1 parent 9d98193
commit 04309dd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/src/term/mod.rs b/src/term/mod.rs
@@ -397,6 +397,7 @@ impl fmt::Display for MergePriority {
     }
 }
 
+/// A type or a contract together with its corresponding label.
 #[derive(Debug, PartialEq, Clone)]
 pub struct LabeledType {
     pub types: Types,

diff --git a/src/term/record.rs b/src/term/record.rs
@@ -76,13 +76,6 @@ pub struct RecordDeps {
     pub dyn_fields: Vec<FieldDeps>,
 }
 
-/// A type or a contract together with its corresponding label.
-// #[derive(Debug, PartialEq, Clone)]
-// pub struct LabeledType {
-//     pub types: Types,
-//     pub label: Label,
-// }
-
 /// The metadata attached to record fields.
 #[derive(Debug, PartialEq, Clone, Default)]
 pub struct FieldMetadata {