[darcs-devel] darcs patch: replace '{-# OPTIONS' with '{-# OPTIONS_GHC'
gwern0 at gmail.com
gwern0 at gmail.com
Sat Apr 19 02:45:50 UTC 2008
Fri Apr 18 22:40:27 EDT 2008 gwern0 at gmail.com
* replace '{-# OPTIONS' with '{-# OPTIONS_GHC'
These OPTIONS pragmas use GHC-isms; best practice is to make them GHC specific if they are GHC specific.
Specifically: -fglasgow-exts is obviously GHC only. -cpp is used only by GHC AFAIK - hugs uses some hugscpp, YHC uses '--cpp' as does presumably NHC, JHC doesn't support cpp, and no idea about the others.
However, this patch omits modifying "src/Darcs/ColourPrinter.lhs", "src/Workaround.hs", and "src/win32/CtrlC.hs" because I was uncertain whether '-fno-warn-orphans', '-w', and '-ffi' are actually GHC-only.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 30304 bytes
Desc: A darcs patch for your repository!
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20080418/4f4e0e6c/attachment-0001.bin
More information about the darcs-devel
mailing list