diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 23:34:33 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 23:34:33 -0400 |
| commit | bcc3c4daa3239538fb64a3895b35f337af149f84 (patch) | |
| tree | 047be0bf7238f4f58ec5b3a866962ddc61bc966a | |
| parent | 70f9cc11ff70ef9bdab5756ce10d15c9ae3f71a8 (diff) | |
update
| -rw-r--r-- | doc/todo/type_level_OS_requirements.mdwn | 6 |
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]] |