Content delivery for libatscc2js_all.js

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

It would be great if this file can be stored in places like


If you have uploaded code to these sites or are willing to find out how to
do it, you could
probably help us upload libatscc2js_all.js.

For the moment, One can use the following gist file for downloading
liatscc2js_all.js:

https://gist.githubusercontent.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

Cheers!

Related to this, but for other languages:

Although it is probably a minor issue at the moment, it might be good
to package libats for Perl and Python at CPAN and whatever is popular
with Python (pip?). I can try to partly automate this procedure.On Mon, May 11, 2015 at 10:50 PM, gmhwxi gmh...@gmail.com wrote:

Please use rawgit instead:

https://rawgit.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

See https://rawgit.com/ for explanation.

On Saturday, May 9, 2015 at 5:34:09 PM UTC-4, gmhwxi wrote:

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

It would be great if this file can be stored in places like

http://www.jsdelivr.com
https://cdnjs.cloudflare.com

If you have uploaded code to these sites or are willing to find out how to
do it, you could
probably help us upload libatscc2js_all.js.

For the moment, One can use the following gist file for downloading
liatscc2js_all.js:

https://gist.githubusercontent.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

Cheers!


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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/0388a25d-089f-4735-833f-dc23b1c0ee1d%40googlegroups.com.

Brandon Barker
brandon...@gmail.com

Related to this, but for other languages:

Although it is probably a minor issue at the moment, it might be good
to package libats for Perl and Python at CPAN and whatever is popular
with Python (pip?). I can try to partly automate this procedure.

There is a file contrib/libatscc/libatscc2js/Makefile. May be its
all_in_one make-target may be used as a template for other targets.
That’s the one which generates libatscc2js_all.js.

Please use rawgit instead:

https://rawgit.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

See https://rawgit.com/ for explanation.On Saturday, May 9, 2015 at 5:34:09 PM UTC-4, gmhwxi wrote:

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

It would be great if this file can be stored in places like

http://www.jsdelivr.com
https://cdnjs.cloudflare.com

If you have uploaded code to these sites or are willing to find out how to
do it, you could
probably help us upload libatscc2js_all.js.

For the moment, One can use the following gist file for downloading
liatscc2js_all.js:

https://gist.githubusercontent.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

Cheers!

Yes. Maybe you could initiate this process.

Right now, atscc2pl and atscc2py are largely unused.On Mon, May 18, 2015 at 3:13 PM, Brandon Barker brandon...@gmail.com wrote:

Related to this, but for other languages:

Although it is probably a minor issue at the moment, it might be good
to package libats for Perl and Python at CPAN and whatever is popular
with Python (pip?). I can try to partly automate this procedure.

On Mon, May 11, 2015 at 10:50 PM, gmhwxi gmh...@gmail.com wrote:

Please use rawgit instead:

https://rawgit.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

See https://rawgit.com/ for explanation.

On Saturday, May 9, 2015 at 5:34:09 PM UTC-4, gmhwxi wrote:

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

It would be great if this file can be stored in places like

http://www.jsdelivr.com
https://cdnjs.cloudflare.com

If you have uploaded code to these sites or are willing to find out how
to
do it, you could
probably help us upload libatscc2js_all.js.

For the moment, One can use the following gist file for downloading
liatscc2js_all.js:

https://gist.githubusercontent.com/githwxi/c754d1fbea087ffb9e93/raw/libatscc2js_all.js

Cheers!


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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit

https://groups.google.com/d/msgid/ats-lang-users/0388a25d-089f-4735-833f-dc23b1c0ee1d%40googlegroups.com
.


Brandon Barker
brandon...@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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CAORbNRooKHFu5WV%3DpuUtjssZjFbPW5Z6ChW7605sENAp7_QMHg%40mail.gmail.com
.

By the way, I use the following link for now:

https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_all.jsOn Tuesday, November 24, 2015 at 3:33:01 PM UTC-5, gmhwxi wrote:

Fixed. Thanks!

On Tue, Nov 24, 2015 at 3:28 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le samedi 9 mai 2015 23:34:09 UTC+2, gmhwxi a écrit :

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

[…]

This thread is missing the JavaScript tag :-p


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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3e703365-20ec-4345-9f51-b1a8332d73a3%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/3e703365-20ec-4345-9f51-b1a8332d73a3%40googlegroups.com?utm_medium=email&utm_source=footer
.

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

[…]

This thread is missing the JavaScript tag :-p

Fixed. Thanks!On Tue, Nov 24, 2015 at 3:28 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le samedi 9 mai 2015 23:34:09 UTC+2, gmhwxi a écrit :

This is the library one needs to run JS code generated from ATS source:

http://ats-lang.sourceforge.net/LIBRARY/contrib/libatscc/libatscc2js/libatscc2js_all.js

[…]

This thread is missing the JavaScript tag :-p


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-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/3e703365-20ec-4345-9f51-b1a8332d73a3%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/3e703365-20ec-4345-9f51-b1a8332d73a3%40googlegroups.com?utm_medium=email&utm_source=footer
.