Re: [apache/incubator-tvm] [Relay][RFC] Resolve cyclic dependency in Closure (#4143)

2019-11-11 Thread Josh Pollock
> Coming from a PL perspective, this is obvious. The solution is in fact _not_ obvious even from a PL perspective. [Xavier Leroy](https://xavierleroy.org/talks/compilation-agay.pdf), famous for his work on OCaml, outlines multiple closure representations including their handling of recursive an

Re: [dmlc/tvm] [RFC][Relay] Text Format Part 2 (#3016)

2019-06-20 Thread Josh Pollock
Here is a summary of the proposed text format changes. **RefCreate**: `ref(n)` **RefWrite**: `r := v` **RefRead**: `!r` **ADTs**: ``` type myVariant = | HasNothing | HasSingleInt(int) | HasSingleTuple((int, int)) | HasMultipleInts(int, int) | HasMultipleTuples((int, int), (int, int)) ```

Re: [dmlc/tvm] [RFC][Relay] Text Format Part 2 (#3016)

2019-05-07 Thread Josh Pollock
This PR has been open for a while now. Please post your final thoughts so we can close this and begin implementing the language features. In particular, we should try to come to some resolution on attributes. @tqchen @MarisaKirisame @jroesch @wweic @vinx13 @junrushao1994 @nhynes -- You are rec

Re: [dmlc/tvm] [RFC][Relay] Text Format Part 2 (#3016)

2019-04-17 Thread Josh Pollock
@tqchen could you provide examples of the `attrs=ValueFormat` suggestion? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3016#issuecomment-484319295

Re: [dmlc/tvm] [RFC][Relay] Text Format Part 2 (#3016)

2019-04-14 Thread Josh Pollock
@wweic thanks I fixed the typo -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/3016#issuecomment-483056033

[dmlc/tvm] [RFC][Relay] Text Format Part 2 (#3016)

2019-04-12 Thread Josh Pollock
The following RFC is for more bikeshedding about syntax of the Relay text format not covered by #1782. The guiding principles for syntax choices are - **readability:** Syntax should be easy to read and parse visually. - **internal consistency:** Syntax choices should be similar to each other (e.

Re: [dmlc/tvm] [Vote] Deprecate Python2 Support (#2994)

2019-04-11 Thread Josh Pollock
+1 -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/issues/2994#issuecomment-482356904

[TVM Discuss] [Development] [Relay] Sub-functions printed in reverse order

2019-03-22 Thread Josh Pollock via TVM Discuss
See https://github.com/dmlc/tvm/pull/2881. --- [Visit Topic](https://discuss.tvm.ai/t/relay-sub-functions-printed-in-reverse-order/1984/5) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/emai

[TVM Discuss] [Development] [Relay] Sub-functions printed in reverse order

2019-03-22 Thread Josh Pollock via TVM Discuss
Could you provide a minimal working example so I can repro? --- [Visit Topic](https://discuss.tvm.ai/t/relay-sub-functions-printed-in-reverse-order/1984/4) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://di

[TVM Discuss] [Development] [Relay] Sub-functions printed in reverse order

2019-03-22 Thread Josh Pollock via TVM Discuss
Thanks for bringing this up @vinx13. I'll look into it today. --- [Visit Topic](https://discuss.tvm.ai/t/relay-sub-functions-printed-in-reverse-order/1984/3) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://