# An ATS mode for SublimeText and TextMate

**URL:** <https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62>\
**Category:** Google Group\
**Created:** [December 6, 2013, 4:12am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62 "2013-12-06T04:12:03Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![steinwaywhw](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/steinwaywhw/32/2_2.png) [@steinwaywhw](https://discourse.ats-lang.org/u/steinwaywhw)\
**Post date:** [December 6, 2013, 4:12am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/1 "2013-12-06T04:12:03Z")

</div>

Hello,

> **[steinwaywhw/ats-mode-sublimetext](https://github.com/steinwaywhw/ats-mode-sublimetext)**
>
> An ATS mode for Sublime Text 2/3 and TextMate. Contribute to steinwaywhw/ats-mode-sublimetext development by creating an account on GitHub.

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!

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [January 11, 2015, 6:29am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/2 "2015-01-11T06:29:25Z")

</div>

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!](https://github.com/github/linguist)

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](mailto:stein...@gmail.com) wrote:

> Hello,
> 
> [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> 
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto: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](https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com)  
> .

Brandon Barker  
[brandon...@gmail.com](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [February 1, 2015, 11:10pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/3 "2015-02-01T23:10:44Z")

</div>

Yes, that one is not so nice.On Sun, Feb 1, 2015 at 5:54 PM, gmhwxi [gmh...@gmail.com](mailto: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](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/](https://github.com/githwxi/ATS-Postiats/blob/)  
> > 6ca7f1a55e83a4966e7e4efa8dbdbc94851fd412/prelude/DATS/  
> > CODEGEN/integer.atxt
> > 
> > I assume that using the ATS highlighter would be similar.
> > 
> > On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi [gmh...@gmail.com](mailto: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](mailto: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](mailto: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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > > > > > > 
> > > > > > > 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](mailto:stei...@gmail.com) wrote:
> > > > > > > 
> > > > > > > > Hello,
> > > > > > > > 
> > > > > > > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > > > > > > 
> > > > > > > > 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](mailto:ats-lang...@googlegroups.com).  
> > > > > > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > > > > > To view this discussion on the web visit  
> > > > > > > > [https://groups.google.com/d/msgid/ats-lang-users/aa687715-10](https://groups.google.com/d/msgid/ats-lang-users/aa687715-10)  
> > > > > > > > b2-4e28-b6d8-d4c3013f0f16%[40googlegroups.com](http://40googlegroups.com).
> > > > > > > 
> > > > > > > –  
> > > > > > > Brandon Barker  
> > > > > > > [brand...@gmail.com](mailto: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](mailto:ats-lang...@googlegroups.com).  
> > > > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > > > Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> > > > > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > > > > msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40go  
> > > > > > [oglegroups.com](http://oglegroups.com)  
> > > > > > [https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brand...@gmail.com)
> > > > 
> > > > –  
> > > > Brandon Barker  
> > > > [brand...@gmail.com](mailto: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](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%  
> > > [40googlegroups.com](http://40googlegroups.com)  
> > > [https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> [https://groups.google.com/d/msgid/ats-lang-users/3a0e45e5-da4c-4a71-999b-e4a016e1ca1c%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [January 30, 2015, 9:46pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/4 "2015-01-30T21:46:45Z")

</div>

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](mailto: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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > 
> > 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](mailto:stei...@gmail.com) wrote:
> > 
> > > Hello,
> > > 
> > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > 
> > > 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](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%  
> > > [40googlegroups.com](http://40googlegroups.com).
> > 
> > –  
> > Brandon Barker  
> > [brand...@gmail.com](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> [https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [February 1, 2015, 10:54pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/5 "2015-02-01T22:54:06Z")

</div>

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](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:
> 
> [https://github.com/githwxi/ATS-Postiats/blob/6ca7f1a55e83a4966e7e4efa8dbdbc94851fd412/prelude/DATS/CODEGEN/integer.atxt](https://github.com/githwxi/ATS-Postiats/blob/6ca7f1a55e83a4966e7e4efa8dbdbc94851fd412/prelude/DATS/CODEGEN/integer.atxt)
> 
> I assume that using the ATS highlighter would be similar.
> 
> On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi \<[gmh...@gmail.com](mailto: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](mailto: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](mailto: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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > > > > > 
> > > > > > 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](mailto:stei...@gmail.com) wrote:
> > > > > > 
> > > > > > > Hello,
> > > > > > > 
> > > > > > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > > > > > 
> > > > > > > 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](mailto:ats-lang...@googlegroups.com).  
> > > > > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > > > > To view this discussion on the web visit  
> > > > > > > [https://groups.google.com/d/msgid/ats-lang-users/aa687715-10](https://groups.google.com/d/msgid/ats-lang-users/aa687715-10)  
> > > > > > > b2-4e28-b6d8-d4c3013f0f16%[40googlegroups.com](http://40googlegroups.com).
> > > > > > 
> > > > > > –  
> > > > > > Brandon Barker  
> > > > > > [brand...@gmail.com](mailto: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](mailto:ats-lang...@googlegroups.com).  
> > > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > > Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> > > > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > > > msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%  
> > > > > [40googlegroups.com](http://40googlegroups.com)  
> > > > > [https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brand...@gmail.com)
> > > 
> > > –  
> > > Brandon Barker  
> > > [brand...@gmail.com](mailto: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](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)  
> > \<javascript:\>.  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> > [https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brand...@gmail.com) \<javascript:\>

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 29, 2015, 12:43am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/6 "2015-01-29T00:43:55Z")

</div>

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](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](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > 
> > 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.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [May 17, 2015, 8:51pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/7 "2015-05-17T20:51:00Z")

</div>

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](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”.

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 30, 2015, 6:54pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/8 "2015-01-30T18:54:39Z")

</div>

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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > 
> > 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](mailto:stei...@gmail.com) wrote:
> > 
> > > Hello,
> > > 
> > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > 
> > > 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](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto: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](https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com)  
> > > .
> > 
> > –  
> > Brandon Barker  
> > [brand...@gmail.com](mailto:brand...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 17, 2015, 8:05pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/9 "2015-05-17T20:05:44Z")

</div>

> 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](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”.

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 29, 2015, 7:20pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/10 "2015-01-29T19:20:39Z")

</div>

> 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](https://github.com/Hibou57/ats2-language-support)

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 17, 2015, 5:04am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/11 "2015-05-17T05:04:00Z")

</div>

> 

> > 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](https://github.com/Hibou57/ats2-language-support)

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](https://github.com/Hibou57/ats2-language-support/blob/master/ats-messages-filter.py)

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 17, 2015, 9:24pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/12 "2015-05-17T21:24:08Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![steinwaywhw](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/steinwaywhw/32/2_2.png) [@steinwaywhw](https://discourse.ats-lang.org/u/steinwaywhw)\
**Post date:** [January 30, 2015, 6:34pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/13 "2015-01-30T18:34:40Z")

</div>

@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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> 
> 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](mailto:stei...@gmail.com) \<javascript:\>\> wrote:
> 
> > Hello,
> > 
> > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > 
> > 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](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto: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](https://groups.google.com/d/msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40googlegroups.com)  
> > .
> 
> –  
> Brandon Barker  
> [brand...@gmail.com](mailto:brand...@gmail.com) \<javascript:\>

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [February 1, 2015, 1:51am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/14 "2015-02-01T01:51:03Z")

</div>

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](mailto: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](mailto: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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > > 
> > > 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](mailto:stei...@gmail.com) wrote:
> > > 
> > > > Hello,
> > > > 
> > > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > > 
> > > > 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](mailto:ats-lang...@googlegroups.com).  
> > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > > msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%  
> > > > [40googlegroups.com](http://40googlegroups.com).
> > > 
> > > –  
> > > Brandon Barker  
> > > [brand...@gmail.com](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> > To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> > Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> > [https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brandon...@gmail.com)

Brandon Barker  
[brandon...@gmail.com](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [January 29, 2015, 9:27am UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/15 "2015-01-29T09:27:02Z")

</div>

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](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](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > 
> > > 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.

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 15, 2015, 2:28pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/16 "2015-05-15T14:28:04Z")

</div>

> 

> > 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](https://github.com/Hibou57/ats2-language-support)

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

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [January 26, 2015, 4:04pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/17 "2015-01-26T16:04:31Z")

</div>

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](mailto: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!](https://github.com/github/linguist)
> > 
> > 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](mailto:stei...@gmail.com) wrote:
> > 
> > > Hello,
> > > 
> > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > 
> > > 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](mailto:ats-lang...@googlegroups.com).  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%  
> > > [40googlegroups.com](http://40googlegroups.com).
> > 
> > –  
> > Brandon Barker  
> > [brand...@gmail.com](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> [https://groups.google.com/d/msgid/ats-lang-users/c4d11ba3-56ba-46e4-a3ed-bb880f2cd390%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![Brandon\_Barker](https://sea1.discourse-cdn.com/flex019/user_avatar/discourse.ats-lang.org/brandon_barker/32/61_2.png) [@Brandon\_Barker](https://discourse.ats-lang.org/u/Brandon_Barker)\
**Post date:** [February 1, 2015, 10:11pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/18 "2015-02-01T22:11:11Z")

</div>

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

I assume that using the ATS highlighter would be similar.On Sat, Jan 31, 2015 at 11:13 PM, gmhwxi [gmh...@gmail.com](mailto: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](mailto: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](mailto: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](https://github.com/github/linguist/pull/2057). 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!](https://github.com/github/linguist)
> > > > > 
> > > > > 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](mailto:stei...@gmail.com) wrote:
> > > > > 
> > > > > > Hello,
> > > > > > 
> > > > > > [GitHub - steinwaywhw/ats-mode-sublimetext: An ATS mode for Sublime Text 2/3 and TextMate](https://github.com/steinwaywhw/ats-mode-sublimetext)
> > > > > > 
> > > > > > 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](mailto:ats-lang...@googlegroups.com).  
> > > > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > > > > msgid/ats-lang-users/aa687715-10b2-4e28-b6d8-d4c3013f0f16%40go  
> > > > > > [oglegroups.com](http://oglegroups.com).
> > > > > 
> > > > > –  
> > > > > Brandon Barker  
> > > > > [brand...@gmail.com](mailto: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](mailto:ats-lang...@googlegroups.com).  
> > > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com).  
> > > > Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> > > > To view this discussion on the web visit [https://groups.google.com/d/](https://groups.google.com/d/)  
> > > > msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%  
> > > > [40googlegroups.com](http://40googlegroups.com)  
> > > > [https://groups.google.com/d/msgid/ats-lang-users/5ae00ba6-13a8-437e-b0bd-a25d57aabb60%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brand...@gmail.com)
> > 
> > –  
> > Brandon Barker  
> > [brand...@gmail.com](mailto: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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> [https://groups.google.com/d/msgid/ats-lang-users/b38ef83d-f500-4fea-985b-f07360a49a3e%40googlegroups.com?utm\_medium=email&utm\_source=footer](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](mailto:brandon...@gmail.com)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [January 29, 2015, 7:25pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/19 "2015-01-29T19:25:14Z")

</div>

Thanks!

Could you add an item about this in the following file  
and then issue a git-pull request:

> <https://github.com/githwxi/ATS-Postiats/blob/master/doc/PROJECT/MEDIUM/ats2langweb/thePageRBodyRight/Resources.php>

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](mailto: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](https://github.com/Hibou57/ats2-language-support)
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](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)  
> [https://groups.google.com/d/msgid/ats-lang-users/65fc7871-aa09-49c7-a732-372b6a61628c%40googlegroups.com?utm\_medium=email&utm\_source=footer](https://groups.google.com/d/msgid/ats-lang-users/65fc7871-aa09-49c7-a732-372b6a61628c%40googlegroups.com?utm_medium=email&utm_source=footer)  
> .

---

<div class="post-metadata">

**Author:** ![Yannick\_Duchene](https://avatars.discourse-cdn.com/v4/letter/y/b77776/32.png) [@Yannick\_Duchene](https://discourse.ats-lang.org/u/Yannick_Duchene)\
**Post date:** [May 17, 2015, 10:16pm UTC](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62/20 "2015-05-17T22:16:56Z")

</div>

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

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

[Next page](https://discourse.ats-lang.org/t/an-ats-mode-for-sublimetext-and-textmate/62.md?page=2)