From 73ad89d9734bace04b68e078fa1d46ccee6a396b Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 25 Jan 2015 15:04:05 -0400 Subject: propellor spin --- doc/todo/RevertableProperty_with_NoInfo.mdwn | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc/todo') diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn index 3b4a61a9..e778ff85 100644 --- a/doc/todo/RevertableProperty_with_NoInfo.mdwn +++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn @@ -16,3 +16,6 @@ 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. + +Hmm, if RevertableProperty were made a constructor in the Property GADT, +this would need to be done, and that would also allow for -- cgit v1.2.3