diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-17 16:08:01 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-17 16:08:01 -0400 |
| commit | a0d01b8ad22cab75496c1b2fce4157309bc3222a (patch) | |
| tree | b59fac73f941e8144e54fc882886b897e96b8187 /doc | |
| parent | 9c629eb4f41639bc0c0380ff55b926247e0a6543 (diff) | |
correct
Diffstat (limited to 'doc')
| -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! """]] |