Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

A guide to compile examples? #221

Open
piton182 opened this issue Nov 6, 2018 · 6 comments
Open

A guide to compile examples? #221

piton182 opened this issue Nov 6, 2018 · 6 comments

Comments

@piton182
Copy link

piton182 commented Nov 6, 2018

I am very interested in learning ATS via examples. But I can't seem to compile any. According to the Makefile, I am supposed to have atscc2js in ${PATSHOME}/bin and I don't have it after installing ATS. I can't find in the docs how do I get one?

@steinwaywhw
Copy link
Contributor

Hi piton182, welcome to ATS. For the time being you can try glot.io, a website that can run ATS programs in the browser. Please also search for “Effective ATS”, in google, which is a series of tutorials by Hongwei. ATS-Lang-users is the google group that you can ask any questions.

I can find more document later today and write up some examples this week, which I always wanted to do anyway.

Cheers!

@steinwaywhw
Copy link
Contributor

Also, to compile ATS to binary, you only need patscc or patsopt. The atscc2js tool is only needed if you want to compile your code to Javascript.

Usually to compile some file, you do

patscc -o a.out file.dats

@piton182
Copy link
Author

piton182 commented Nov 6, 2018

Nice, thanks! Yes, I've reached out for ATS-Lang-users and have a guy helping me out. glot.io is a great recommendation, thanks. However, I consider the examples runnable (and correct) as I am curious to see what kind of interoperability ATS has with JS. So, I want to run the examples.

@steinwaywhw
Copy link
Contributor

atscc2js is located under contrib/CATS-atscc2js. You can navigate there and make all.

@steinwaywhw
Copy link
Contributor

@piton182
Copy link
Author

piton182 commented Nov 7, 2018

Thanks! I will definitely check that out

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants