diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 18:28:00 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 18:28:00 -0400 |
| commit | 70f9cc11ff70ef9bdab5756ce10d15c9ae3f71a8 (patch) | |
| tree | b1768f16854c274637273c61f269a015cb7c660f /doc | |
| parent | a11a667fbe17c116f99306c10b216643c0ad468e (diff) | |
note
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/type_level_OS_requirements.mdwn | 8 |
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]] |