diff options
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] |