Hi Mark,

I'm sorry, I wasn't really seeing e-mails from this list. If you made any 
progress, I'd love to hear about it.

On Thursday, May 4, 2017 at 2:53:17 PM UTC-4, Mark Lemay wrote:
>
> Hi Brandon, 
>
> I'm hoping to extend your intellijAts plugin before we run a class on ATS 
> in a few weeks.  I'd be interested in any thoughts you have.
>
>
> On Thursday, January 8, 2015 at 10:25:59 PM UTC-5, Brandon Barker wrote:
>>
>> Well, I suppose this is cheating *slightly*, but you can do it (in Linux 
>> and probably OS X) if you use a gradle file as per your example. This one 
>> seems to work: 
>> https://github.com/bbarker/BIBCalc
>>
>> I will have to look to see how the Cpptools plugin works with make files.
>>
>> On Thu, Jan 8, 2015 at 9:59 PM, gmhwxi <gmh...@gmail.com> wrote:
>>
>>>
>>> Thanks. I could now use it.
>>>
>>> Now I am waiting for the support of compiling ATS files under IntelliJ :)
>>>
>>> On Thursday, January 8, 2015 at 9:36:39 PM UTC-5, Brandon Barker wrote:
>>>>
>>>> I suppose it is the path of least resistance. I went ahead and did a 
>>>> new release to correct the typo as well.
>>>>
>>>> On Thu, Jan 8, 2015 at 9:21 PM, Hongwei Xi <gmh...@gmail.com> wrote:
>>>>
>>>>> Well, I can use Idea under Java 7. I guess it is your plugin that 
>>>>> needs Java 8.
>>>>> May be you could re-compile using Java 7. Many of us have not marched 
>>>>> to  Java 8 yet :)
>>>>>
>>>>> On Thu, Jan 8, 2015 at 9:18 PM, Brandon Barker <brandon...@gmail.com> 
>>>>> wrote:
>>>>>
>>>>>> This will do the trick:
>>>>>>
>>>>>> brandon@brandon-OEM ~/Downloads $ export 
>>>>>> JAVA_HOME=/usr/lib/jvm/jdk1.8.0_25
>>>>>> brandon@brandon-OEM ~/Downloads $ cd ~/idea-bin/bin/
>>>>>> brandon@brandon-OEM ~/idea-bin/bin $ ./idea.sh 
>>>>>>
>>>>>> I made a note on the release page.
>>>>>>
>>>>>>
>>>>>>
>>>>>> On Thu, Jan 8, 2015 at 9:09 PM, Brandon Barker <brandon...@gmail.com> 
>>>>>> wrote:
>>>>>>
>>>>>>> I think the problem is that you need Java 8. Will confirm shortly.
>>>>>>>
>>>>>>> On Thu, Jan 8, 2015 at 9:06 PM, Brandon Barker <brandon...@gmail.com
>>>>>>> > wrote:
>>>>>>>
>>>>>>>> Thanks for spotting these. As to the latter, I just tried it on 
>>>>>>>> linux, with the same exact version as on windows, and it also is not 
>>>>>>>> working for me. Will continue to investigate.
>>>>>>>>
>>>>>>>> On Thu, Jan 8, 2015 at 8:21 PM, gmhwxi <gmh...@gmail.com> wrote:
>>>>>>>>
>>>>>>>>> I took a quick look.
>>>>>>>>>
>>>>>>>>> ATS: Applied Type System (instead of Applied Template System)
>>>>>>>>>
>>>>>>>>> Please indicate the major/minor version numbers for the released 
>>>>>>>>> .jar file.
>>>>>>>>> I installed the latest Community version (ideaC) and the release 
>>>>>>>>> jar file could not work
>>>>>>>>> with it.
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> On Thursday, January 8, 2015 at 3:51:57 PM UTC-5, Brandon Barker 
>>>>>>>>> wrote:
>>>>>>>>>>
>>>>>>>>>> Thanks! I really look forward to adding more features to it in 
>>>>>>>>>> the future (and others adding new features). Other than maybe 
>>>>>>>>>> improving 
>>>>>>>>>> which tokens go to which groups (probably more groups would be 
>>>>>>>>>> useful, the 
>>>>>>>>>> next couple of things I'd like to add are C/C++ plugin integration 
>>>>>>>>>> and 
>>>>>>>>>> using patsopt to highlight errors, since those are both relatively 
>>>>>>>>>> low 
>>>>>>>>>> hanging fruit (hopefully). Perhaps unsurprisingly, there is no 
>>>>>>>>>> plugin for 
>>>>>>>>>> Perl in IntelliJ, so we have at least beat Perl to the punch ;).
>>>>>>>>>>
>>>>>>>>>> On Wednesday, January 7, 2015 at 10:25:03 PM UTC-5, Artyom 
>>>>>>>>>> Shalkhakov wrote:
>>>>>>>>>>>
>>>>>>>>>>> Hello Brandon,
>>>>>>>>>>>
>>>>>>>>>>> On Wednesday, January 7, 2015 9:15:49 AM UTC+6, Brandon Barker 
>>>>>>>>>>> wrote:
>>>>>>>>>>>>
>>>>>>>>>>>> I've put up a release of an IntelliJ plugin here:
>>>>>>>>>>>> https://github.com/bbarker/IntelliJATS 
>>>>>>>>>>>> <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Fbbarker%2FIntelliJATS&sa=D&sntz=1&usg=AFQjCNH9T89zm-3se8DKC4fmps_-ayeupw>
>>>>>>>>>>>>
>>>>>>>>>>>> Click on 'release' to download the plugin jar file for 
>>>>>>>>>>>> immediate use.
>>>>>>>>>>>>
>>>>>>>>>>>> It includes a lexer and syntax highlighting. It is really just 
>>>>>>>>>>>> the beginning of what is possible with IntelliJ; even the 
>>>>>>>>>>>> highlighting and 
>>>>>>>>>>>> ATS file icons can probably be improved greatly. If you are 
>>>>>>>>>>>> interested, I 
>>>>>>>>>>>> can easily point out where to look in the code for these.
>>>>>>>>>>>>
>>>>>>>>>>>> Also, I put a few issues up on the github page. More can 
>>>>>>>>>>>> probably be added - feel free to do so.
>>>>>>>>>>>>
>>>>>>>>>>>
>>>>>>>>>>> This is awesome! I'll try it over the weekend.
>>>>>>>>>>>
>>>>>>>>>> -- 
>>>>>>>>> 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/fd916676-
>>>>>>>>> 7034-4bf8-92b5-a0e302040204%40googlegroups.com 
>>>>>>>>> <https://groups.google.com/d/msgid/ats-lang-users/fd916676-7034-4bf8-92b5-a0e302040204%40googlegroups.com?utm_medium=email&utm_source=footer>
>>>>>>>>> .
>>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>> -- 
>>>>>>>> Brandon Barker
>>>>>>>> brandon...@gmail.com
>>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> -- 
>>>>>>> Brandon Barker
>>>>>>> brandon...@gmail.com
>>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> -- 
>>>>>> Brandon Barker
>>>>>> brandon...@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/CAORbNRo5a%2Biv0FTnDB1SYePziLT%
>>>>>> 3D1QTEeSUTJ9Y%3D-Ex2KehHtw%40mail.gmail.com 
>>>>>> <https://groups.google.com/d/msgid/ats-lang-users/CAORbNRo5a%2Biv0FTnDB1SYePziLT%3D1QTEeSUTJ9Y%3D-Ex2KehHtw%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>>>>> .
>>>>>>
>>>>>
>>>>> -- 
>>>>> 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/CAPPSPLq5J7uc%3DXnzGG%
>>>>> 3DuRZkVrmnR49ToruGThGx7v7uQapcjHQ%40mail.gmail.com 
>>>>> <https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLq5J7uc%3DXnzGG%3DuRZkVrmnR49ToruGThGx7v7uQapcjHQ%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>>>> .
>>>>>
>>>>
>>>>
>>>>
>>>> -- 
>>>> Brandon Barker
>>>> brandon...@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/b4700f44-2ce9-41ac-a384-5da7ea412a5d%40googlegroups.com
>>>  
>>> <https://groups.google.com/d/msgid/ats-lang-users/b4700f44-2ce9-41ac-a384-5da7ea412a5d%40googlegroups.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>>
>>
>>
>> -- 
>> Brandon Barker
>> brandon...@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-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/25432880-3683-4c0b-911e-653db385fd89%40googlegroups.com.

Reply via email to