From 7385cbfe2d8b20b0e55f24820eea141af3f864ce Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 22 Aug 2021 16:51:38 -0700
Subject: [PATCH] test: add `mapTR` test

---
 tests/lean/run/mapTR.lean | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tests/lean/run/mapTR.lean

diff --git a/tests/lean/run/mapTR.lean b/tests/lean/run/mapTR.lean
new file mode 100644
index 0000000000..bc6fac40f5
--- /dev/null
+++ b/tests/lean/run/mapTR.lean
@@ -0,0 +1 @@
+#eval (List.range 100000).map (.+1) |>.length