summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess2016-03-20 13:36:49 -0400
committerJoey Hess2016-03-20 13:36:49 -0400
commit20cc6f7378ace91306fb21283b48d186b6c9f9af (patch)
tree7e3e0673e3e048e0614275a0cb2196028ac0b86b
parent80109620f6af779a2c58bc5766fb77301729f60f (diff)
tyought
-rw-r--r--doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment15
1 files changed, 15 insertions, 0 deletions
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.
+"""]]