Content delivery for libatscc2js_all.js

39 views
Skip to first unread message

gmhwxi

unread,
May 9, 2015, 5:34:09 PM5/9/15
to ats-lan...@googlegroups.com

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!

gmhwxi

unread,
May 11, 2015, 10:50:57 PM5/11/15
to ats-lan...@googlegroups.com

Brandon Barker

unread,
May 18, 2015, 3:14:02 PM5/18/15
to ats-lang-users
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.
> --
> 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

Hongwei Xi

unread,
May 18, 2015, 3:30:44 PM5/18/15
to ats-lan...@googlegroups.com
Yes. Maybe you could initiate this process.

Right now, atscc2pl and atscc2py are largely unused.


Message has been deleted

Yannick Duchêne

unread,
May 18, 2015, 3:31:46 PM5/18/15
to ats-lan...@googlegroups.com


Le lundi 18 mai 2015 21:14:02 UTC+2, Brandon Barker a écrit :
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`. 

Yannick Duchêne

unread,
Nov 24, 2015, 3:28:41 PM11/24/15
to ats-lang-users


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
 

Hongwei Xi

unread,
Nov 24, 2015, 3:33:01 PM11/24/15
to ats-lan...@googlegroups.com
Fixed. Thanks!

 

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

gmhwxi

unread,
Nov 24, 2015, 9:47:25 PM11/24/15
to ats-lang-users

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

https://ats-lang.github.io/LIBRARY/libatscc2js/libatscc2js_all.js



On 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-lang-users@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-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages