From 284cf2fed1ba6f6a4d4ea72618a44e7a2dc9f97c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 30 Jan 2011 21:31:36 +0000 Subject: Note about declare-function --- etc/development-tips.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'etc/development-tips.txt') 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] -- cgit v1.2.3