Changes between Version 9 and Version 10 of Commentary/CodingStyle

Show
Ignore:
Timestamp:
05/30/07 13:33:52 (6 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/CodingStyle

    v9 v10  
    5959===  The OPTIONS pragma === 
    6060 
    61 An {{{{-# OPTIONS ... #-}}}} pragma is optional, but if present it should go right at the top of the file. Things you might want to put in OPTIONS include:  
     61An {{{{-# OPTIONS_GHC ... #-}}}} pragma is optional, but if present it should go right at the top of the file. Things you might want to put in OPTIONS include:  
    6262 
    6363 * {{{#include}}} options to bring into scope prototypes for FFI declarations  
    64  * {{{-fvia-C}}} if you know that this module won't compile with the native code generator.  
     64 * {{{-fvia-C}}} if you know that this module won't compile with the native code generator.  (deprecated: 
     65   everything should compile with the NCG nowadays, but that wasn't always the case). 
    6566 
    6667Don't bother putting -cpp or -fglasgow-exts in the OPTIONS pragma; these are already added to the command line by the build system.