summaryrefslogtreecommitdiff
path: root/doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment
diff options
context:
space:
mode:
Diffstat (limited to 'doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment')
-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!
"""]]