2 commits

Author	SHA1	Message	Date
Leonardo de Moura	e1a84d2f2c	fix(library/compiler/struct_cases_on): performance problem exposed by badupdate1.lean	2019-04-26 16:30:19 -07:00
Leonardo de Moura	240ca3fc68	test(tests/playground/badupdate1): add test for exposing performance bug at struct_cases_on_fn ... ``` ./run.sh badupdate1.lean 4000 8000 test1 2.12s 8000 test2 1.11ms ```	2019-04-26 15:04:39 -07:00