Patsopt services


#1

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

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!


#2

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

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!


#3

After a bit of reorganization:

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_sol_dats.html

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_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

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!


#4

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

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!


#5

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_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

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!