Hello,
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.
And you are welcome to modify or contribute to it.
Thank you!
It might be fun to have some version of this put in a place (not sure which
place yet, but presumably upstream somewhere) where github’s linguist will
be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Then, we can have proper source highlighting for ATS on github.On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stein...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com
.
Brandon Barker
brandon...@gmail.com
Yes, that one is not so nice.On Sun, Feb 1, 2015 at 5:54 PM, gmhwxi gmh...@gmail.com wrote:
Well, this is due to the .atxt file you used containing mostly code.
For instance, syntax-highlighting does not really work for the following
one:https://github.com/githwxi/ATS-Postiats/blob/master/doc/BOOK/INT2PROGINATS/CHAP_ABSVTYPE/main.atxt
On Sunday, February 1, 2015 at 5:11:32 PM UTC-5, Brandon Barker wrote:
It seems that the ocaml highligher still does a reasonable job of
coloring atxt files:
https://github.com/githwxi/ATS-Postiats/blob/
6ca7f1a55e83a4966e7e4efa8dbdbc94851fd412/prelude/DATS/
CODEGEN/integer.atxtI assume that using the ATS highlighter would be similar.
On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi gmh...@gmail.com wrote:
Atext files are still in active use.
There is just no plan to improve the handling of Atext files.
On Saturday, January 31, 2015 at 8:51:24 PM UTC-5, Brandon Barker wrote:
re: the github thread, do we actually want to remove atxt - is it being
deprecated?On Fri, Jan 30, 2015 at 4:46 PM, Brandon Barker brand...@gmail.com wrote:
Great, looking forward to it! But yes, as Hongwei pointed out as well,
I am prepared to wait a while and possibly give it a nudge after a few days.On Fri, Jan 30, 2015 at 1:34 PM, Steinway Wu stei...@gmail.com wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please
see Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see
better highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not
sure which place yet, but presumably upstream somewhere) where github’s
linguist will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is
better than nothing. Hopefully it will make you a little bit happier if you
are using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/aa687715-10
b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com.–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@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/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40go
oglegroups.com
https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brand...@gmail.com–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@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/b38ef83d-f500-4fea-985b-f07360a49a3e%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brand...@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/3a0e45e5-da4c-4a71-999b-e4a016e1ca1c%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/3a0e45e5-da4c-4a71-999b-e4a016e1ca1c%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
Great, looking forward to it! But yes, as Hongwei pointed out as well, I am
prepared to wait a while and possibly give it a nudge after a few days.On Fri, Jan 30, 2015 at 1:34 PM, Steinway Wu stein...@gmail.com wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please see
Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see better
highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%
40googlegroups.com.–
Brandon Barker
brand...@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/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
Well, this is due to the .atxt file you used containing mostly code.
For instance, syntax-highlighting does not really work for the following
one:
https://github.com/githwxi/ATS-Postiats/blob/master/doc/BOOK/INT2PROGINATS/CHAP_ABSVTYPE/main.atxtOn Sunday, February 1, 2015 at 5:11:32 PM UTC-5, Brandon Barker wrote:
It seems that the ocaml highligher still does a reasonable job of coloring
atxt files:I assume that using the ATS highlighter would be similar.
On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:
Atext files are still in active use.
There is just no plan to improve the handling of Atext files.
On Saturday, January 31, 2015 at 8:51:24 PM UTC-5, Brandon Barker wrote:
re: the github thread, do we actually want to remove atxt - is it being
deprecated?On Fri, Jan 30, 2015 at 4:46 PM, Brandon Barker brand...@gmail.com wrote:
Great, looking forward to it! But yes, as Hongwei pointed out as well,
I am prepared to wait a while and possibly give it a nudge after a few days.On Fri, Jan 30, 2015 at 1:34 PM, Steinway Wu stei...@gmail.com wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please
see Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see
better highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is
better than nothing. Hopefully it will make you a little bit happier if you
are using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/aa687715-10
b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com.–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@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/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brand...@gmail.com–
Brandon Barker
brand...@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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
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/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brand...@gmail.com <javascript:>
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.
Do you happen to have an on-line place to put all these files? E.g., Github?
If you do, then I can mention the link on the following page:
http://www.ats-lang.org/Resources.html
Cheers!On Wednesday, January 28, 2015 at 5:00:52 PM UTC-5, Yannick Duchêne wrote:
Le vendredi 6 décembre 2013 05:12:03 UTC+1, Steinway Wu a écrit :
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. […]Better than nothing too, is the language definition file added as
attachment to this message, I’m using for GtkSourceView based editors
(Gedit and rather Medit, actually). I’m also adding the MIME type
definition and icon file to be used by people running a Freedesktop aware
environment.The language definition file is subject to change, as I’m incrementally
updating and refining it, but as this thread shown up, I’m posting it here
(it’s not perfect, but good enough).Note: I’m using a slightly modified Solarized Dark theme, and I have not
check the language definition looks good with other themes.
For now, I think focusing on showtype messages would be a good idea.
Could you make a wrapper, say, patscc-pp for patscc? I use pp to refers to
pretty-printing.
If one runs patscc-pp, then one should be able to see prettified
warning/error messages.
In this way, everyone using ATS could benefit.
Of course, patscc-pp should be modular in the sense that the way that
message prettifying
is done can be readily customized.On Sunday, May 17, 2015 at 4:05:44 PM UTC-4, Yannick Duchêne wrote:
Le dimanche 17 mai 2015 07:04:00 UTC+2, Yannick Duchêne a écrit :
I added a tiny utility to reformat messages from ATS. This may be useful
to messages pans of editors which has the capability to run external tools
(I use it with MEdit, alias MooEdit) . My apologizes for not releasing as
ATS, which may be done a future day (the Python source does not make use of
regexp, on purpose).Instructions for use and what re‑formating is applied, is explained in
the file it‑self:https://github.com/Hibou57/ats2-language-support/blob/master/ats-messages-filter.py
I’m interested in comments on additional re‑formating I would like to add.
I would like to specifically re‑format message fromshowtype, displaying
things likeS2Ecst(false_bool)asfalse, empty predicate; ;as
true, application like inS2Eapp(S2Ecst(set); S2Evar(s))as something
like(cst-set var-s)or may becst-set(var-s), writing∃instead of
S2Eexiand∀instead ofS2Euni, added indentation for nested
expressions, things like that. Note there are already some dirty and simple
re-formating apply, I’m talking about further re-formating.I have a doubt, I feel it may be nice, while in the mean time, I’m afraid
this would be too far from the real messages from ATS and JSON output, so
that it may disturb more than it would help.In your opinion: would this help or would this disturb?
Or may be a supplementary filter to be explicitly applied on showtype’s
output expressions would be better? I mean, something like “copy/paste,
then invoke a filter to reformat”.
Thanks for your effort!
Based on our past experience, we may have to nag/bug to get this in :)On Friday, January 30, 2015 at 1:34:40 PM UTC-5, Steinway Wu wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please see
Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see better
highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com
.–
Brandon Barker
brand...@gmail.com
I added a tiny utility to reformat messages from ATS. This may be useful
to messages pans of editors which has the capability to run external tools
(I use it with MEdit, alias MooEdit) . My apologizes for not releasing as
ATS, which may be done a future day (the Python source does not make use of
regexp, on purpose).Instructions for use and what re‑formating is applied, is explained in the
file it‑self:https://github.com/Hibou57/ats2-language-support/blob/master/ats-messages-filter.py
I’m interested in comments on additional re‑formating I would like to add.
I would like to specifically re‑format message from showtype, displaying
things like S2Ecst(false_bool) as false, empty predicate ; ; as
true, application like in S2Eapp(S2Ecst(set); S2Evar(s)) as something
like (cst-set var-s) or may be cst-set(var-s), writing ∃ instead of
S2Eexi and ∀ instead of S2Euni, added indentation for nested
expressions, things like that. Note there are already some dirty and simple
re-formating apply, I’m talking about further re-formating.
I have a doubt, I feel it may be nice, while in the mean time, I’m afraid
this would be too far from the real messages from ATS and JSON output, so
that it may disturb more than it would help.
In your opinion: would this help or would this disturb?
Or may be a supplementary filter to be explicitly applied on showtype’s
output expressions would be better? I mean, something like “copy/paste,
then invoke a filter to reformat”.
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.Do you happen to have an on-line place to put all these files? E.g.,
Github?
If you do, then I can mention the link on the following page:
I opted for Github: GitHub - Hibou57/ats2-gtksourceview-language-support: ATS2 language support and integration
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.Do you happen to have an on-line place to put all these files? E.g.,
Github?
If you do, then I can mention the link on the following page:I opted for Github: GitHub - Hibou57/ats2-gtksourceview-language-support: ATS2 language support and integration
I added a tiny utility to reformat messages from ATS. This may be useful to
messages pans of editors which has the capability to run external tools (I
use it with MEdit, alias MooEdit) . My apologizes for not releasing as ATS,
which may be done a future day (the Python source does not make use of
regexp, on purpose).
Instructions for use and what re‑formating is applied, is explained in the
file it‑self:
https://github.com/Hibou57/ats2-language-support/blob/master/ats-messages-filter.py
For now, I think focusing on showtype messages would be a good idea.
I entirely agree!
Could you make a wrapper, say, patscc-pp for patscc? I use pp to refers to
pretty-printing.If one runs patscc-pp, then one should be able to see prettified
warning/error messages.
In this way, everyone using ATS could benefit.
I had a wrapper in mind too, but though a pipe filter may be more easy to
use. I will look at the other thread, about patscc-pp. Otherwise, yes, a
wrapper is a good idea.
@Brandon Barker, I’ve issued pull request to github/linguist, please
see Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see better
highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu <stei...@gmail.com <javascript:>> wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com
.–
Brandon Barker
brand...@gmail.com <javascript:>
re: the github thread, do we actually want to remove atxt - is it being
deprecated?On Fri, Jan 30, 2015 at 4:46 PM, Brandon Barker brandon...@gmail.com wrote:
Great, looking forward to it! But yes, as Hongwei pointed out as well, I
am prepared to wait a while and possibly give it a nudge after a few days.On Fri, Jan 30, 2015 at 1:34 PM, Steinway Wu stein...@gmail.com wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please see
Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see better
highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%
40googlegroups.com.–
Brandon Barker
brand...@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/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brandon...@gmail.com
Brandon Barker
brandon...@gmail.com
Will think of it today, and create an archive of files with instructions
for installation.Le jeudi 29 janvier 2015 01:43:55 UTC+1, gmhwxi a écrit :
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.Do you happen to have an on-line place to put all these files? E.g.,
Github?
If you do, then I can mention the link on the following page:http://www.ats-lang.org/Resources.html
Cheers!
On Wednesday, January 28, 2015 at 5:00:52 PM UTC-5, Yannick Duchêne wrote:
Le vendredi 6 décembre 2013 05:12:03 UTC+1, Steinway Wu a écrit :
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. […]Better than nothing too, is the language definition file added as
attachment to this message, I’m using for GtkSourceView based editors
(Gedit and rather Medit, actually). I’m also adding the MIME type
definition and icon file to be used by people running a Freedesktop aware
environment.The language definition file is subject to change, as I’m incrementally
updating and refining it, but as this thread shown up, I’m posting it here
(it’s not perfect, but good enough).Note: I’m using a slightly modified Solarized Dark theme, and I have not
check the language definition looks good with other themes.
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.Do you happen to have an on-line place to put all these files? E.g.,
Github?
If you do, then I can mention the link on the following page:I opted for Github: GitHub - Hibou57/ats2-gtksourceview-language-support: ATS2 language support and integration
It’s just been updated: I had a feeling proper colorization for extern
blocks was really needed. Explanations about how to use it, is given in the
README.md file (for short, it use a language tag as a comment just before
the extern block).
If we’re thinking of the same thing, Will worked on ATS source recognition
in github, but the highlighter is set to ocaml currently (iirc).On Mon, Jan 26, 2015 at 10:52 AM, Steinway Wu stein...@gmail.com wrote:
Good idea! I think @Will Blair has done that? I’m not sure but I will take
a look. If needed I will do that.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is better
than nothing. Hopefully it will make you a little bit happier if you are
using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%
40googlegroups.com.–
Brandon Barker
brand...@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/c4d11ba3-56ba-46e4-a3ed-bb880f2cd390%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/c4d11ba3-56ba-46e4-a3ed-bb880f2cd390%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
It seems that the ocaml highligher still does a reasonable job of coloring
atxt files:
I assume that using the ATS highlighter would be similar.On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi gmh...@gmail.com wrote:
Atext files are still in active use.
There is just no plan to improve the handling of Atext files.
On Saturday, January 31, 2015 at 8:51:24 PM UTC-5, Brandon Barker wrote:
re: the github thread, do we actually want to remove atxt - is it being
deprecated?On Fri, Jan 30, 2015 at 4:46 PM, Brandon Barker brand...@gmail.com wrote:
Great, looking forward to it! But yes, as Hongwei pointed out as well, I
am prepared to wait a while and possibly give it a nudge after a few days.On Fri, Jan 30, 2015 at 1:34 PM, Steinway Wu stei...@gmail.com wrote:
@Brandon Barker, I’ve issued pull request to github/linguist, please
see Adding ATS language support by converting existing SublimeText syntax def by steinwaywhw · Pull Request #2057 · github-linguist/linguist · GitHub. Hope we can see
better highlight shortly.On Sunday, January 11, 2015 at 1:29:46 AM UTC-5, Brandon Barker wrote:
It might be fun to have some version of this put in a place (not sure
which place yet, but presumably upstream somewhere) where github’s linguist
will be able to find it: GitHub - github-linguist/linguist: Language Savant. If your repository's language is being reported incorrectly, send us a pull request!Then, we can have proper source highlighting for ATS on github.
On Thu, Dec 5, 2013 at 11:12 PM, Steinway Wu stei...@gmail.com wrote:
Hello,
GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate
This is a very ugly ats mode for sublimetext, but at least it is
better than nothing. Hopefully it will make you a little bit happier if you
are using sublimetext. Also, I believe it should work with textmate, too.And you are welcome to modify or contribute to it.
Thank you!
–
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...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40go
oglegroups.com.–
Brandon Barker
brand...@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...@googlegroups.com.
To post to this group, send email to ats-l...@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/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm_medium=email&utm_source=footer
.–
Brandon Barker
brand...@gmail.com–
Brandon Barker
brand...@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/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm_medium=email&utm_source=footer
.
Brandon Barker
brandon...@gmail.com
Thanks!
Could you add an item about this in the following file
and then issue a git-pull request:
I will mention it to the students taking my CS520 class next week. I know
some of them will be very happy because they use gedit 
Cheers!On Thu, Jan 29, 2015 at 2:20 PM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:
Le jeudi 29 janvier 2015 01:43:55 UTC+1, gmhwxi a écrit :
I tried it. It looks good.
I will recommend it to the students taking my programming language class
next week.Do you happen to have an on-line place to put all these files? E.g.,
Github?
If you do, then I can mention the link on the following page:I opted for Github: GitHub - Hibou57/ats2-gtksourceview-language-support: ATS2 language support and integration
–
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/65fc7871-aa09-49c7-a732-372b6a61628c%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/65fc7871-aa09-49c7-a732-372b6a61628c%40googlegroups.com?utm_medium=email&utm_source=footer
.
I’m interested in comments on additional re‑formating I would like to add.
I would like to specifically re‑format message fromshowtype, displaying
things likeS2Ecst(false_bool)asfalse, empty predicate; ;as
true, application like inS2Eapp(S2Ecst(set); S2Evar(s))as something
like(cst-set var-s)or may becst-set(var-s), writing∃instead of
S2Eexiand∀instead ofS2Euni, added indentation for nested
expressions, things like that. Note there are already some dirty and simple
re-formating apply, I’m talking about further re-formating.
For now, here is a sample output (not on Github, only at home):
test.dats:113:5:
error(3):
unsolved constraint:
Prop(main; @(==; 1; 0))
typechecking has failed:
there are some unsolved constraints:
please inspect the above reported error message(s) for information.
exit(ATS):
uncaught exception:
[…]_error_2esats__FatalErrorExn(1025)
test.dats:86:9:
@(cst-set; var-s):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:90:9:
∃(s; ⊤; @(cst-set; var-s)):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:91:9:
@(cst-set; var-s):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:96:9:
∀(i(4335); ⊤; cst-set):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:101:9:
∀(i; ⊤; ∃(s; ⊤; @(cst-set; var-s))):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:106:9:
∀(i; ⊤; @(cst-set; var-s)):
S2RTbas(S2RTBASimp(1; t@ype))
test.dats:111:9:
∀(i; @(cst-~; @(cst-has; var-s, var-i)); @(cst-set; var-s)):
S2RTbas(S2RTBASimp(1; t@ype))
Here is the original unfiltered output, for comparison:
/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats: 3387(line=113, offs=
5) – 3395(line=113, offs=13): error(3): unsolved constraint: C3NSTRprop(
main; S2Eeqeq(S2Eintinf(1); S2Eintinf(0)))
typechecking has failed: there are some unsolved constraints: please
inspect the above reported error message(s) for information.
exit(ATS): uncaught exception:
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_error_2esats__FatalErrorExn
(1025)
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
2820(line=86, offs=9) – 2830(line=86, offs=19)): S2Eapp(S2Ecst(set); S2Evar
(s$1078(4464))): S2RTbas(S2RTBASimp(1; t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
2893(line=90, offs=9) – 2911(line=90, offs=27)): S2Eexi(s$1081(4467); ;
S2Eapp(S2Ecst(set); S2Evar(s$1081(4467)))): S2RTbas(S2RTBASimp(1; t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
2920(line=91, offs=9) – 2930(line=91, offs=19)): S2Eapp(S2Ecst(set); S2Evar
(s$1079$1080(4466))): S2RTbas(S2RTBASimp(1; t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
3021(line=96, offs=9) – 3031(line=96, offs=19)): S2Euni(i(4335); ; S2Ecst(
set)): S2RTbas(S2RTBASimp(1; t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
3133(line=101, offs=9) – 3143(line=101, offs=19)): S2Euni(i$1084(4470); ;
S2Eexi(s$1085(4471); ; S2Eapp(S2Ecst(set); S2Evar(s$1085(4471))))): S2RTbas(
S2RTBASimp(1; t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
3245(line=106, offs=9) – 3255(line=106, offs=19)): S2Euni(i$1087$1089(4475
); ; S2Eapp(S2Ecst(set); S2Evar(s$1086$1088(4474)))): S2RTbas(S2RTBASimp(1;
t@ype))
SHOWTYPE[UP](/home/yannick/Bureau/RenderMan/html/calc-ats/test.dats:
3370(line=111, offs=9) – 3380(line=111, offs=19)): S2Euni(i$1091$1093(4479
); S2Eapp(S2Ecst(~); S2Eapp(S2Ecst(has); S2Evar(s$1090$1092(4478)), S2Evar(
i$1091$1093(4479)))); S2Eapp(S2Ecst(set); S2Evar(s$1090$1092(4478)))):
S2RTbas(S2RTBASimp(1; t@ype))