From bcb67b0deae1824f932741962f8518c8b5548530 Mon Sep 17 00:00:00 2001
From: Richard Feldman <oss@rtfeldman.com>
Date: Sat, 18 Jul 2020 22:25:29 -0400
Subject: [PATCH] Appease clippy

---
 compiler/mono/src/expr.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/mono/src/expr.rs b/compiler/mono/src/expr.rs
index f8313d333b..a62c9d7c9f 100644
--- a/compiler/mono/src/expr.rs
+++ b/compiler/mono/src/expr.rs
@@ -52,6 +52,8 @@ pub enum InProgressProc<'a> {
 }
 
 impl<'a> Procs<'a> {
+    // TODO trim down these arguments!
+    #[allow(clippy::too_many_arguments)]
     pub fn insert_named(
         &mut self,
         env: &mut Env<'a, '_>,