summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements.mdwn
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 23:34:33 -0400
committerJoey Hess2016-03-08 23:34:33 -0400
commitbcc3c4daa3239538fb64a3895b35f337af149f84 (patch)
tree047be0bf7238f4f58ec5b3a866962ddc61bc966a /doc/todo/type_level_OS_requirements.mdwn
parent70f9cc11ff70ef9bdab5756ce10d15c9ae3f71a8 (diff)
update
Diffstat (limited to 'doc/todo/type_level_OS_requirements.mdwn')
-rw-r--r--doc/todo/type_level_OS_requirements.mdwn6
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/todo/type_level_OS_requirements.mdwn b/doc/todo/type_level_OS_requirements.mdwn
index a73ac13b..3cd6e97d 100644
--- a/doc/todo/type_level_OS_requirements.mdwn
+++ b/doc/todo/type_level_OS_requirements.mdwn
@@ -47,9 +47,7 @@ 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).
+ghc 7.6.3. I was able to get the type level OS implementation backported to
+work with that version, with some added ugliness.
--[[Joey]]