Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/new-compiler
tree: 3dc1d63c541d067df1eee34f81a2f46eeb52bd8c [search]
  1. run/
  2. 1657.lean
  3. 1657.lean.expected.out
  4. baseIO.lean
  5. baseIO.lean.expected.out
  6. CompilerConstantFold.lean
  7. CompilerConstantFold.lean.expected.out
  8. CompilerElimDeadBranches.lean
  9. CompilerElimDeadBranches.lean.expected.out
  10. CompilerProvokeFloatLet.lean
  11. CompilerProvokeFloatLet.lean.expected.out
  12. jpCasesDiscrM.lean
  13. jpCasesDiscrM.lean.expected.out
  14. jpCasesNary.lean
  15. jpCasesNary.lean.expected.out
  16. jpClosureIssue.lean
  17. jpClosureIssue.lean.expected.out
  18. lambdaLiftCache.lean
  19. lambdaLiftCache.lean.expected.out
  20. README.md
  21. reduceArity.lean
  22. reduceArity.lean.expected.out
  23. seqToCodeIssue.lean
  24. seqToCodeIssue.lean.expected.out
  25. unhygienicCode.lean
  26. unhygienicCode.lean.expected.out
tests/lean/new-compiler/README.md

This folder contains test files for the new compiler. They are currently disabled while development on the compiler is paused and compiler.enableNew is deactivated.