diff options
| author | Felix Gruber <felgru@gmx.de> | 2015-10-18 17:11:50 +0200 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-18 14:14:30 -0400 |
| commit | f125146f76a14caf361d031b6aae04b551b95194 (patch) | |
| tree | e4f0fca74e3d38d60483c5727775cf2cb73b773c /doc/todo/info_propigation_out_of_nested_properties.mdwn | |
| parent | 6c96481dd39d1e0fbcef8dd68300a66e13db9ed9 (diff) | |
fix typo: propigate → propagate
Diffstat (limited to 'doc/todo/info_propigation_out_of_nested_properties.mdwn')
| -rw-r--r-- | doc/todo/info_propigation_out_of_nested_properties.mdwn | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/todo/info_propigation_out_of_nested_properties.mdwn b/doc/todo/info_propigation_out_of_nested_properties.mdwn index 536d6719..4176213a 100644 --- a/doc/todo/info_propigation_out_of_nested_properties.mdwn +++ b/doc/todo/info_propigation_out_of_nested_properties.mdwn @@ -1,6 +1,6 @@ > Now [[fixed|done]]!! --[[Joey]] -Currently, Info about a Host's Properties is propigated to the host by +Currently, Info about a Host's Properties is propagated to the host by examining the tree of Properties. This works, but there's one problem. Consider this example: @@ -9,8 +9,8 @@ This works, but there's one problem. Consider this example: (Just (System (Debian Unstable) _)) -> ensureProperty foo _ -> ensureProperty bar -Here, the Info of `foo` is not propigated out. Nor is `bar`'s Info. -It's not really clear if just one Info, or both should be propigated out. +Here, the Info of `foo` is not propagated out. Nor is `bar`'s Info. +It's not really clear if just one Info, or both should be propagated out. ---- @@ -50,7 +50,7 @@ Here withInfoFrom adds foo and bar as child properties of the demo property that (may) call them. This approach is not fully type safe; it would be possible to call -withInfoFrom in a way that didn't let it propigate the info. +withInfoFrom in a way that didn't let it propagate the info. And again this doesn't solve the problem that IO can be needed to get a parameter of a child property. |