>>I wonder why `#include "share/atspre_staload.hats"` of the basics which are always loaded by default, because "share/atspre_staload.hats" seems often required.
If you use ATS to generate, say, JavaScript, then you need a different header. On Tue, Aug 7, 2018 at 4:00 AM, 'Yannick Duchêne' via ats-lang-users < [email protected]> wrote: > > > Le mardi 7 août 2018 03:37:55 UTC+2, Julian Fondren a écrit : >> >> Incidentally, this works: >> >> #include "share/atspre_staload.hats" >> >> typedef row = @(int, int, int) >> val row1: row = (1, 2, 3) >> val row2: row = (4, 5, 6) >> var a = @[row](row1, row2) >> val a12 = a[1].2 >> >> implement main0() = println!(a12) >> >> >> > So with tuples. Indeed, I know it works, but I was trying some samples to > document expressions of the form `[…] ` and wanted to try second level > indexing of arrays. > > By the way, I wonder why `#include "share/atspre_staload.hats"` of the > basics which are always loaded by default, because > "share/atspre_staload.hats" seems often required. > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/ats-lang-users. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/ats-lang-users/e3fb18b9-b344-4be2-8b53-10dc1ea2edf0% > 40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/e3fb18b9-b344-4be2-8b53-10dc1ea2edf0%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLo_rPo1pGPyLG_72yb%2BRM9YmHed0%3DxFp1atoP9h2kFekA%40mail.gmail.com.
