Patsopt services

[gmhwxi]

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!

[Zhiqiang Ren]

I clicked the patsopt_tc button, no output is generated. Is the server on?

[gmhwxi]

I was in the middle of changing something.

It should work now.

[gmhwxi]

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

[gmhwxi]

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