Rename Eval -> Run, split out some Ast functions into new Eval.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 11:33:31 +0000 (11:33 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 11:37:20 +0000 (11:37 +0000)
commitf36210fd16a8e4e4d6ecdd8825bf8b8307943472
treec87a2f5cda5ce2d3195ccc41f158fd9d78ce46a4
parenteb96a7b791ac414a861a31e93e3336924daaecbe
Rename Eval -> Run, split out some Ast functions into new Eval.

This gives us more consistent nomenclature:

  - "Run" for running targets.
  - "Eval" for simplifying and evaluating expressions, etc.
  - "Ast" is a library of AST-related structures.
Goalfile.in
Makefile.in
src/eval.ml
src/eval.mli
src/main.ml
src/run.ml [new file with mode: 0644]
src/run.mli [new file with mode: 0644]