summaryrefslogtreecommitdiff
path: root/doc/todo
diff options
context:
space:
mode:
authorJoey Hess2016-03-24 15:02:29 -0400
committerJoey Hess2016-03-24 15:02:29 -0400
commit51fa88feb1fd3621360c1db5b6b771a798a25a88 (patch)
treebff3f4d8ff052c1b95c7241bed4f4b8c7ef9368d /doc/todo
parent416ae178ec7ed54d5740006a8dc6e1d2e30f00f4 (diff)
parent57431d90b5fb1c16973676bc6b0d32b12c26669b (diff)
Merge branch 'master' into typed-os-requirements
Diffstat (limited to 'doc/todo')
-rw-r--r--doc/todo/type_level_OS_requirements/.comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment.swpbin12288 -> 0 bytes
-rw-r--r--doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment15
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
deleted file mode 100644
index 79380a08..00000000
--- a/doc/todo/type_level_OS_requirements/.comment_1_507e3b74c2a3b8f41da5d3eddf197c6f._comment.swp
+++ /dev/null
Binary files differ
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.
+"""]]