summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJoey Hess2015-01-25 15:08:40 -0400
committerJoey Hess2015-01-25 15:08:40 -0400
commit5d8bd485cbd4c88bcc09146118d1431d13a152cc (patch)
tree14df376d415c47424606dfa6a810b296923defce /doc
parent73ad89d9734bace04b68e078fa1d46ccee6a396b (diff)
propellor spin
Diffstat (limited to 'doc')
-rw-r--r--doc/todo/RevertableProperty_with_NoInfo.mdwn12
1 files changed, 10 insertions, 2 deletions
diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn
index e778ff85..e9c1eb5d 100644
--- a/doc/todo/RevertableProperty_with_NoInfo.mdwn
+++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn
@@ -17,5 +17,13 @@ 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.
-Hmm, if RevertableProperty were made a constructor in the Property GADT,
-this would need to be done, and that would also allow for
+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.