From 1fc88da19dbc66bc12de38b2956e97a8b7835806 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Sun, 2 Aug 2009 19:06:14 +0000 Subject: [PATCH 1/1] mention that INCLUDE pragmas are accepted, but ignored --- docs/users_guide/glasgow_exts.xml | 23 +++++------------------ 1 file changed, 5 insertions(+), 18 deletions(-) diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index ea31390..56735d0 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -7193,24 +7193,11 @@ Assertion failures can be caught, see the documentation for the INCLUDE pragma - The INCLUDE pragma is for specifying the names - of C header files that should be #include'd into - the C source code generated by the compiler for the current module (if - compiling via C). For example: - - -{-# INCLUDE "foo.h" #-} -{-# INCLUDE <stdio.h> #-} - - INCLUDE is a file-header pragma (see ). - - An INCLUDE pragma is the preferred alternative - to the option (), because the - INCLUDE pragma is understood by other - compilers. Yet another alternative is to add the include file to each - foreign import declaration in your code, but we - don't recommend using this approach with GHC. + The INCLUDE used to be necessary for + specifying header files to be included when using the FFI and + compiling via C. It is no longer required for GHC, but is + accepted (and ignored) for compatibility with other + compilers. -- 1.7.10.4