ATS1 svn URL

[Yannick Duchêne]

Hi there,

May be I missed something, I fail to clone the ATS1 repository which seems to not be at the URL indicated at some places, like in the ATS2 wiki on GitHub. This URL seems not be the good one: https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/trunk . I remember this URL used to be OK in the paste.

Running `svn co https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/trunk ATS1`, I get the error “svn: E170013: Unable to connect to a repository at URL 'https://ats-lang.svn.sourceforge.net/svnroot/ats-lang/trunk'”.

Since ATS2 is written in ATS1 and ATS2 is there for some time again (and looks good enough :-p ), ATS1 may still be needed if one want to try to fix or test something in the ATS2 complier.

Or may be I missed ATS2 is now written in ATS2? (both looks so similar …)

[Hongwei Xi]

Yes, ATS2 is written in ATS1.

Here is the repository for ATS1:

https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/

--
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.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/0e9b98a0-fad3-4c21-8b73-663e000144e4%40googlegroups.com.

[Yannick Duchêne]

Le vendredi 15 juin 2018 15:26:24 UTC+2, gmhwxi a écrit :

Yes, ATS2 is written in ATS1.

Here is the repository for ATS1:

https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/

Yes, `svn co svn://svn.code.sf.net/p/ats-lang/code/trunk ATS1` works