From 70f9cc11ff70ef9bdab5756ce10d15c9ae3f71a8 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 8 Mar 2016 18:28:00 -0400 Subject: note --- doc/todo/type_level_OS_requirements.mdwn | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'doc/todo') 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]] -- cgit v1.2.3