summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-08-15 09:43:14 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-08-15 09:43:14 -0700
commit388fe3053a2ff5dbc52e8cdac62d7c7cbba059f1 (patch)
tree2810ffa99134dfbe669582948b57d53084006d04
parent0302330a27a3f6aba8063912b2877ad8ceb32c86 (diff)
Added note to CONTRIBUTING.md about ghc versions and travis.
-rw-r--r--CONTRIBUTING.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 75f412df0..b3581f376 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -132,6 +132,13 @@ Please follow these guidelines:
9. It is better not to introduce new dependencies. Dependencies on
external C libraries should especially be avoided.
+10. We aim for compatibility with ghc versions from 7.4.2 to the
+ latest release. All pull requests and commits are tested
+ automatically on travis-ci.org, using several GHC versions.
+ We currently relax the "`-Wall` clean" requirement for GHC 7.10.x,
+ because there are so many warnings relating to the addition of
+ type classes to the Prelude.
+
Tests
-----