I have just got started working on it. In case you'd like to see the progress:
https://github.com/githwxi/ATS-Postiats/tree/master/contrib/atscntrb-hx-getargs I set things up in a way that allows the code to work inside ATS and also work as a stand-alone package. On Wednesday, May 10, 2017 at 8:59:22 AM UTC-4, gmhwxi wrote: > > Good point! > > I have some ideas about this. I will make a package shortly. > > On Wed, May 10, 2017 at 1:00 AM, Artyom Shalkhakov <artyom...> wrote: > >> Hi all, >> >> Is there a ready-made library for handling command line parameters? >> >> So far I found the following: >> >> >> https://github.com/githwxi/ATS-Postiats/blob/master/utils/jsonlst2arr/jsonlst2arr.dats >> >> Which sets up an example of what HX thinks should be done to deal with >> command-line arguments. Would somebody like to move it into a library? >> >> -- >> 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 ats-lang-users+unsubscr...@googlegroups.com. >> To post to this group, send email to ats-lang-users@googlegroups.com. >> 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/3f70c312-504e-417c-8ee4-282cf0e22b41%40googlegroups.com >> >> <https://groups.google.com/d/msgid/ats-lang-users/3f70c312-504e-417c-8ee4-282cf0e22b41%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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/bce5317b-e0a9-4733-b959-b5b2e6357df6%40googlegroups.com.
