Package: proofgeneral
Version: 4.2~pre120411-2
Severity: wishlist
File: /usr/lib/emacsen-common/packages/install/proofgeneral
It'd be good if byte compiler warnings were not setup to be fatal when
installing, ie. don't set byte-compile-error-on-warn.
It's very rare a byte compiler warning is anything which renders the
whole package unusable. Almost always it's just a bit of slackness
about variable declarations or whatnot which will run perfectly well.
I think warnings can be left to the code author to review, no need to
stop package installation.
I struck this because I made and use a "bytecomp-simplify.el" which adds
extra byte compiler warnings, which came up in some proofgeneral bits.
Eg.
../coq/coq.el:2441:23:Warning: `(char-after (point))' can be simplified to
`(char-after)'
Of course that also raises the matter whether a byte compile should be
done with "emacs -q -no-site-file" to keep out packaged add-ons like
mine. -no-site-file has the benefit of not depending on what any other
package might set-up, but on the other hand lisp depending on other lisp
might want those setups ...
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (990, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.32-5-486
Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral depends on:
ii emacs23 23.4+1-3
ii mmm-mode 0.4.8-6
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
ii proofgeneral-doc 4.2~pre120206-1
-- no debconf information
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
