Re: Temptory Docs Website

2019-06-14 Thread Steinway Wu
That’s awesome! 

-- 
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/1eeaf73a-4a8f-41a8-ac7e-8c71ecfe9f80%40googlegroups.com.


Re: Temptory Docs Website

2019-06-03 Thread Richard
On Monday, June 3, 2019 at 1:20:09 PM UTC-4, gmhwxi wrote:
> Thanks for the effort!
> 
> 
> I just created 'mytempacc', which is a wrap around 'tempacc'.
> It infers some flags based on the command-line. For instance,
> 
> 
> mytempacc foo.dats // generate a.out
> mytempacc -o foo foo.dats // generate foo
> mytempacc foo1.dats foo2.dats -lgc // generate a.out with gc
> mytempacc -dry ... // just generate the

Perfect. Working on adding this now

-- 
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/8d721d52-e57d-415c-bb7c-dbfc32bbbe1e%40googlegroups.com.


Re: Temptory Docs Website

2019-06-03 Thread Richard
Of course!

Currently, I am working on a way for others to contribute content. In the 
meantime, anyone is welcome to suggest edits or ideas!

-- 
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/82b55254-9b1d-4418-9edb-9db2a01a2195%40googlegroups.com.


Re: Temptory Docs Website

2019-06-03 Thread gmhwxi
Thanks for the effort!

I just created 'mytempacc', which is a wrap around 'tempacc'.
It infers some flags based on the command-line. For instance,

mytempacc foo.dats // generate a.out
mytempacc -o foo foo.dats // generate foo
mytempacc foo1.dats foo2.dats -lgc // generate a.out with gc
mytempacc -dry ... // just generate the command-line that would otherwise 
be executed (execvp).

This is good for compiling simple programs (e.g., those used in a tutorial).

On Sunday, June 2, 2019 at 10:25:31 PM UTC-4, Richard wrote:
>
> Hello all,
>
> Just a sneak peak of something I have been working on for documenting 
> ATS-Temptory.
>
> https://sparverius.github.io/tmplats-doc/
>
> - Richard
>
>

-- 
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/0b8c1a41-167d-4de6-bfc4-8f85fe8e7fc0%40googlegroups.com.


Re: Temptory Docs Website

2019-06-02 Thread Brandon Barker
Amazing, and the ditto for the new combinator API.

On Sun, Jun 2, 2019 at 10:25 PM Richard  wrote:

> Hello all,
>
> Just a sneak peak of something I have been working on for documenting
> ATS-Temptory.
>
> https://sparverius.github.io/tmplats-doc/
>
> - Richard
>
> --
> 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/6a68507a-bb2e-4e80-a560-089c3d6bf81e%40googlegroups.com
> .
>


-- 
Brandon Barker
brandon.bar...@gmail.com

-- 
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/CAORbNRoQawpaOmnjocEk4Ht1Jf2qc26AeECjSVM3_zx13PvzQg%40mail.gmail.com.


Re: Temptory Docs Website

2019-06-02 Thread Artyom Shalkhakov
Hi Richard,

Awesome, thank you so much for doing this!

What help do you need?

On Mon, Jun 3, 2019, 05:25 Richard  wrote:

> Hello all,
>
> Just a sneak peak of something I have been working on for documenting
> ATS-Temptory.
>
> https://sparverius.github.io/tmplats-doc/
>
> - Richard
>
> --
> 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/6a68507a-bb2e-4e80-a560-089c3d6bf81e%40googlegroups.com
> .
>

-- 
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/CAKO6%3DqizMM5QsrjLqD2JvGFoT5dFTCRnoam4GXbUhhk2wjkY4A%40mail.gmail.com.