summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements.mdwn
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 18:28:00 -0400
committerJoey Hess2016-03-08 18:28:00 -0400
commit70f9cc11ff70ef9bdab5756ce10d15c9ae3f71a8 (patch)
treeb1768f16854c274637273c61f269a015cb7c660f /doc/todo/type_level_OS_requirements.mdwn
parenta11a667fbe17c116f99306c10b216643c0ad468e (diff)
note
Diffstat (limited to 'doc/todo/type_level_OS_requirements.mdwn')
-rw-r--r--doc/todo/type_level_OS_requirements.mdwn8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements.mdwn b/doc/todo/type_level_OS_requirements.mdwn
index 784f69fb..a73ac13b 100644
--- a/doc/todo/type_level_OS_requirements.mdwn
+++ b/doc/todo/type_level_OS_requirements.mdwn
@@ -44,4 +44,12 @@ the Propellor Result extracted from the resulting single property.
This is somewhat similar to [[type_level_port_conflict_detection]].
+----
+
+Note that propellor needs to remain buildable with Debian stable's
+ghc 7.6.3. Stuff like type level lists needs a newer ghc. So any work on
+this may need to be deferred merging into propellor mainline unless it can
+be made to build with the old ghc (even if perhaps not doing the full type
+checking of OS's there).
+
--[[Joey]]