From 20cc6f7378ace91306fb21283b48d186b6c9f9af Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 20 Mar 2016 13:36:49 -0400 Subject: tyought --- .../comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 doc/todo/type_level_OS_requirements/comment_10_b0203dee6e00ea956b10ccfdaf3934f7._comment 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. +"""]] -- cgit v1.2.3