test(tests/compiler/array_test): segfault

leanprover · Mar 28, 2019 · dca82e4 · dca82e4
1 parent 5166c55
commit dca82e4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/compiler/array_test.lean b/tests/compiler/array_test.lean
@@ -21,4 +21,6 @@ do
  IO.println (toString a2),
  let a2 := a.pop,
  IO.println a2,
+ a3 ← a.mmap (λ x, pure x),
+ IO.println a3,
  pure 0