Le mar. 30 mars 2021 à 09:59, Peter Broadbery <[email protected]> a écrit :
> Hi Greg, > > First, which version of the plugin are you using? I created a new > release over the weekend, but it's not quite fully tested. I used this one, the one you gave in your precedent mail: https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/preview-3 I just looked at the fricas file in the target bin directory and it's there, it's the shell file so of course it's not usable as it on Windows. > > The code that checks for a valid fricas directory expects to find a > file called 'bin/fricas', and so it's unlikely to work in windows > where the script would be 'fricas.bat'. It's a small code change, so > will test on a windows box prior to the next release. As a workaround, > it might be enough to create an empty file then remove it once the > setup stage is done. > > Code within ')if' and ')endif' is recognised as such, but shows up as > normal text, rather than comments. Thanks for letting me know as it > can be fixed. > > I'll also have a look at the issue on floating point numbers. It's > probably that I didn't get round to implementing them and the current > approach looks kind of ok, if wrong. > > > On Tue, 30 Mar 2021 at 05:03, Grégory Vanuxem <[email protected]> wrote: > > > > Le mar. 30 mars 2021 à 03:45, Grégory Vanuxem <[email protected]> a > écrit : > > > > > > Hi, > > > > > > I'm trying your plugin and it looks promising, thanks. > > > Unfortunately I still can't get it to work on Windows to have full > > > functionalities. > > > I presume a path problem to FriCAS 'target' directory, I have to > > > investigate the problem. > > > I'll tell you necessary tricks if I find how it's possible to get it > > > to work. Maybe you know how? > > > > I forgot, the error message is "The selected directory is not a valid > > home for FriCAS SDK". > > > > C:\FriCAS\lib\fricas\target\x86_64-w64-mingw32 > > > > With in it: > > Mode LastWriteTime Length Name > > ---- ------------- ------ ---- > > d----- 16/03/2021 17:54 algebra > > d----- 16/03/2021 17:54 autoload > > d----- 16/03/2021 17:54 bin > > d----- 16/03/2021 17:54 lib > > d----- 16/03/2021 17:54 share > > d----- 16/03/2021 17:54 src > > > > Greg > > > > > Nevertheless, I use a lot VSCode because it's possible to easily > > > switch between Windows and Linux (WSL) OSes, it's just one click with > > > VSCode > > > only installed on Windows. So it helps to code on Windows or on Linux > > > with all their development tools, shells etc. And since I ported the > > > Atom > > > spad syntax code* from Bill Page to VSCode I looked at your source and > > > code. Astonishing! But I noticed that maybe you can add the ')if false > > > **** )endif' comments, see for example texmacs.spad. And last thing, > > > I'm just trying your plugin for now, more important, apparently you > > > forgot floating point numbers (with or without 'e'). 1.2 is treated as > > > two integers separated by a dot, so colors are different. > > > > > > That's all :) > > > > > > Greg > > > > > > * Bill you forgot to change *.*.python to *.*.spad for several "name"s > > > in your .cson syntax file ;). See quoted strings part. > > > > > > > > > > > > > > > Le sam. 3 mars 2018 à 11:28, Peter Broadbery <[email protected]> > a écrit : > > > > > > > > > > > > Hi, > > > > > > > > I've just uploaded a preliminary intellij plugin for Fricas and > Aldor code. > > > > This version supports: > > > > - Syntax highlighting > > > > - Type browser (SPAD code only) > > > > - Documentation for types and operations > > > > - Running .input files > > > > > > > > It's good enough for me to use on aldor code, and looks good for > Spad. > > > > > > > > Release is here: > https://github.com/pbroadbery/aldor-idea-plugin/releases/tag/preview-3 > > > > There are some "getting started" notes on the wiki pages.. > > > > https://github.com/pbroadbery/aldor-idea-plugin/wiki . There's > some parts that might need a fuller explanation (especially if you're new > to intellij), so feedback appreciated. > > > > > > > > For this to work, I've also modified the Aldor compiler so that it > can export domains as java classes (and vice-versa). The plugin uses a > very rough Aldor implementation of the Spad and Aldor type systems in > https://github.com/pbroadbery/fricas-aldor-types. > > > > > > > > If anyone is interested in improving either the plugin (java) or the > type inference bit (aldor), or the aldor/java interface (mostly C), please > let me know. There's a lot of additional functionality that could be added. > > > > > > > > Equally, suggestions for improvements welcome. > > > > > > > > Peter > > > > > > > > -- > > > > You received this message because you are subscribed to the Google > Groups "FriCAS - computer algebra system" group. > > > > To unsubscribe from this group and stop receiving emails from it, > send an email to [email protected]. > > > > To post to this group, send email to [email protected]. > > > > Visit this group at https://groups.google.com/group/fricas-devel. > > > > For more options, visit https://groups.google.com/d/optout. > > > > > > > > > > > > -- > > > __ > > > G. Vanuxem > > > > > > > > -- > > __ > > G. Vanuxem > > > > -- > > You received this message because you are subscribed to the Google > Groups "FriCAS - computer algebra system" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/CAHnU2da3R_Y7B%2BoQtOEXvvjqSEezKpPMQvf4saYo9WPX5-hidw%40mail.gmail.com > . > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/CAK%3DmBN8DfD7KVT4Dv0Rd%2BmbDJyn6P%3D%3DjPh5TGQXZrFGa7G8i9w%40mail.gmail.com > . > -- __ G. Vanuxem -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dZu3bjf0YfqNYjTO7qGXH1dJhVpT_aLeax0qH%3DjTWowxg%40mail.gmail.com.
