summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements
diff options
context:
space:
mode:
authorJoey Hess2016-03-17 16:08:01 -0400
committerJoey Hess2016-03-17 16:08:01 -0400
commita0d01b8ad22cab75496c1b2fce4157309bc3222a (patch)
treeb59fac73f941e8144e54fc882886b897e96b8187 /doc/todo/type_level_OS_requirements
parent9c629eb4f41639bc0c0380ff55b926247e0a6543 (diff)
correct
Diffstat (limited to 'doc/todo/type_level_OS_requirements')
-rw-r--r--doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment6
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment b/doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment
index 6a3b15c0..4bc3dfbb 100644
--- a/doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment
+++ b/doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment
@@ -36,10 +36,4 @@ HasInfo would be used instead of an explicit NoInfo, so:
`Property (HasInfo ': DebianOnly)`
-Hmm, this should also allow ensureProperty to be used on Property HasInfo.
-Because the new version of ensureProperty has access to the type list of the
-outer property, it could just enforce that, when the inner property HasInfo,
-so does the outer property.
-
-Cool!
"""]]