Change HashMap to IndexMap

HigherOrderCO · Mar 1, 2024 · a7d91b6 · a7d91b6
1 parent 4f14162
commit a7d91b6
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/term/check/shared_names.rs b/src/term/check/shared_names.rs
@@ -1,4 +1,6 @@
-use std::{collections::HashMap, fmt::Display};
+use std::fmt::Display;
+
+use indexmap::IndexMap;
 
 use crate::term::{Ctx, Name};
 
@@ -14,7 +16,7 @@ impl Display for TopLevelErr {
 impl Ctx<'_> {
   /// Checks if exists shared names from definitions, adts and constructors.
   pub fn check_shared_names(&mut self) {
-    let mut checked = HashMap::<&Name, usize>::new();
+    let mut checked = IndexMap::<&Name, usize>::new();
 
     for adt_name in self.book.adts.keys() {
       *checked.entry(adt_name).or_default() += 1;