Florian Schanda <[email protected]> writes: > On Friday 13 Dec 2013 16:36:04 Stephen Leake wrote: >> I hope to solve this in general by make this an Emacs package. But >> until then, the instructions are: >> >> use Emacs 24.3 (more on this below) >> >> unzip the tarball somewhere (let's say ~/emacs_stuff) >> >> In ~/.emacs, add that directory to load-path: >> >> (add-to-list 'load-path (expand-file-name >> "~/emacs_stuff/org.emacs.ada-mode.stephe-1")) >> >> Add any other customizations you like; some are suggested in >> ada-mode.texi (which can be compiled to ada-mode.info using >> build/Makefile) >> >> Restart Emacs to let those changes take effect. >> >> That's it; the Ada mode that is last added to load-path will take >> precedence over any others. > > Hm, that is basically what I have been doing. I am getting this error if I > try > to switch to ada-mode: > > byte-code: Wrong type argument: stringp, nil
Set "Enter Debugger on Error"; that will then tell you which function is dying at least. Then you can recompile that function from source, and it will show you which line is dying. > I am using the emacs-snapshot debian package, I am starting to get the > feeling > that something is not quite right in how it is installed. What does M-x version report? > I might compile emacs 24 by hand and try that. That's what I do. >> > Secondly, it would be fantastic to add support for some of the new SPARK >> > 2014 (http://spark-2014.org) aspects. In particular Global, >> > Refined_Global, Depends, Refined_Depends, Initializes, Part_Of, >> > Abstract_State and Refined_State. I can provide more details on the >> > syntax for all of these, but >> > >> > the RM is probably the best source: >> > http://docs.adacore.com/spark2014-docs/html/lrm >> >> This should be handled by general support for Ada 2012 aspects, which is >> lacking in Ada Mode 5.0. You are the first to actually request it :). >> >> I'd like to wait to implement this until I get Ada mode 5.0 released as >> a package in ELPA. I have to focus on that, or it will never happen :). > > Seems reasonable. > >> In the meantime, specific examples are useful as test cases. In >> particular, I'm curious as to how you prefer to indent them. So please >> post some here; I'll add them to the tests, with "FIXME: failing - >> aspects" comments. > > I will post some as soon as I get the latest version of the mode to work, as > I > suspect a number of things will already be fixed. (With the version I got to > work, any indentation after a "with" is broken.) The code in mtn is significantly better than the latest on the website; I haven't been updating the website much. Real Soon Now I hope to do that ... -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
