diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-24 15:02:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-24 15:02:29 -0400 |
| commit | 51fa88feb1fd3621360c1db5b6b771a798a25a88 (patch) | |
| tree | bff3f4d8ff052c1b95c7241bed4f4b8c7ef9368d /doc/todo | |
| parent | 416ae178ec7ed54d5740006a8dc6e1d2e30f00f4 (diff) | |
| parent | 57431d90b5fb1c16973676bc6b0d32b12c26669b (diff) | |
Merge branch 'master' into typed-os-requirements
Diffstat (limited to 'doc/todo')
2 files changed, 15 insertions, 0 deletions
diff --git a/doc/todo/type_level_OS_requirements/.comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment.swp b/doc/todo/type_level_OS_requirements/.comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment.swp Binary files differdeleted file mode 100644 index 79380a08..00000000 --- a/doc/todo/type_level_OS_requirements/.comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment.swp +++ /dev/null diff --git a/doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment b/doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment new file mode 100644 index 00000000..f4c6a8a7 --- /dev/null +++ b/doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment @@ -0,0 +1,15 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 10""" + date="2016-03-20T17:29:48Z" + content=""" +The list of child properties is a problem, because it would need to be +`[Property proptypes]` and the proptypes will vary, so heterogenious list. + +The proptypes of the child properties needs to influence the proptypes of +the parent anyway. Take intersection of the parent's targets and its +children's targets, plus both's non-target types. + +So, could calculate that proptypes, and use it as the type of both the +parent property, and each child property in the list. +"""]] |