From bcc3c4daa3239538fb64a3895b35f337af149f84 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 8 Mar 2016 23:34:33 -0400 Subject: update --- doc/todo/type_level_OS_requirements.mdwn | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'doc/todo/type_level_OS_requirements.mdwn') 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]] -- cgit v1.2.3