Code

Reimplement #eval#36

Code

Merged

leodemoura merged 5 commits intoleanprover:masterleanprover/lean4:masterfrom Kha:#evalKha/lean4:#evalCopy head branch name to clipboardSep 19, 2019

+272-212

Commits

Commits on Sep 19, 2019

• chore(library/init/data/repr): fix String.Iterator.HasRepr

  Kha

  committed
  62d1cdc

  Copy full SHA for 62d1cdc

• refactor(library/compiler/ir_interpreter): make box_t/unbox_t total

  Kha

  committed
  61819be

  Copy full SHA for 61819be

• feat(frontends/lean/builtin_cmds,library/compiler/ir_interpreter): reimplement #eval

  Kha

  committed
  31c1701

  Copy full SHA for 31c1701

• chore(tests/lean/extract): reactivate some #eval tests

  Kha

  committed
  8cb387e

  Copy full SHA for 8cb387e

• chore(library/init/data/string/basic): remove broken lineColumn obsoleted by FileMap

  Kha

  committed
  f22c17e

  Copy full SHA for f22c17e