[feature-request] Array Type

[cdonovick]

Add an array type to better match the magma type hierarchy.

[phanrahan]

Could we bump this in priority? This would be very useful for the design space exploration paper.

[cdonovick]

I can bang out a provisional versional. What operations should the array support? Just getitem?

[phanrahan]

getitem for sure.

We should also be able to declare an array as an argument to a peak method. And construct an array from a set of values.

Thanks!

[cdonovick]

Would a Tuple work for your purposes? It will be a bit verbose but it works now.

…

On Sat, Oct 5, 2019, 4:05 PM Pat Hanrahan ***@***.***> wrote: getitem for sure. We should also be able to declare an array as an argument to a peak method. And construct an array from a set of values. Thanks! — You are receiving this because you were assigned. Reply to this email directly, view it on GitHub <#49?email_source=notifications&email_token=ABOXO5DZLT4JGW7ICB4AV5LQNDXPNA5CNFSM4HV4L2MKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEAN2UXQ#issuecomment-538683998>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABOXO5DGH5NZAGOHFLRZYRDQNDXPNANCNFSM4HV4L2MA> .

[phanrahan]

I can make a tuple work. But an array would be a lot cleaner. The problem is I am trying to write a generator, and tuples might require macros. ;)

[cdonovick]

I don't think they should. Array[N, T] is Tuple[T for _ in range(N)].

…

On Sat, Oct 5, 2019, 4:18 PM Pat Hanrahan ***@***.***> wrote: I can make a tuple work. But an array would be a lot cleaner. The problem is I am trying to write a generator, and tuples might require macros. ;) — You are receiving this because you were assigned. Reply to this email directly, view it on GitHub <#49?email_source=notifications&email_token=ABOXO5ENK2TMPH2WJ3R46P3QNDY7ZA5CNFSM4HV4L2MKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEAN26AY#issuecomment-538685187>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABOXO5AIMXJEQYB66SV4Y2DQNDY7ZANCNFSM4HV4L2MA> .

[cdonovick]

related to phanrahan/magma#752