Changes between Version 9 and Version 10 of Commentary/CodingStyle


Ignore:
Timestamp:
May 30, 2007 8:33:52 PM (8 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.