summaryrefslogtreecommitdiff
path: root/libguile/__scm.h
diff options
context:
space:
mode:
Diffstat (limited to 'libguile/__scm.h')
-rw-r--r--libguile/__scm.h12
1 files changed, 11 insertions, 1 deletions
diff --git a/libguile/__scm.h b/libguile/__scm.h
index cb10c5142..da510f385 100644
--- a/libguile/__scm.h
+++ b/libguile/__scm.h
@@ -147,7 +147,8 @@
*
* Note: Some SCM_DEBUG_XXX options are not settable at configure time.
* To change the value of such options you will have to edit this header
- * file or give -DSCM_DEBUG_XXX options to make.
+ * file or give suitable options to make, like:
+ * make all CFLAGS="-DSCM_DEBUG_XXX=1 ..."
*/
@@ -158,6 +159,15 @@
#define SCM_DEBUG_DEPRECATED 0
#endif
+/* Use this for _compile time_ type checking only, since the compiled result
+ * will be quite inefficient. The right way to make use of this option is to
+ * do a 'make clean; make CFLAGS=-DSCM_DEBUG_TYPING_STRICTNESS=1', fix your
+ * errors, and then do 'make clean; make'.
+*/
+#ifndef SCM_DEBUG_TYPING_STRICTNESS
+#define SCM_DEBUG_TYPING_STRICTNESS 0
+#endif
+
#ifdef HAVE_LONG_LONGS