diff options
| -rw-r--r-- | doc/todo/type_level_OS_requirements/comment_7_6fd5354f19ec624d3eaa1c5eb427ebed._comment | 6 |
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! """]] |