summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements.mdwn
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 18:00:00 -0400
committerJoey Hess2016-03-08 18:00:00 -0400
commitf7b095b855d4be32fb2591fa9c06292d300081eb (patch)
tree77b22060eb8331748145057d5d520dd3aa3c3f53 /doc/todo/type_level_OS_requirements.mdwn
parentee0e6f1969b242e714fae55c750ff2a6897e10e3 (diff)
update
Diffstat (limited to 'doc/todo/type_level_OS_requirements.mdwn')
-rw-r--r--doc/todo/type_level_OS_requirements.mdwn7
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/todo/type_level_OS_requirements.mdwn b/doc/todo/type_level_OS_requirements.mdwn
index 65e6099f..784f69fb 100644
--- a/doc/todo/type_level_OS_requirements.mdwn
+++ b/doc/todo/type_level_OS_requirements.mdwn
@@ -12,10 +12,7 @@ yields a `Property i '[Debian]` -- the intersection of the OS's supported by
the combined properties.
And, combining two properties that demand different OS's would need to be a
-type error. Can a type level function combine two types successfully, and
-fail to combine two others somehow? Don't know. Maybe combine to an
-IncoherentOS and don't allow a `Property i IncoherentOS` to be used in a
-Host?
+type error.
Another kind of property combination would be to glue two properties that
support different OS's together, yielding a property that supports both,
@@ -35,7 +32,7 @@ the OS of the Host is indeterminite. Which would be fixed by using the `os`
property to specify.
On the other hand, if a Host's list of properties yields a single OS
-(or perhaps no OS requirement), the type needs to be just `Host`.
+the type needs to be just `Host`.
After all, propellor operates on a `[Host]`; if we had `Host OS`,
the list couldn't contain host's with different OS's.