diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 21:31:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-30 21:31:36 +0000 |
commit | 284cf2fed1ba6f6a4d4ea72618a44e7a2dc9f97c (patch) | |
tree | 2978ea70618a0206fa867d1c68fa289cfefeeef0 /etc/development-tips.txt | |
parent | 36b52263fe98d5d72de971faaed4b834f765be8e (diff) |
Note about declare-function
Diffstat (limited to 'etc/development-tips.txt')
-rw-r--r-- | etc/development-tips.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/etc/development-tips.txt b/etc/development-tips.txt index d8b766cd..96701285 100644 --- a/etc/development-tips.txt +++ b/etc/development-tips.txt @@ -35,13 +35,16 @@ optimises some conditionals that appear constant, be wary. Finally, the compiler will warn over-eagerly (and ususally spuriously) about unknown functions. Adding extra requires can get these to go away, but watch out for introducing cycles in the require graphs. +It's better/faster to use the new (declare-function ...) mechanism, +although this is tedious if there are lot of declares needed. Rough dependency graph: proof-autoloads -> pg-vars -> proof-site -> pg-vars - + + [To Be Continued] |