Skip to content

Commit bec538c

Browse files
zwarichzwarich
authored
chore: delete disabled new-compiler tests that are no longer very useful (#8873)
1 parent e74d3a2 commit bec538c

File tree

3 files changed

+0
-134
lines changed

3 files changed

+0
-134
lines changed

‎tests/lean/new-compiler/CompilerConstantFold.lean

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎tests/lean/new-compiler/CompilerConstantFold.lean.expected.out

Lines changed: 0 additions & 35 deletions
This file was deleted.

‎tests/lean/new-compiler/unhygienicCode.lean.expected.out

Lines changed: 0 additions & 86 deletions
This file was deleted.

0 commit comments

Comments
 (0)