Pretty printing

Author: lazear

crates/sml-core/src/elaborate.rs

@@ -233,7 +233,7 @@ impl<'ar> Context<'ar> {
             .get(&sym)
             .expect("error: redefine_value");
         let s = Scheme::Mono(self.fresh_tyvar());
-        std::mem::replace(&mut self.values[id.0 as usize].0, s);
+        let _ = std::mem::replace(&mut self.values[id.0 as usize].0, s);
     }
 
     /// Starting from the current [`Namespace`], search for a bound name.

crates/sml-core/src/lib.rs

@@ -317,5 +317,3 @@ impl<'ar> fmt::Debug for Decl<'ar> {
         }
     }
 }
-
-use pretty_print::{PrettyPrinter, Print};

crates/sml-core/src/match_compile.rs

@@ -68,7 +68,7 @@ pub fn fun<'a>(
     let rec = SortedRecord::new_unchecked(
         vars.iter()
             .enumerate()
-            .map(|(idx, (s, t))| Row {
+            .map(|(idx, (s, _))| Row {
                 label: Symbol::tuple_field(idx as u32 + 1),
                 data: *s,
                 span: Span::dummy(),
@@ -344,7 +344,7 @@ impl<'a, 'ctx> Matrix<'a, 'ctx> {
         }
 
         match arity {
-            Some((name, ty)) => {
+            Some((name, _)) => {
                 facts.add(mat.vars[0].0, Fact::Con(*head, Some(name)));
                 mat.vars[0].0 = name;
             }
@@ -378,7 +378,6 @@ impl<'a, 'ctx> Matrix<'a, 'ctx> {
             // of data constructors for a datatype, and the arity of each
             // data constructor. We just mock it instead
             let fresh = self.ctx.fresh_var();
-            println!("spec {:?} {:?}", fresh, con);
             let mut f = facts.clone();
             let expr = self.specialize(&mut f, con, arg_ty.map(|ty| (fresh, ty)));
 

crates/sml-core/src/monomorphize.rs

@@ -1,3 +1,4 @@
+#![allow(dead_code)]
 use super::*;
 
 pub struct Cache<'a> {

crates/sml-core/src/pretty_print.rs

@@ -0,0 +1 @@
+