summaryrefslogtreecommitdiff
path: root/doc/todo
diff options
context:
space:
mode:
authorJoey Hess2015-01-25 15:20:28 -0400
committerJoey Hess2015-01-25 15:20:28 -0400
commite6c7ad373fd24b8e53614d4778c0cd1a6f351db2 (patch)
tree366087d7d581bd38f374020368c322ce36c9123b /doc/todo
parentb38e271161144a358d418451eecf0f2f7f24511a (diff)
parentc72fa2bcd8ffdc750b1f6407cca39f954a555241 (diff)
Merge branch 'joeyconfig'
Diffstat (limited to 'doc/todo')
-rw-r--r--doc/todo/RevertableProperty_with_NoInfo.mdwn11
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn
index e9c1eb5d..3b4a61a9 100644
--- a/doc/todo/RevertableProperty_with_NoInfo.mdwn
+++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn
@@ -16,14 +16,3 @@ a mouthful!
Since only 2 places in the propellor source code currently need to deal
with this, it doesn't currently seem worth making the change, unless a less
intrusive way can be found.
-
-Probably related would be to make RevertableProperty a constructor in the
-Property GADT, which would allow more property combinators to work on
-RevertableProperties. That would look like:
-
- data Propety i where
- ...
- RProp :: Property i1 -> Property i2 -> Property (CInfo i1 i2)
-
-In this case, there's only one Info/NoInfo encompassing both sides, and
-so ensureProperty could only be used on it if both sides were NoInfo.