From a0d01b8ad22cab75496c1b2fce4157309bc3222a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 17 Mar 2016 16:08:01 -0400 Subject: correct --- .../comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment | 6 ------ 1 file changed, 6 deletions(-) (limited to 'doc/todo') 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! """]] -- cgit v1.2.3