# Patsopt services

**URL:** <https://discourse.ats-lang.org/t/patsopt-services/650>\
**Category:** Google Group\
**Created:** [August 2, 2016, 11:34pm UTC](https://discourse.ats-lang.org/t/patsopt-services/650 "2016-08-02T23:34:16Z")\
**Posts on this page:** 5\
**Page:** 1

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 2, 2016, 11:34pm UTC](https://discourse.ats-lang.org/t/patsopt-services/650/1 "2016-08-02T23:34:16Z")

</div>

I am preparing some assignments for a programming  
language course based on ATS. Here is a web-based sample:

[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html)

In this sample, one can clearly see how the following services  
can be invoked in HTML5:

patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.

From this point on, one should be able to create a template for  
generating a page like assign01.html.

Cheers!

---

<div class="post-metadata">

**Author:** ![Zhiqiang\_Ren](https://avatars.discourse-cdn.com/v4/letter/z/9fc29f/32.png) [@Zhiqiang\_Ren](https://discourse.ats-lang.org/u/Zhiqiang_Ren)\
**Post date:** [August 8, 2016, 8:46pm UTC](https://discourse.ats-lang.org/t/patsopt-services/650/2 "2016-08-08T20:46:47Z")

</div>

I clicked the patsopt\_tc button, no output is generated. Is the server on?On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote:

> I am preparing some assignments for a programming  
> language course based on ATS. Here is a web-based sample:
> 
> [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html)
> 
> In this sample, one can clearly see how the following services  
> can be invoked in HTML5:
> 
> patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.
> 
> From this point on, one should be able to create a template for  
> generating a page like assign01.html.
> 
> Cheers!

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 10, 2016, 1:40am UTC](https://discourse.ats-lang.org/t/patsopt-services/650/3 "2016-08-10T01:40:16Z")

</div>

After a bit of reorganization:

[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01/assign01.html)

[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02\_dats.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02_dats.html)  
[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02\_sol\_dats.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02/assign02_sol_dats.html)

[http://ats-lang.github.io/EXAMPLE/BUCASCS320/midterm-1/midterm-1\_dats.htmlOn](http://ats-lang.github.io/EXAMPLE/BUCASCS320/midterm-1/midterm-1_dats.htmlOn) Monday, August 8, 2016 at 5:41:12 PM UTC-4, gmhwxi wrote:

> For the record, here are two more samples:
> 
> [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02\_dats.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_dats.html)  
> [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02\_sol\_dats.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_sol_dats.html)
> 
> On Monday, August 8, 2016 at 5:39:25 PM UTC-4, gmhwxi wrote:
> 
> > I was in the middle of changing something.
> > 
> > It should work now.
> > 
> > On Monday, August 8, 2016 at 4:46:48 PM UTC-4, Zhiqiang Ren wrote:
> > 
> > > I clicked the patsopt\_tc button, no output is generated. Is the server  
> > > on?
> > > 
> > > On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote:
> > > 
> > > > I am preparing some assignments for a programming  
> > > > language course based on ATS. Here is a web-based sample:
> > > > 
> > > > [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html)
> > > > 
> > > > In this sample, one can clearly see how the following services  
> > > > can be invoked in HTML5:
> > > > 
> > > > patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.
> > > > 
> > > > From this point on, one should be able to create a template for  
> > > > generating a page like assign01.html.
> > > > 
> > > > Cheers!

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 8, 2016, 9:39pm UTC](https://discourse.ats-lang.org/t/patsopt-services/650/4 "2016-08-08T21:39:24Z")

</div>

I was in the middle of changing something.

It should work now.On Monday, August 8, 2016 at 4:46:48 PM UTC-4, Zhiqiang Ren wrote:

> I clicked the patsopt\_tc button, no output is generated. Is the server on?
> 
> On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote:
> 
> > I am preparing some assignments for a programming  
> > language course based on ATS. Here is a web-based sample:
> > 
> > [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html)
> > 
> > In this sample, one can clearly see how the following services  
> > can be invoked in HTML5:
> > 
> > patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.
> > 
> > From this point on, one should be able to create a template for  
> > generating a page like assign01.html.
> > 
> > Cheers!

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [August 8, 2016, 9:41pm UTC](https://discourse.ats-lang.org/t/patsopt-services/650/5 "2016-08-08T21:41:12Z")

</div>

For the record, here are two more samples:

[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02\_dats.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_dats.html)  
[http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02\_sol\_dats.htmlOn](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign02_sol_dats.htmlOn) Monday, August 8, 2016 at 5:39:25 PM UTC-4, gmhwxi wrote:

> I was in the middle of changing something.
> 
> It should work now.
> 
> On Monday, August 8, 2016 at 4:46:48 PM UTC-4, Zhiqiang Ren wrote:
> 
> > I clicked the patsopt\_tc button, no output is generated. Is the server on?
> > 
> > On Tuesday, August 2, 2016 at 7:34:17 PM UTC-4, gmhwxi wrote:
> > 
> > > I am preparing some assignments for a programming  
> > > language course based on ATS. Here is a web-based sample:
> > > 
> > > [http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html](http://ats-lang.github.io/EXAMPLE/BUCASCS320/assign01.html)
> > > 
> > > In this sample, one can clearly see how the following services  
> > > can be invoked in HTML5:
> > > 
> > > patsopt-tc, patsopt-cc, patsopt-cc2js and pats2xhtml.
> > > 
> > > From this point on, one should be able to create a template for  
> > > generating a page like assign01.html.
> > > 
> > > Cheers!