Opened 16 years ago
Closed 15 years ago
#257 closed defect (invalid)
Byte Compilation fails because of comments in the completion file
| Reported by: | ksk | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
I have a problem in a byte compilation of 'Proof General 3.7.1' with emacs-22.1.50 on Mac OS X 10.5.5.
'make compile' failed with an error:
In toplevel form: generic/pg-user.el:24:13:Error: Invalid read syntax: "#" make[2]: * [generic/pg-user.elc] Error 1 make[1]: * [.byte-compile] Error 2 make: * [compile] Error 2
when my completion file (~/.completion) has commented-out lines starting with "#". The compilation was successfully completed after removing the comments in the file.
Change History (3)
comment:1 follow-up: 2 Changed 15 years ago by
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
comment:2 Changed 15 years ago by
| Resolution: | invalid |
|---|---|
| Status: | closed → reopened |
Replying to da:
Your syntax is wrong, comments in elisp start with ; (semi-colon)
I understand the problem. My completion file (~/.completions) is used by a csh source file. That is why comments start with '#'.
Please remember that the file "~/.completions" is not always used for Emacs.
comment:3 Changed 15 years ago by
| Resolution: | → invalid |
|---|---|
| Status: | reopened → closed |
I really don't think this is a bug in Proof General.
You can adjust the filename Emacs uses for this purpose if it clashes with another program. Customize/set the variable save-completions-file-name
http://www.delorie.com/gnu/docs/elisp-manual-21/elisp_400.html
Please ask on Emacs mailing lists if you need more help.
Your syntax is wrong, comments in elisp start with ; (semi-colon)