[Relay][VM][Interpreter] Enable first-class constructors in VM and interpreter via...
authorLogan Weber <36520469+weberlo@users.noreply.github.com>
Fri, 15 Nov 2019 22:12:52 +0000 (14:12 -0800)
committerHaichen Shen <shenhaichen@gmail.com>
Fri, 15 Nov 2019 22:12:52 +0000 (14:12 -0800)
commit2c5c4da697753ca79ea1551cc91c3072cecbbbb1
treeeba6d694b6a024e5a2ef6d7aa2711eaebc08b76c
parent3f6b3db853387ed54e9b05151e7d1babf34820da
[Relay][VM][Interpreter] Enable first-class constructors in VM and interpreter via eta expansion (#4218)

* Fix constructor pretty printing

* Make Module::HasDef name consistent with API

* Add VM constructor compilation via eta expansion

* Lint

* Fix CI

* Fix failing test

* Address comment

* Retrigger CI

* Retrigger CI
14 files changed:
include/tvm/relay/module.h
include/tvm/relay/transform.h
python/tvm/relay/std/prelude.rly
python/tvm/relay/transform.py
src/relay/backend/interpreter.cc
src/relay/backend/vm/compiler.cc
src/relay/backend/vm/lambda_lift.cc
src/relay/ir/alpha_equal.cc
src/relay/ir/module.cc
src/relay/ir/pretty_printer.cc
src/relay/pass/eta_expand.cc
src/relay/pass/type_infer.cc
tests/python/relay/test_ir_text_printer.py
tests/python/relay/test_pass_eta_expand.py